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

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

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

ChemLog: Making MSOL Viable for Ontological Classification and Learning

Simon Flügel, Martin Glauer, Till Mossakowski +1

Despite its prevalence, in many domains, OWL is not expressive enough to define ontology classes. In this paper, we present an approach that allows to use monadic second-order form…