2 papers
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…
cs.AI2024
A fuzzy loss for ontology classification
Simon Flügel, Martin Glauer, Till Mossakowski +1
Deep learning models are often unaware of the inherent constraints of the task they are applied to. However, many downstream tasks require logical consistency. For ontology classif…