Skip to main content
SpringerLink
Log in

Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies

  • Conference paper
Conceptual Structures for Discovering Knowledge (ICCS 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6828))

Included in the following conference series:

  • 1013 Accesses

Abstract

Semantic Web knowledge representation standards such as RDF and OWL have gained momentum in the last years and are widely applied today. In the course of the standardization process of these and other knowledge representation formalisms, decidability of logical entailment has often been advocated as a central design criterion. On the other hand, restricting to decidable formalisms inevitably comes with constraints in terms of modeling power. Therefore, in this paper, we examine the requirement of decidability and weigh its importance in different scenarios. Subsequently, we discuss a way to establish incomplete – yet useful – reasoning support for undecidable formalisms by deploying machinery from the successful domain of theorem proving in first-order predicate logic. While elaborating on the undecidable variants of the ontology language OWL 2 as our primary examples, we argue that this approach could likewise serve as a role model for knowledge representation formalisms from the Conceptual Structures community.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andréka, H., van Benthem, J.F.A.K., Németi, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27(3), 217–274 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  2. Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.): RIF Core Dialect. W3C Recommendation (June 22, 2010), http://www.w3.org/TR/rif-core/

  3. Boley, H., Kifer, M. (eds.): RIF Basic Logic Dialect. W3C Recommendation (June 22, 2010), http://www.w3.org/TR/rif-bld/

  4. Brickley, D., Guha, R. (eds.): RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/rdf-schema/

  5. de Bruijn, J. (ed.): RIF RDF and OWL Compatibility. W3C Recommendation (June 22, 2010), http://www.w3.org/TR/rif-rdf-owl/

  6. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik 38, 173–198 (1931)

    Article  MathSciNet  MATH  Google Scholar 

  7. Gödel, K.: Über die Vollständigkeit des Logikkalküls. Ph.D. thesis, Universität Wien (1929)

    Google Scholar 

  8. Hayes, P.: Translating Semantic Web Languages into Common Logic. Tech. rep., IHMC Florida Institute for Human & Machine Cognition, 40 South Alcaniz Street, Pensacola, FL 32502 (July 18, 2005), http://www.ihmc.us/users/phayes/CL/SW2SCL.html

  9. Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)

    Google Scholar 

  10. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B.N., Dean, M.: SWRL: A Semantic Web Rule Language. W3C Member Submission (May 21, 2004), http://www.w3.org/Submission/SWRL/

  11. ISO/IEC JTC 1: Common Logic (CL): A Framework for a Family of Logic-based Languages. No. ISO/IEC 24707: 2007(E), ISO International Standard (October 1, 2007), http://cl.tamu.edu/

  12. Kifer, M., Boley, H. (eds.): RIF Overview. W3C Recommendation (June 22, 2010), http://www.w3.org/TR/rif-overview/

  13. Manola, F., Miller, E. (eds.): Resource Description Framework (RDF). Primer. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/rdf-primer/

  14. Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-profiles/

  15. Motik, B., Patel-Schneider, P.F., Cuenca Grau, B. (eds.): OWL 2 Web Ontology Language: Direct Semantics. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-direct-semantics/

  16. Motik, B., Patel-Schneider, P.F., Parsia, B. (eds.): OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-syntax/

  17. OWL Working Group, W: OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-overview/

  18. Patel-Schneider, P.F., Motik, B. (eds.): OWL 2 Web Ontology Language: Mapping to RDF Graphs. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-mapping-to-rdf/

  19. Rudolph, S., Glimm, B.: Nominals, inverses, counting, and conjunctive queries or: Why infinity is your friend! J. Artif. Intell. Res. (JAIR) 39, 429–481 (2010)

    MathSciNet  MATH  Google Scholar 

  20. Rudolph, S., Schneider, M.: On the utility and feasibility of reasoning with undecidable semantic web formalisms. Technical Report 3016, Institute AIFB, Karlsruhe Institute of Technology (2011), http://www.aifb.kit.edu/web/Techreport3016/en

  21. Schneider, M. (ed.): OWL 2 Web Ontology Language: RDF-Based Semantics. W3C Recommendation (27 October 2009), http://www.w3.org/TR/owl2-rdf-based-semantics/

  22. Schneider, M., Sutcliffe, G.: Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) Proceedings of the 23rd International Conference on Automated Deduction, CADE 23 (2011) (to appear)

    Google Scholar 

  23. Tsarkov, D., Riazanov, A., Bechhofer, S., Horrocks, I.: Using Vampire to Reason with OWL. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 471–485. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42(2), 230–265 (1937)

    Article  MathSciNet  MATH  Google Scholar 

  25. Villanueva-Rosales, N., Dumontier, M.: Describing Chemical Functional Groups in OWL-DL for the Classification of Chemical Compounds. In: Golbreich, C., Kalyanpur, A., Parsia, B. (eds.) Proceedings of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007). CEUR Workshop Proceedings, vol. 258 (2007), http://ceur-ws.org/Vol-258/paper28.pdf

  26. Voronkov, A.: Automated Reasoning: Past Story and New Trends. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 1607–1612. Morgan Kaufmann Publishers Inc., San Francisco (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute AIFB, Karlsruhe Institute of Technology, DE, Germany

    Sebastian Rudolph

  2. FZI Research Center for Information Technology, Karlsruhe, DE, Germany

    Michael Schneider

Authors
  1. Sebastian Rudolph
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Schneider
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Sheffield Hallam University, 153 Arundel St., S1 2NU, Sheffield, UK

    Simon Andrews , Simon Polovina  & Babak Akhgar ,  & 

  2. University of Derby, Kedleston Road, DE22 1GB, Derby, UK

    Richard Hill

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rudolph, S., Schneider, M. (2011). Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds) Conceptual Structures for Discovering Knowledge. ICCS 2011. Lecture Notes in Computer Science(), vol 6828. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22688-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22688-5_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22687-8

  • Online ISBN: 978-3-642-22688-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation