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

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

collaborators
Showing cs.AIShow all

5 papers · 1 filter

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…

cs.AI2023

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…

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…

cs.AI2022★ 2 cited

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…

cs.AI2021★ 2 cited

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…