When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies

Simon Flügel, Martin Glauer, Fabian Neuhaus +1

In ontology development, there is a gap between domain ontologies which mostly use the web ontology language, OWL, and foundational ontologies written in first-order logic, FOL. To…