Ontology reasoning in the SHOQ(D) description logic

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 199-204

  Horrocks, Ian ^a   Sattler, Ulrike ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED PROCESS; DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; EXPRESSIVE POWER; ONTOLOGY REASONINGS; SOUND AND COMPLETE; WEB ONTOLOGY LANGUAGE; WEB RESOURCES;

ARTIFICIAL INTELLIGENCE; AUTOMATION; FORMAL LANGUAGES; WORLD WIDE WEB;

DATA DESCRIPTION;

EID: 84880874673     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. C. Areces, P. Blackburn, and M. Marx. The computational complexity of hybrid temporal logics. Logic Journal of the IGPL, 2000. To appear.
2. F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proc. of IJCAI-91, pages 452-457, 1991.
3. F. Baader and U. Sattler. Tableau algorithms for description logics. In Proc. TABLEAUX 2000, vol. 1847 of LNAI, pages 1-18, 2000.
4. T. Berners-Lee. Weaving the Web. Orion Business Books, 1999.
5. Xml schema part 2: Datatypes. W3C Candidate Recommendation, Oct 2000. http://www.w3.org/TR/xmlschema-2/.
6. P. Blackburn and J. Seligman. What are hybrid languages? In Advances in Modal Logic, vol. 1, pages 41-62. CSLI Publications, 1998.
7. O. Corcho and A. Gómez Pérez. Evaluating knowledge representation and reasoning capabilities of ontology specification languages. In Proc. of ECAI-00 Workshop on Applications of Ontologies and Problem-Solving Methods, 2000.
8. G. De Giacomo. Decidability of Class-Based Knowledge Representation Formalisms. PhD thesis, Università degli Studi di Roma "La Sapienza", 1995.
9. S. Decker et al. The semantic web - on the respective roles of XML and RDF. IEEE Internet Computing, 2000.
10. D. Fensel et al. OIL in a nutshell. In Proc. of EKAW-2000, LNAI, 2000.
11. J. Hendler and D. L. McGuinness. The DARPA agent markup language. IEEE Intelligent Systems, 2001.
12. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR'99, vol. 1705 of LNAI, 1999.
13. I. Horrocks. Benchmark analysis with FaCT. In Proc. TABLEAUX 2000, vol. 1847 of LNAI, 2000.
14. C. Lutz. Nexptime-complete description logics with concrete domains. In Proceedings of the ESSLLI-2000 Student Session, 2000.
15. D. L. McGuinness. Ontological issues for knowledge-enhanced search. In Proc. of FOIS-98. IOS-press, 1998.
16. A. Schaerf. Reasoning with individuals in concept languages. Data and Knowledge Engineering, 13(2):141-176, 1994.
17. R. S. Streett. Propositional dynamic logic of looping and converse is elementarily decidable. Information and Computation, 54:121-141, 1982.
18. S. Tobies. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. JAIR, 12:199-217, 2000.
19. M. Uschold and M. Grüninger. Ontologies: Principles, methods and applications. Knowledge Eng. Review, 11(2), 1996.
20. G. van Heijst, A. Th. Schreiber, and B. J. Wielinga. Using explicit ontologies in KBS development. Int. J. of Human-Computer Studies, 46(2/3), 1997.