Abstract
We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the \(\mathcal{SHOIN}\)(D) and \(\mathcal{SHIF}\)(D) description logics. This is done by first establishing a correspondence between OWL ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability.
Chapter PDF
Similar content being viewed by others
Keywords
- Resource Description Framework
- Description Logic
- Abstract Syntax
- Ontology Language
- Resource Description Framework Graph
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Beckett, D.: RDF/XML syntax specification (revised). W3C Working Draft (2003), Available at http://www.w3.org/TR/2003/WD-rdf-syntax-grammar-20030123
Berners-Lee, T.: Weaving the Web. Harpur, San Francisco (1999)
Biron, P.V., Malhotra, A.: XML schema part 2: Datatypes. W3C Recommendation (2001), Available at http://www.w3.org/TR/2003/WD-xmlschema-2-20010502/
Dean, M., Connolly, D., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: Web ontology language (OWL) reference version 1.0. W3C Working Draft (2003), Available at http://www.w3.org/TR/2003/WD-owl-ref-20030331
Decker, S., Fensel, D., van Harmelen, F., Horrocks, I., Melnik, S., Klein, M., Broekstra, J.: Knowledge representation on the web. In: Proc. of the 2000 Description Logic Workshop (DL 2000), pp. 89–98 (2000)
Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. Information and Computation 134, 1–58 (1997)
Fensel, D., van Harmelen, F., Horrocks, I., McGuinness, D., Patel-Schneider, P.F.: OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems 16(2), 38–45 (2001)
Haarslev, V., Möller, R.: RACER system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)
Hayes, P.: RDF semantics. W3C Working Draft (2003), Available at http://www.w3.org/TR/2003/WD-rdf-mt-20030123
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: Reviewing the design of DAML+OIL: An ontology language for the semantic web. In: Proc. of the 18th Nat. Conf. on Artificial Intelligence (AAAI 2002) (2002)
Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ description logic. In: Nebel, B. (ed.) Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199–204. Morgan Kaufmann, San Francisco (2001)
Horrocks, I., Sattler, U., Tessaris, S., Tobies, S.: How to decide query containment under constraints using a description logic. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol. 1955, pp. 326–343. Springer, Heidelberg (2000)
Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS (LNAI), vol. 1705, pp. 161–180. Springer, Heidelberg (1999)
Klyne, G., Carroll, J.J.: Resource description framework (RDF): Concepts and abstract syntax. W3C Working Draft (2003), Available at http://www.w3.org/TR/2003/WD-rdf-concepts-20030123
Lassila, O., Swick, R.R.: Resource description framework (RDF) model and syntax specification. W3C Recommendation (1999), Available at http://www.w3.org/TR/1999/REC-rdf-syntax-19990222
Patel-Schneider, P.F., Hayes, P., Horrocks, I., van Harmelen, F.: Web ontology language (OWL) abstract syntax and semantics. W3C Working Draft (2003), Available at http://www.w3.org/TR/2003/WD-owl-ref-20030331
Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Horrocks, I., Patel-Schneider, P.F. (2003). Reducing OWL Entailment to Description Logic Satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds) The Semantic Web - ISWC 2003. ISWC 2003. Lecture Notes in Computer Science, vol 2870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39718-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-39718-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20362-9
Online ISBN: 978-3-540-39718-2
eBook Packages: Springer Book Archive