Abstract | ||
---|---|---|
We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default theories to conjunctive query (cq-)programs that combine rules and ontologies, based on different methods to find extensions of default theories. The transformations, which are implemented in a front-end to a DL-reasoner, exploit additional constraints to prune the search space via relations between default conclusions and justifications. The front-end is a flexible tool for customizing the realization, allowing to develop alternative or refined default semantics. To our knowledge, no comparable implementation is available. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-02906-6_52 | ECSQARU |
Keywords | Field | DocType |
realizing default logic,elegant transformation,refined default semantics,comparable implementation,flexible tool,reiter-style default logic,different method,additional constraint,default conclusion,default theory,description logic knowledge base,description logic knowledge bases,default logic,knowledge base,conjunctive queries,search space,front end,description logic | Ontology (information science),Default logic,Logic program,Computational logic,Discrete mathematics,Conjunctive query,Computer science,Description logic,Exploit,Semantics | Conference |
Volume | ISSN | Citations |
5590 | 0302-9743 | 17 |
PageRank | References | Authors |
0.61 | 17 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Minh Dao-Tran | 1 | 395 | 20.39 |
Thomas Eiter | 2 | 7238 | 532.10 |
Thomas Krennwallner | 3 | 468 | 29.14 |