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 |
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.