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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)
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)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Description Logic Handbook. Cambridge University Press, Cambridge (2002)
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)
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)
Brand, D.: Proving theorems with the modification method. SIAM Journal on Computing 4, 412–430 (1975)
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)
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)
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)
Georgieva, L., Hustadt, U., Schmidt, R.A.: Hyperresolution for Guarded Formulae. J. Symbolic Computat. 36(1–2), 163–192 (2003)
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)
Horrocks, I., Boley, H., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RulMl (May 2004), http://www.w3.org/Submission/SWRL/
Kif - knowledge interchange format, http://www.csee.umbc.edu/kse/kif/
Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)
Niemelä, I.: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and AI 25(3-4), 241–273 (1999)
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)
Niemelä, I., Simons, P.: Efficient Implementation of the Well-Founded and Stable Model Semantics. In: Proceedings of JICSLP. The MIT Press, Cambridge (1996)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)