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…