Oliver Kutz

Available identifiers

Publication	Date of Publication	Type
Repairing socially aggregated ontologies using axiom weakening	2022-11-02	Paper
Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention	2020-06-11	Paper
Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)	2018-08-06	Paper
A computational framework for conceptual blending	2018-05-11	Paper
The Distributed Ontology, Modeling and Specification Language – DOL	2017-08-28	Paper
Logics of metric spaces	2017-06-13	Paper
ASP, Amalgamation, and the Conceptual Blending Workflow	2015-11-04	Paper
Semantics of the Distributed Ontology Language: Institutes and Institutions	2013-09-13	Paper
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design	2013-01-25	Paper
Proof Complexity of Non-classical Logics	2012-11-01	Paper
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization	2012-09-07	Paper
Axiomatizing Distance Logics	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3616102	2009-03-24	Paper
Notes on logics of metric spaces	2007-04-26	Paper
\({\mathcal E}\)-connections of abstract description systems	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5711930	2005-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4440544	2004-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4430405	2003-10-09	Paper

This page was built for person: Oliver Kutz