From SHIQ and RDF to OWL: The making of a Web Ontology Language

Web Semantics

Volumn 1, Issue 1, 2003, Pages 7-26

  Horrocks, Ian ^a   Patel Schneider, Peter F ^b   Van Harmelen, Frank ^c  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b LUCENT TECHNOLOGIES   (United States)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Description Logics; Frames; Ontologies; RDF; Semantic Web

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; FORMAL LOGIC; SEMANTICS;

DESCRIPTION LOGICS; REPRESENTATION LANGUAGES; SEMANTIC WEB;

WORLD WIDE WEB;

EID: 4344615591     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2003.07.001     Document Type: Article

References (38)

1. M. Dean, D. Connolly, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, L.A. Stein, OWL Web Ontology Language Reference, W3C Working Draft, 31 March 2003. Available at http://www.w3.org/TR/ 2003/WD-owl-ref-20030331.
2. J. Heflin, J. Hendler, S. Luke, SHOE: A Knowledge Representation Language for Internet Applications, Technical Report CS-TR-4078, Department of Computer Science, University of Maryland, 1999.
3. D. Fensel, F. van Harmelen, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, OIL: an ontology infrastructure for the Semantic Web, IEEE Intell. Syst. 16 (2) (2001) 38-45.
4. D. Connolly, F. van Harmelen, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, L.A. Stein, DAML + OIL (March 2001) Reference Description, W3C Note, 18 December 2001. Available at http://www.w3.org/TR/2001/NOTE-daml+oil- reference-20011218.
5. J. Heflin, Web Ontology Language (OWL) Use Cases and Requirements, W3C Working Draft, 31 March 2003. Available at http://www.w3.org/TR/2003/WD- webontreq-20030331/.
6. M.K. Smith, C. Welty, D. McGuinness, OWL Web Ontology Language Guide, W3C Working Draft, 31 March 2003. Available at http://www.w3.org/TR/2003/WD-owl- guide-20030331/.
7. T. Berners-Lee, Weaving the Web, Harper, San Francisco, 1999.
8. D.L. McGuinness, Ontological issues for knowledge-enhanced search, in: Proceedings of FOIS, Frontiers in Artificial Intelligence and Applications, IOS-press, Amsterdam, 1998.
9. D.L. McGuinness, Ontologies for electronic commerce, in: Proceedings of the Artificial Intelligence for Electronic Commerce Workshop (AAAI'99), Orlando, FL, USA, July 18-22, 1999.
10. S. McIlraith, T.C. Son, H. Zeng, Semantic Web services, IEEE Intell. Syst. 16 (2) (2001) 46-53.
11. L. Li, I. Horrocks, A Software Framework for Matchmaking Based on Semantic Web Technology, in: Proceedings of the Twelfth International World Wide Web Conference (WWW'2003), Budapest, Hungary, May 20-24, 2003, pp. 331-339. ACM, 2003.
12. G. Klyne, J.J. Carroll, Resource Description Framework (RDF): Concepts and Abstract Syntax, W3C Working Draft, 2003. Available at http://www.w3.org/TR/ 2003/WD-rdf-concepts-20030123.
13. D. Brickley, R.V. Guha, RDF Vocabulary Description Language 1.0: RDF Schema, W3C Working Draft, 23 January 2003. Available at http://www.w3.org/TR/ 2003/WD-rdf-schema-20030123/.
14. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider (Eds.), The Description Logic Handbook, Cambridge University Press, Cambridge, London, 2002.
15. J. Broekstra, M. Klein, S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, Enabling knowledge representation on the Web by extending RDF schema, in: Proceedings of the 10th World Wide Web Conference (WWW'10), Honolulu, Hawai, USA, May 2001, pp. 467-478.
16. P. Hayes, RDF Semantics, W3C Working Draft, 2003. Available at http://www.w3.org/TR/2003/WD-rdf-mt-20030123.
17. I. Horrocks, U. Sattler, S. Tobies, Practical reasoning for very expressive Description Logics, J. Interest Group Pure Appl. Logic 8 (3) (2000) 239-264.
18. M. Schmidt-Schauß, G. Smolka, Attributive concept descriptions with complements, Artif. Intell. 48 (1) (1991) 1-26.
19. I. Horrocks, U. Sattler, S. Tobies, Practical reasoning for expressive Description Logics, in: H. Ganzinger, D. McAllester, A. Voronkov (Eds.), Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), Lecture Notes in Artificial Intelligence, vol. 1705, Springer, Berlin, 1999, pp. 161-180.
20. I. Horrocks, U. Sattler, Ontology reasoning in the SHOQ(D) Description Logic, in: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'2001), Seattle, Washington, USA, August 4-10, 2001, pp. 199-204.
21. C. Lutz, The Complexity of Reasoning with Concrete Domains, Ph.D. Thesis, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2002.
22. W.E. Grosso, H. Eriksson, R.W. Fergerson, J.H. Gennari, S.W. Tu, M.A. Musen, Knowledge modelling at the millenium (The design and evolution of Protégé-2000), in: Proceedings of the Knowledge Acqusition Workshop (KAW'99), Banff, Alberta, Canada, October 16-21, 1999.
23. V.K. Chaudhri, A. Farquhar, R. Fikes, P.D. Karp, J. Rice, OKBC: A programmatic foundation for knowledge base interoperability, in: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI'98), Madison, Wisconsin, USA, July 26-30, 1998, pp. 600-607.
24. P.D. Karp, V.K. Chaudhri, J. Thomere, XOL: An XML-Based Ontology Exchange Language, Technical Report SRI AI Technical Note 559, SRI International, Menlo Park, CA, USA, 1999.
25. S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, J. Broekstra, Knowledge representation on the Web, in: Proceedings of the 2000 Description Logic Workshop (DL'2000), Aachen, Germany, August 17-19, 2000. pp. 89-97. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-33/.
26. P.F. Patel-Schneider, P. Hayes, I. Horrocks, OWL Web Ontology Language Semantics and Abstract Syntax, W3C Working Draft, 31 March 2003. Available at http://www.w3.org/TR/2003/WD-owl-semantics-20030331/.
27. F. Manola, E. Miller, Rdf Primer, W3C Working Draft, 23 January 2003. Available at http://www.w3.org/TR/rdf-primer/.
28. J. Heflin, J. Hendler, Dynamic ontologies on the Web, in: Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI'2000), AAAI/MIT Press, Menlo Park, CA, 2000, pp. 443-449.
29. J. Hendler, D.L. McGuinness, The DARPA Agent Markup Language, IEEE Intell. Syst. 15 (6) (2000) 67-73.
30. D. Beckett, RDF/XML Syntax Specification (Revised), W3C Working Draft, 2002. Available at http://www.w3.org/TR/2002/WD-rdf-syntax-grammar-20021108.
31. I. Horrocks, D. Fensel, J. Broekstra, S. Decker, M. Erdmann, C. Goble, F. van Harmelen, M. Klein, S. Staab, R. Studer, E. Motta, OIL: The Ontology Inference Layer, Technical Report IR-479, Faculty of Sciences, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands, September 2000.
32. F. van Harmelen, I. Horrocks, P.F. Patel-Schneider, A Model-theoretic Semantics for DAML+ OIL (March 2001), W3C Note, 18 December 2001. Available at http://www.w3.org/TR/ 2001/NOTE-daml+oil-model-20011218.
33. D. Brickley, R.V. Guha, Resource Description Framework (RDF) Schema Specification 1.0, W3C Recommendation, 27 March 2000. Available at http://www.w3.org/TR/2000/CR-rdf-schema-20000327/.
34. P.V. Biron, A. Malhotra, XML Schema Part 2: Datatypes, W3C Recommendation, 2001. Available at http://www.w3.org/TR/2002/WD-xmlschema-2- 20010502/.
35. S. Tobies, Complexity Results and Practical Algorithms for Logics in Knowledge Representation, Ph.D. Thesis, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2001.
36. I. Horrocks, Using an expressive Description Logic: FaCT or fiction? in: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998, pp. 636-647.
37. V. Haarslev, R. Möller, RACER system description, in: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001), Lecture Notes in Artificial Intelligence, vol. 2083, Springer, Berlin, 2001, pp. 701-705.
38. M. Wessel, Obstacles on the way to qualitative spatial reasoning with Description Logics: some undecidability results, in: Proceedings of the 2001 Description Logic Workshop (DL'2001), Stanford, California, USA, August 1-3, 2001.