Inconsistency Management for Description Logic Programs and Beyond

摘要: Description logic programs are a declarative approach to access ontological knowledge bases through query interface, and combine the results using rules that can be nonmonotonic. Noticeably, bidirectional information flow between ontology is supported, which opens possibility of sophisticated data exchange advanced reasoning tasks on top ontologies. As it happens, inconsistency may arise from interplay ontology. We consider this issue discuss different origins inconsistency, as well approaches deal with it. While recent progress has been made, several issues remain explored; among them management for generalizations description programs, in particular HEX where largely unexplored challenging, more if distributed or web-based evaluation scenarios considered.