Description logic inference technology: Lessions learned in the trenches

CEUR Workshop Proceedings

Volumn 147, Issue , 2005, Pages

  Haarslev, Volker ^a   Möller, Ralf ^b   Wessel, Michael ^b  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; INSTANCE RETRIEVAL; KNOWLEDGE BASE; REASONER; STATE OF THE ART; USER SUPPORT;

FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS;

DATA DESCRIPTION;

EID: 84872895220     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. R. Fikes, P. Hayes, and I. Horrocks. OWL-QL - a language for deductive query answering on the semantic web. Technical Report KSL-03-14, Knowledge Systems Lab, Stanford University, CA, USA, 2003.
2. Y. Guo, J. Heflin, and Z. Pan. Benchmarking DAML+OIL repositories. In Proc. of the Second Int. Semantic Web Conf. (ISWC 2003), number 2870 in LNCS, pages 613-627. Springer Verlag, 2003.
3. Y. Guo, Z. Pan, and J. Heflin. An evaluation of knowledge base systems for large OWL datasets. In Proc. of the Third Int. Semantic Web Conf. (ISWC 2004), LNCS. Springer Verlag, 2004.
4. V. Haarslev and R. Möller. An empirical evaluation of optimization strategies for ABox reasoning in expressive description logics. In Proc. Workshop on Description Logics, 1999.
5. V. Haarslev and R. Möller. Optimization techniques for retrieving resources described in OWL/RDF documents: First results. In Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'04, Whister, BC, Canada, June 2-5), pages 163-173, 2004.
6. V. Haarslev, R. Möller, and A.-Y. Turhan. Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001), volume 2083 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2001.
7. V. Haarslev, R. Möller, and M. Wessel. Querying the semantic web with Racer + nRQL. In Proc. Workshop on Applications of Description Logics, 2004.
8. I. Horrocks and U. Sattler. Optimised reasoning for SHIQ. In Proc. of the 15th European Conference on Artificial Intelligence, 2002.
9. I. Horrocks and U. Sattler. A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), 2005.
10. R. MacGregor. The evolving technology of classification-based knowledge representation systems. In John F. Sowa, editor, Principles of Semantic Networks, pages 385-400. Morgan Kaufmann, Los Altos, 1991.
11. B. Motik, R. Volz, and A. Maedche. Optimizing query answering in description logics using disjunctive deductive databases. In Proceedings of the 10th International Workshop on Knowledge Representation Meets Databases (KRDB-2003), pages 39- 50, 2002.
12. Z. Zhang. Ontology query languages for the semantic web: A performance evaluation. Master's thesis, University of Georgia, 2005.