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

5 citations · 5 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2022★ 5 cited

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…