5 citations · 10 across the 7 of their papers we have counts for
7 papers
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…
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…
Ontology Pre-training for Poison Prediction
Martin Glauer, Fabian Neuhaus, Till Mossakowski +1
Integrating human knowledge into neural networks has the potential to improve their robustness and interpretability. We have developed a novel approach to integrate knowledge from…
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…
ESC-Rules: Explainable, Semantically Constrained Rule Sets
Martin Glauer, Robert West, Susan Michie +1
We describe a novel approach to explainable prediction of a continuous variable based on learning fuzzy weighted rules. Our model trains a set of weighted rules to maximise predict…
Automated and Explainable Ontology Extension Based on Deep Learning: A Case Study in the Chemical Domain
Adel Memariani, Martin Glauer, Fabian Neuhaus +2
Reference ontologies provide a shared vocabulary and knowledge resource for their domain. Manual construction enables them to maintain a high quality, allowing them to be widely ac…
An Institution for Simple UML State Machines
Alexander Knapp, Till Mossakowski, Markus Roggenbach +1
We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which prov…