Skip to main content
Springer Nature Link
Log in

Automated Reasoning Support for First-Order Ontologies

  • Conference paper
Principles and Practice of Semantic Web Reasoning (PPSWR 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4187))

  • 347 Accesses

Abstract

Formal ontologies play an increasingly important role in demanding knowledge representation applications like the Semantic Web. Regarding automated reasoning support, the mainstream of research focusses on ontology languages that are also Description Logics, such as OWL-DL. However, many existing ontologies go beyond Description Logics and use full first-order logic. We propose a novel transformation technique that allows to apply existing model computation systems in such situations. We describe the transformation and some variants, its properties and intended applications to ontological reasoning.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  2. Baumgartner, P., Burchardt, A.: Logic Programming Infrastructure for Inferences on FrameNet. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 591–603. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Description Logic Handbook. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  4. Bachmair, L., Ganzinger, H.: Equational Reasoning in Saturation-Based Theorem Proving. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction. A Basis for Applications, Ch. 11, vol. I. Kluwer, Dordrecht (1998)

    Google Scholar 

  5. Bachmair, L., Ganzinger, H., Voronkov, A.: Elimination of Equality via Transformation with Ordering Constraints. In: Kirchner, C., Kirchner, H. (eds.) CADE 1998. LNCS, vol. 1421, p. 175. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  6. Brand, D.: Proving theorems with the modification method. SIAM Journal on Computing 4, 412–430 (1975)

    Article  MATH  MathSciNet  Google Scholar 

  7. Citrigno, S., Eiter, T., Faber, W., Gottlob, G., Koch, C., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The dlv system: Model generator and advanced frontends (system description). In: Workshop Logische Programmierung (1997)

    Google Scholar 

  8. Fermüller, C., Leitsch, A.: Model Building by Resolution. In: Martini, S., Börger, E., Kleine Büning, H., Jäger, G., Richter, M.M. (eds.) CSL 1992. LNCS, vol. 702. Springer, Heidelberg (1993)

    Google Scholar 

  9. Georgieva, L., Hustadt, U., Schmidt, R.A.: A new Clausal Class Decidable by Hyperresolution. In: Voronkov, A. (ed.) CADE 2002. LNCS, vol. 2392, p. 260. Springer, Heidelberg (2002)

    Google Scholar 

  10. Georgieva, L., Hustadt, U., Schmidt, R.A.: Hyperresolution for Guarded Formulae. J. Symbolic Computat. 36(1–2), 163–192 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  11. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW 2003. ACM Press, New York (2003)

    Google Scholar 

  12. Horrocks, I., Boley, H., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RulMl (May 2004), http://www.w3.org/Submission/SWRL/

  13. Kif - knowledge interchange format, http://www.csee.umbc.edu/kse/kif/

  14. Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)

    MATH  Google Scholar 

  15. Niemelä, I.: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and AI 25(3-4), 241–273 (1999)

    MATH  Google Scholar 

  16. Niles, I., Pease, A.: Towards a standard upper ontology. In: Welty, C., Smith, B. (eds.) Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS 2001) (2001)

    Google Scholar 

  17. Niemelä, I., Simons, P.: Efficient Implementation of the Well-Founded and Stable Model Semantics. In: Proceedings of JICSLP. The MIT Press, Cambridge (1996)

    Google Scholar 

  18. Riazonov, A., Voronkov, A.: Vampire 1.1 (system description). In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, p. 376. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  19. Stevens, R.D., Paton, N.W., Bechhofer, S.K., Ng, G.K., Peim, M., Baker, P.G., Goble, C.A., Brass, A.M.: Tambis: Transparent Access to Multiple Bioinformatics Services. Genetics, Genomics, Proteomics, and Bioinformatics (January 2004)

    Google Scholar 

  20. Wernhard, C.: System Description: KRHyper. Fachberichte Informatik 14–2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National ICT Australia (NICTA),  

    Peter Baumgartner

  2. Max-Planck Institute for Computer Science, Germany

    Fabian M. Suchanek

Authors
  1. Peter Baumgartner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabian M. Suchanek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CENTRIA, Universidade Nova de Lisboa, Portugal

    Jóse Júlio Alferes

  2. NICTA Victoria Laboratory, The University of Melbourne, Australia

    James Bailey

  3. Institut für Informatik, Universität Göttingen,  

    Wolfgang May

  4. Institut für Informatik, Universität München, Oettingenstr. 67, 80538, München, Germany

    Uta Schwertel

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baumgartner, P., Suchanek, F.M. (2006). Automated Reasoning Support for First-Order Ontologies. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2006. Lecture Notes in Computer Science, vol 4187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853107_2

Download citation

  • DOI: https://doi.org/10.1007/11853107_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-39586-7

  • Online ISBN: 978-3-540-39587-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics