Tableau calculi for description logics revision

Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories yielded origi...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Moguillansky, Martín O., Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2007
Materias:
Ciencias Informáticas
Revisión
Intelligent agents
Tableau calculi
description logics
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/20331
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-20331
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
Revisión
Intelligent agents
Tableau calculi
description logics
spellingShingle Ciencias Informáticas
Revisión
Intelligent agents
Tableau calculi
description logics
Moguillansky, Martín O.
Falappa, Marcelo Alejandro
Tableau calculi for description logics revision
topic_facet Ciencias Informáticas
Revisión
Intelligent agents
Tableau calculi
description logics
description Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories yielded originally in [2]. When using tableaux algorithms to reason about DLs, new information is yielded from the models considered in order to achieve knowledge satisfiability. Here a whole new theory have to be reinforced in order to adapt belief revision definitions and postulates to properly react over beliefs on extensions generated from these DL’s reasoning services. In this text we give a brief background of these formalisms and comment the research lines to be taken in our way to this goal.
format Objeto de conferencia
Objeto de conferencia
author Moguillansky, Martín O.
Falappa, Marcelo Alejandro
author_facet Moguillansky, Martín O.
Falappa, Marcelo Alejandro
author_sort Moguillansky, Martín O.
title Tableau calculi for description logics revision
title_short Tableau calculi for description logics revision
title_full Tableau calculi for description logics revision
title_fullStr Tableau calculi for description logics revision
title_full_unstemmed Tableau calculi for description logics revision
title_sort tableau calculi for description logics revision
publishDate 2007
url http://sedici.unlp.edu.ar/handle/10915/20331
work_keys_str_mv AT moguillanskymartino tableaucalculifordescriptionlogicsrevision
AT falappamarceloalejandro tableaucalculifordescriptionlogicsrevision
bdutipo_str Repositorios
_version_ 1764820465648402434

Ejemplares similares