32 citations · 122 across the 26 of their papers we have counts for
5 papers · 1 filter
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…
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…
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)…
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…
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
Christoph Lange, Oliver Kutz, Till Mossakowski +1
The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at provid…