Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2021, February 16
Time: 09:00 a. m.
Place: Online
Author: Kleinau, Anna and Flügel, Simon
Title: FOWL – a Tool to Translate OWL Ontologies to FOL

Abstract:

OWL is a description logic used to construct ontologies. Despite it being very expressive, some axioms that may be needed can't be formulated in OWL. A translation of OWL files to First Order Logic (FOL) would provide a way to annotate OWL ontologies with FOL axioms and reason over them. This ongoing project wants to provide a translation tool for translating OWL to FOL syntax, as well as a reasoner to measure the performance loss in reasoning, an important aspect when deciding if the additional effort is worth it's cost.


Back to the Oberseminar web page
Webmaster