Help Privacy Policy Disclaimer
  Advanced SearchBrowse




Conference Paper

Automated Reasoning Support for First Order Ontologies


Baumgartner,  Peter
Programming Logics, MPI for Informatics, Max Planck Society;


Suchanek,  Fabian M.
Databases and Information Systems, MPI for Informatics, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available

Baumgartner, P., & Suchanek, F. M. (2006). Automated Reasoning Support for First Order Ontologies. In Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006 (pp. 18-32). Berlin, Germany: Springer.

Cite as: https://hdl.handle.net/11858/00-001M-0000-000F-222D-7
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.