INVESTIGADORES
FALAPPA Marcelo Alejandro
congresos y reuniones científicas
Título:
Tableau Calculi for Description Logics Revision
Autor/es:
MARTÍN O. MOGUILLANSKY; MARCELO A. FALAPPA
Lugar:
Trelew, Argentina
Reunión:
Workshop; IX Workshop de Investigadores en Ciencias de la Computación, WICC'2007; 2007
Institución organizadora:
Red de Universidades Nacionales en Carreras de Informática
Resumen:
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 AGM model. 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 DLs 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.
