Base Revision for Ontology Debugging
Contribuinte(s) |
UNIVERSIDADE DE SÃO PAULO |
---|---|
Data(s) |
20/10/2012
20/10/2012
2009
|
Resumo |
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the base to become inconsistent. In this article, we propose a belief revision approach in order to find and repair inconsistencies in ontologies represented in some description logic (DL). As the usual belief revision operators cannot be directly applied to DLs, we propose new operators that can be used with more general logics and show that, in particular, they can be applied to the logics underlying OWL-DL and Lite. |
Identificador |
JOURNAL OF LOGIC AND COMPUTATION, v.19, n.5, p.721-743, 2009 0955-792X http://producao.usp.br/handle/BDPI/30388 10.1093/logcom/exn048 |
Idioma(s) |
eng |
Publicador |
OXFORD UNIV PRESS |
Relação |
Journal of Logic and Computation |
Direitos |
closedAccess Copyright OXFORD UNIV PRESS |
Palavras-Chave | #Belief Revision #Ontology Evolution #Description Logics #CONTRACTION #LOGIC #Computer Science, Theory & Methods |
Tipo |
article original article publishedVersion |