Hybrid Logics and Ontology Languages

Electronic Notes in Theoretical Computer Science

Volumn 174, Issue 6, 2007, Pages 3-14

  Horrocks, Ian ^a   Glimm, Birte ^a   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Description Logic; Hybrid Logic; Tableaux Reasoning

Indexed keywords

CASE BASED REASONING; KNOWLEDGE REPRESENTATION; OBJECT ORIENTED PROGRAMMING; ONTOLOGY; QUERY PROCESSING; SOFTWARE DESIGN;

DESCRIPTION LOGICS; HYBRID LOGICS; TABLEAUX REASONING;

FORMAL LOGIC;

EID: 34249292972     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.11.022     Document Type: Article

References (35)

1. F. Baader and P. Hanschke. A schema for integrating concrete domains into concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91), pages 452-457, 1991
2. Baader F., and Sattler U. An overview of tableau algorithms for description logics. Studia Logica 69 1 (Oct. 2001) 5-40
3. Bechhofer S., van Harmelen F., Hendler J., Horrocks I., McGuinness D.L., Patel-Schneider P.F., and Stein L.A. OWL web ontology language reference. W3C Recommendation. Available at (10 February 2004). http://www.w3.org/TR/owl-ref/
4. Blackburn P., and Seligman J. Hybrid languages. Journal of Logic, Language and Information 4 3 (1995) 251-272 Special issue on decompositions of first-order logic
5. D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'98), pages 149-158, 1998
6. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Description logic framework for information integration. In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 2-13, 1998
7. B. Glimm, I. Horrocks, C. Lutz, and U. Sattler. Conjunctive query answering for SHIQ. Technical report, The University of Manchester, 2006
8. B. Glimm, I. Horrocks, and U. Sattler. Conjunctive query answering for description logics with transitive roles. In Proc. of the 2006 Description Logic Workshop (DL 2006). CEUR (http://ceur-ws.org/), 2006
9. B. Glimm, I. Horrocks, and U. Sattler. Conjunctive query answering for the description logic SHOIQ. Technical report, The University of Manchester, 2006
10. Grädel E. The decidability of guarded fixed point logic. In: Gerbrandy J., Marx M., de Rijke M., and Venema Y. (Eds). Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday (1999), Amsterdam University Press
11. V. Haarslev and R. Möller. Description of the RACER system and its applications. In Proc. of the 2001 Description Logic Workshop (DL 2001), pages 132-141. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-49/, 2001
12. V. Haarslev, R. Möller, and M. Wessel. Querying the Semantic Web with Racer + nRQL. In Proc. of the KI-2004 Intl. Workshop on Applications of Description Logics (ADL'04), 2004
13. J. Hladik and J. Model. Tableau systems for SHIO and SHIQ. In Proc. of the 2004 Description Logic Workshop (DL 2004). CEUR, 2004. Available from ceur-ws.org
14. Horrocks I., Patel-Schneider P.F., and van Harmelen F. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1 1 (2003) 7-26
15. Horrocks I., and Sattler U. Ontology reasoning in the SHOQ (D) description logic. Proc. of the 17th Int. Joint Conf. on Artificial Intelligence. (IJCAI 2001) (2001), Morgan Kaufmann, Los Altos 199-204
16. I. Horrocks and U. Sattler. A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pages 448-453, 2005
17. Horrocks I., Sattler U., and Tobies S. Practical reasoning for expressive description logics. In: Ganzinger H., McAllester D., and Voronkov A. (Eds). Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning. (LPAR'99). Lecture Notes in Artificial Intelligence number 1705 (1999), Springer 161-180
18. Horrocks I., Sattler U., and Tobies S. Reasoning with individuals for the description logic SHIQ. In: McAllester D. (Ed). Proc. of the 17th Int. Conf. on Automated Deduction. (CADE 2000). Lecture Notes in Computer Science volume 1831 (2000), Springer 482-496
19. I. Horrocks and S. Tessaris. A conjunctive query language for description logic ABoxes. In Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000), pages 399-404, 2000
20. U. Hustadt, B. Motik, and U. Sattler. Reducing SHIQ-description logic to disjunctive datalog programs. In Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2004), pages 152-162, 2004
21. Y. Kazakov and B. Motik. A resolution-based decision procedure for SHOIQ. In IJCAR-06, 2006
22. M. Lenzerini and A. Schaerf. Concept languages as query languages. In Proc. of the 9th Nat. Conf. on Artificial Intelligence (AAAI'91), pages 471-476, 1991
23. D.L. McGuinness and J.R. Wright. An industrial strength description logic-based configuration platform. IEEE Intelligent Systems, pages 69-77, 1998
24. B. Motik, U. Sattler, and R. Studer. Query answering for OWL-DL with rules. In Proc. of the 3rd Int. Semantic Web Conf. (ISWC'04), 2004
25. M.M. Ortiz, D. Calvanese, and T. Eiter. Characterizing data complexity for conjunctive query answering in expressive description logics. In Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI'06), 2006. to appear
26. Pacholski L., Szwast W., and Tendera L. Complexity of two-variable logic with counting. Proc. of the 12th IEEE Symp. on Logic in Computer Science. (LICS'97) (1997), IEEE Computer Society Press 318-327
27. Pan J., and Horrocks I. Web ontology reasoning with datatype groups. In: Fensel D., Sycara K., and Mylopoulos J. (Eds). Proc. of the 2003 International Semantic Web Conference. (ISWC 2003). Lecture Notes in Computer Science number 2870 (2003), Springer 47-63
28. Schaerf A. Reasoning with individuals in concept languages. Data Knowledge Engineering 13 2 (1994) 141-176
29. K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91), pages 466-471, 1991
30. E. Sirin, B. Parsia, B. Cuenca Grau, A. Kalyanpur, and Y. Katz. Pellet: A practical owl-dl reasoner. Submitted for publication to Journal of Web Semantics, 2005
31. S. Tessaris. Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, University of Manchester, Department of Computer Science, Apr. 2001
32. Tobies S. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. of Artificial Intelligence Research 12 (2000) 199-217
33. S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany, 2001
34. D. Tsarkov and I. Horrocks. FaCT++ description logic reasoner: System description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), 2006. To appear
35. Vardi M.Y. Why is modal logic so robustly decidable. DIMACS Series in Discrete Mathematics and Theoretical Computer Science volume 31 (1997), American Mathematical Society 149-184