Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Abstract:

The Web Ontology Language (OWL) and First-Order Logic (FOL) are languages which are commonly used in ontology development. Both languages have advantages: FOL is more expressive than OWL, but OWL is decidable while FOL is undecidable. Therefore, ontology development would profit from an approach that combines an OWL ontology and FOL axioms.

In the talk, a tool is proposed that can parse FOL and Higher-Order Logic (HOL) axioms from OWL annotations as well as integrate them into a combined theory together with a FOL translation of the OWL ontology. It then provides access to FOL / HOL reasoners.

Additionally, it is proposed to use the tool to create an extended version of the Open Energy Ontology (OEO) that includes axioms from the FOL version of Basic Formal Ontology (BFO).