Model contractions on description logics

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization to express kno...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Falappa, Marcelo Alejandro, Moguillansky, Martín O.
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2007
Materias:	Ciencias Informáticas Informática belief revision description logics tableau calculi ontology change Nonmonotonic reasoning and belief revision Algorithms
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23573
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23573
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Informáticas Informática belief revision description logics tableau calculi ontology change Nonmonotonic reasoning and belief revision Algorithms
spellingShingle	Ciencias Informáticas Informática belief revision description logics tableau calculi ontology change Nonmonotonic reasoning and belief revision Algorithms Falappa, Marcelo Alejandro Moguillansky, Martín O. Model contractions on description logics
topic_facet	Ciencias Informáticas Informática belief revision description logics tableau calculi ontology change Nonmonotonic reasoning and belief revision Algorithms
description	When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization to express knowledge bases in the web, and the integration of distributed ontologies is developed under new extensions of the belief revision theories originally exposed in [1]. Hence, a reinforced theory arises in order to properly apply change operations over models, considering new inferred information and assumed beliefs in each possible world. As a result, a new type of contraction operator is proposed and its success postulate analyzed.
format	Objeto de conferencia Objeto de conferencia
author	Falappa, Marcelo Alejandro Moguillansky, Martín O.
author_facet	Falappa, Marcelo Alejandro Moguillansky, Martín O.
author_sort	Falappa, Marcelo Alejandro
title	Model contractions on description logics
title_short	Model contractions on description logics
title_full	Model contractions on description logics
title_fullStr	Model contractions on description logics
title_full_unstemmed	Model contractions on description logics
title_sort	model contractions on description logics
publishDate	2007
url	http://sedici.unlp.edu.ar/handle/10915/23573
work_keys_str_mv	AT falappamarceloalejandro modelcontractionsondescriptionlogics AT moguillanskymartino modelcontractionsondescriptionlogics
bdutipo_str	Repositorios
_version_	1764820465919983616

Model contractions on description logics

Ejemplares similares