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:

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