2006 AComparisonofReasoningTechnique
- (Motik & Sattler, 2006) ⇒ Boris Motik, and Ulrike Sattler. (2006). “A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.” In: Proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. ISBN:3-540-48281-4, 978-3-540-48281-9 doi:10.1007/11916277_16
Subject Headings:
Notes
Cited By
- http://scholar.google.com/scholar?q=%222006%22+A+Comparison+of+Reasoning+Techniques+for+Querying+Large+Description+Logic+ABoxes
- http://dl.acm.org/citation.cfm?id=2092718.2092734&preflayout=flat#citedby
Quotes
Abstract
Many modern applications of description logics (DLs) require answering queries over large data quantities, structured according to relatively simple ontologies. For such applications, we conjectured that reusing ideas of deductive databases might improve scalability of DL systems. Hence, in our previous work, we developed an algorithm for reducing a DL knowledge base to a disjunctive datalog program. To test our conjecture, we implemented our algorithm in a new DL reasoner KAON2, which we describe in this paper. Furthermore, we created a comprehensive test suite and used it to conduct a performance evaluation. Our results show that, on knowledge bases with large ABoxes but with simple TBoxes, our technique indeed shows good performance; in contrast, on knowledge bases with large and complex TBoxes, existing techniques still perform better. This allowed us to gain important insights into strengths and weaknesses of both approaches.
References
;
Author | volume | Date Value | title | type | journal | titleUrl | doi | note | year | |
---|---|---|---|---|---|---|---|---|---|---|
2006 AComparisonofReasoningTechnique | Boris Motik Ulrike Sattler | A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes | 10.1007/11916277_16 | 2006 |