Abstract | ||
---|---|---|
Description logic programs are a declarative approach to access ontological knowledge bases through a query interface, and to combine the query results using rules that can be nonmonotonic. Noticeably, a bidirectional information flow between the rules and the ontology is supported, which opens the possibility of sophisticated data exchange and advanced reasoning tasks on top of ontologies. As it happens, inconsistency may arise from the interplay of the rules and the ontology. We consider this issue and discuss different origins of inconsistency, as well as approaches to deal with it. While recent progress has been made, several issues remain to be explored; among them is inconsistency management for generalizations of description logic programs, and in particular for HEX programs, where this issues is largely unexplored and challenging, the more if distributed or web-based evaluation scenarios are considered. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-39666-3_1 | RR |
Keywords | Field | DocType |
ontological knowledge base,hex program,query interface,query result,different origin,inconsistency management,declarative approach,bidirectional information flow,description logic program,advanced reasoning task | Ontology (information science),Ontology,Information flow (information theory),Data mining,Data exchange,Generalization,Computer science,Description logic | Conference |
Citations | PageRank | References |
1 | 0.37 | 12 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Eiter | 1 | 7238 | 532.10 |
Michael Fink | 2 | 1145 | 62.43 |
Daria Stepanova | 3 | 46 | 12.10 |