32 citations · 122 across the 26 of their papers we have counts for
28 papers
HyDI: A hybrid Deep Learning-Inductive Logic Programming ensemble for multi-label classification
Simon Flügel, Till Mossakowski
While attaining remarkable results for many applications, Deep Learning models are notoriously difficult to explain. This work introduces HyDI, a hybrid ensemble architecture for h…
NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning
Daniel Romero Schellhorn, Till Mossakowski, Björn Gehrke
Neurosymbolic semantics is fragmented: classical, fuzzy, probabilistic and neural systems each define truth by their own inductive rules. NeSyCat, extending ULLER, subsumes them un…
NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
Daniel Romero Schellhorn, Till Mossakowski
ULLER (Unified Language for LEarning and Reasoning) offers a unified first-order logic (FOL) syntax, enabling its knowledge bases to be used directly across a wide range of neurosy…
The Possibility of Artificial Intelligence Becoming a Subject and the Alignment Problem
Till Mossakowski, Helena Esther Grass
The prospect of Artificial General Intelligence (AGI) is increasingly driving institutional decisions, and alignment of AGI is a hard problem. The currently dominant AI alignment s…
Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
Felix Vossel, Till Mossakowski, Björn Gehrke
Automating the translation of natural language to first-order logic (FOL) is crucial for knowledge representation and formal methods, yet remains challenging. We present a systemat…
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…
Modular design patterns for neural-symbolic integration: refinement and combination
Till Mossakowski
We formalise some aspects of the neural-symbol design patterns of van Bekkum et al., such that we can formally define notions of refinement of patterns, as well as modular combinat…
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…
Generic Ontology Design Patterns: Roles and Change over Time
Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
In this chapter we propose Generic Ontology Design Patterns, GODPs, as a methodology for representing and instantiating ontology design patterns in a way that is adaptable, and all…
Generic Ontology Design Patterns at Work
Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus
Generic Ontology Design Patterns, GODPs, are defined in Generic DOL, an extension of DOL, the Distributed Ontology, Model and Specification Language, and implemented using Heteroge…
Extensions of Generic DOL for Generic Ontology Design Patterns
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
Generic ontologies were introduced as an extension (Generic DOL) of the Distributed Ontology, Modeling and Specification Language, DOL, with the aim to provide a language for Gener…
Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs
Till Mossakowski, Fabian Neuhaus
This paper addresses the semantics of weighted argumentation graphs that are bipolar, i.e. contain both attacks and supports for arguments. It builds on previous work by Amgoud, Be…
Canonical Selection of Colimits
Till Mossakowski, Florian Rabe, Mihai Codescu
Colimits are a powerful tool for the combination of objects in a category. In the context of modeling and specification, they are used in the institution-independent semantics (1)…
Bipolar Weighted Argumentation Graphs
Till Mossakowski, Fabian Neuhaus
This paper discusses the semantics of weighted argumentation graphs that are biplor, i.e. contain both attacks and support graphs. The work builds on previous work by Amgoud, Ben-N…
Ontohub: A semantic repository for heterogeneous ontologies
Mihai Codescu, Eugen Kuksa, Oliver Kutz +2
Ontohub is a repository engine for managing distributed heterogeneous ontologies. The distributed nature enables communities to share and exchange their contributions easily. The h…
Multi-view Consistency in UML
Alexander Knapp, Till Mossakowski
We study the question of consistency of multi-view models in UML and OCL. We first critically survey the large amount of literature that already exists. We find that only limited s…
A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties
Frank Dylla, Jae Hee Lee, Till Mossakowski +4
Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR technique…
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print)
Mathew Joseph, Gabriel Kuper, Till Mossakowski +1
The proliferation of contextualized knowledge in the Semantic Web (SW) has led to the popularity of knowledge formats such as \emph{quads} in the SW community. A quad is an extensi…
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…
An Institutional Framework for Heterogeneous Formal Development in UML
Alexander Knapp, Till Mossakowski, Markus Roggenbach
We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogen…
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Frank Dylla, Till Mossakowski, Thomas Schneider +1
Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But w…
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Christoph Lange, Marco B. Caminati, Manfred Kerber +4
Novel auction schemes are constantly being designed. Their design has significant consequences for the allocation of goods and the revenues generated. But how to tell whether a new…