The Semantics of Modal Predicate Logic I. Counterpart-Frames. - Marcus Kracht; Oliver Kutz (Advances in Modal Logic, 2000)

A Note on Concepts and Distances. - Oliver Kutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2001)

Connecting Abstract Description Systems. - Oliver Kutz; Frank Wolter; Michael Zakharyaschev (KR, 2002)

Axiomatizing Distance Logics. - Oliver Kutz; Holger Sturm; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (J. Appl. Non Class. Logics, 2002)

E-connections of Description Logics. - Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2003)

Logics of metric spaces. - Oliver Kutz; Frank Wolter; Holger Sturm; Nobu-Yuki Suzuki; Michael Zakharyaschev (ACM Trans. Comput. Log., 2003)

E-connections of abstract description systems. - Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2004)

Îµ-connections and logics of distance. - Oliver Kutz (2004)

The Irresistible SRIQ. - Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (OWLED, 2005)

Will my Ontologies Fit Together? - Bernardo Cuenca Grau; Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (Description Logics, 2006)

The Even More Irresistible SROIQ. - Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (KR, 2006)

A Case for Abductive Reasoning over Ontologies. - Corinna Elsenbroich; Oliver Kutz; Ulrike Sattler (OWLED, 2006)

Modules in Transition - Conservativity, Composition, and Colimits. - Oliver Kutz; Till Mossakowski (WoMO, 2007)

Notes on Logics of Metric Spaces. - Oliver Kutz (Stud Logica, 2007)

Conservativity in Structured Ontologies. - Oliver Kutz; Till Mossakowski (ECAI, 2008)

Counterparts in Language and Space - Similarity and [Sscr ]-Connection. - Joana Hois; Oliver Kutz (FOIS, 2008)

The OWL in the CASL - Designing Ontologies Across Logics. - Oliver Kutz; Dominik Lücke; Till Mossakowski; Immanuel Normann (OWLED, 2008)

Natural Language Meets Spatial Calculi. - Joana Hois; Oliver Kutz (Spatial Cognition, 2008)

Shapes of Alignments - Construction, Combination, and Computation. - Oliver Kutz; Till Mossakowski; Mihai Codescu (WoMO, 2008)

Modular Ontologies for Architectural Design. - Joana Hois; Mehul Bhatt; Oliver Kutz (FOMI, 2009)

Towards Ontological Blending. - Joana Hois; Oliver Kutz; Till Mossakowski; John A. Bateman (AIMSA, 2010)

Towards Linguistically-Grounded Spatial Logics. - Joana Hois; Oliver Kutz (Spatial Representation and Reasoning in Language: Ontologies and Logics of Space, 2010)

Modelling Functional Requirements in Spatial Design. - Mehul Bhatt; Joana Hois; Oliver Kutz; Frank Dylla (ER, 2010)

Chinese whispers and connected alignments. - Oliver Kutz; Immanuel Normann; Till Mossakowski; Dirk Walther 002 (OM, 2010)

Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. - Oliver Kutz; Till Mossakowski; Dominik Lücke (Logica Universalis, 2010)

A Modular Consistency Proof for DOLCE. - Oliver Kutz; Till Mossakowski (AAAI, 2011)

Proof Complexity of Non-classical Logics. - Olaf Beyersdorff; Oliver Kutz (ESSLLI, 2011)

DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. - Mihai Codescu; Gregor Horsinka; Oliver Kutz; Till Mossakowski; Rafaela Rau (GeoS, 2011)

Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. - Oliver Kutz; Till Mossakowski; Janna Hastings; Alexander García Castro; Aleksandra Sojic (ICBO, 2011)

A General Framework for Shape Similarity. - Stefano Borgo; Oliver Kutz (SHAPES, 2011)

The Onto-Logical Translation Graph. - Till Mossakowski; Oliver Kutz (WoMO, 2011)

Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. - Oliver Kutz; Janna Hastings; Till Mossakowski (AIMSA, 2012)

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. - Christoph Lange 002; Oliver Kutz; Till Mossakowski; Michael Grüninger (AISC/MKM/Calculemus, 2012)

The Analysis and Synthesis of Logic Translation. - Tzu-Keng Fu; Oliver Kutz (FLAIRS, 2012)

Three Semantics for the Core of the Distributed Ontology Language. - Till Mossakowski; Christoph Lange 002; Oliver Kutz (FOIS, 2012)

Representing biomedical knowledge: A view from the philosophy of science. - Aleksandra Sojic; Oliver Kutz (ICBO, 2012)

Ontology-based Route Planning for OpenStreetMap. - Mihai Codescu; Daniel Couto Vale; Oliver Kutz; Till Mossakowski (Terra Cognita@ISWC, 2012)

Semantics of the Distributed Ontology Language: Institutes and Institutions. - Till Mossakowski; Oliver Kutz; Christoph Lange 002 (WADT, 2012)

LoLa: A Modular Ontology of Logics, Languages, and Translations. - Christoph Lange 002; Till Mossakowski; Oliver Kutz (WoMO, 2012)

Ontological modelling of form and function for architectural design. - Mehul Bhatt; Joana Hois; Oliver Kutz (Appl. Ontology, 2012)

Modularity in ontologies. - Oliver Kutz; Joana Hois (Appl. Ontology, 2012)

Open biomedical pluralism: formalising knowledge about breast cancer phenotypes. - Aleksandra Sojic; Oliver Kutz (J. Biomed. Semant., 2012)

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility - Christoph Lange 002; Till Mossakowski; Oliver Kutz; Christian Galinski; Michael Grüninger; Daniel Couto Vale (CoRR, 2012)

Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). - Till Mossakowski; Christoph Lange 002; Oliver Kutz (IJCAI, 2013)

The Distributed Ontology, Modeling and Specification Language. - Till Mossakowski; Oliver Kutz; Mihai Codescu; Christoph Lange 002 (WoMO, 2013)

Towards Resolution-based Reasoning for Connected Logics. - Cláudia Nalon; Oliver Kutz (LSFA, 2013)

On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending. - Maria M. Hedblom; Oliver Kutz; Fabian Neuhaus (AIC, 2014)

Proof Support for Common Logic. - Till Mossakowski; Mihai Codescu; Oliver Kutz; Christoph Lange 002; Michael Grüninger (ARQNL@IJCAR, 2014)

Blending in the Hub. - Oliver Kutz; Fabian Neuhaus; Till Mossakowski; Mihai Codescu (ICCC, 2014)

COINVENT: Towards a Computational Concept Invention Theory. - Marco Schorlemmer; Alan Smaill; Kai-Uwe Kühnberger; Oliver Kutz; Simon Colton; Emilios Cambouropoulos; Alison Pease (ICCC, 2014)

A categorical approach to ontology alignment. - Mihai Codescu; Till Mossakowski; Oliver Kutz (OM, 2014)

Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014. - Leo Obrst; Michael Grüninger; Ken Baclawski; Mike Bennett; Dan Brickley; Gary Berg-Cross; Pascal Hitzler; Krzysztof Janowicz; Christine Kapp; Oliver Kutz; Christoph Lange 002; Anatoly Levenchuk; et al. (Appl. Ontology, 2014)

Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++. - Roberto Confalonieri 001; Marco Schorlemmer; Enric Plaza; Manfred Eppe; Oliver Kutz; Rafael Peñaloza (JOWO@IJCAI, 2015)

ASP, Amalgamation, and the Conceptual Blending Workflow. - Manfred Eppe; Ewen Maclean; Roberto Confalonieri 001; Oliver Kutz; W. Marco Schorlemmer; Enric Plaza (LPNMR, 2015)

Shape up, Baby! Perception, Image Schemas, and Shapes in Concept Formation. - Maria M. Hedblom; Oliver Kutz (SHAPES, 2015)

Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention. - Maria M. Hedblom; Oliver Kutz; Fabian Neuhaus (J. Artif. Gen. Intell., 2015)

Conceptual Blending in EL++. - Roberto Confalonieri 001; Marco Schorlemmer; Oliver Kutz; Rafael Peñaloza; Enric Plaza; Manfred Eppe (Description Logics, 2016)

Ontology Patterns with DOWL: The Case of Blending. - Oliver Kutz; Fabian Neuhaus; Maria M. Hedblom; Till Mossakowski; Mihai Codescu (Description Logics, 2016)

Image schemas in computational conceptual blending. - Maria M. Hedblom; Oliver Kutz; Fabian Neuhaus (Cogn. Syst. Res., 2016)

Ontohub: A semantic repository for heterogeneous ontologies. - Mihai Codescu; Eugen Kuksa; Oliver Kutz; Till Mossakowski; Fabian Neuhaus (CoRR, 2016)

Two Applications of Concept Refinement. - Roberto Confalonieri 001; Nicolas Troquard; Pietro Galliani; Oliver Kutz; Rafael Peñaloza; Daniele Porello (CEx@AI*IA, 2017)

Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement. - Maria M. Hedblom; Oliver Kutz; Till Mossakowski; Fabian Neuhaus (AI*IA, 2017)

Coherence, Similarity, and Concept Generalisation. - Roberto Confalonieri 001; Oliver Kutz; Pietro Galliani; Rafael Peñaloza; Daniele Porello; Marco Schorlemmer; Nicolas Troquard (Description Logics, 2017)

Orchestrating a Network of Mereo(topo)logical Theories. - C. Maria Keet; Oliver Kutz (K-CAP, 2017)

Repairing Socially Aggregated Ontologies Using Axiom Weakening. - Daniele Porello; Nicolas Troquard; Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz; Rafael Peñaloza (PRIMA, 2017)

Ontohub: A semantic repository engine for heterogeneous ontologies. - Mihai Codescu; Eugen Kuksa; Oliver Kutz; Till Mossakowski; Fabian Neuhaus (Appl. Ontology, 2017)

A Categorical Approach to Networks of Aligned Ontologies. - Mihai Codescu; Till Mossakowski; Oliver Kutz (J. Data Semant., 2017)

Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution. - Mihai Codescu; Fabian Neuhaus; Till Mossakowski; Oliver Kutz; Danny de Jesús Gómez-Ramírez (Concept Invention, 2018)

Image Schemas and Concept Invention. - Maria M. Hedblom; Oliver Kutz; Fabian Neuhaus (Concept Invention, 2018)

Repairing Ontologies via Axiom Weakening. - Nicolas Troquard; Roberto Confalonieri 001; Pietro Galliani; Rafael Peñaloza; Daniele Porello; Oliver Kutz (AAAI, 2018)

What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events. - Maria M. Hedblom; Oliver Kutz; Rafael Peñaloza; Giancarlo Guizzardi (TriCoLore (C3GI/ISD/SCORE), 2018)

The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency. - Oliver Kutz; Nicolas Troquard; Maria M. Hedblom; Daniele Porello (FOIS, 2018)

A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models. - Pietro Galliani; Oliver Kutz; Roberto Confalonieri 001 (KEOD, 2018)

Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending. - Giancarlo Guizzardi; Rafael Peñaloza; Maria M. Hedblom; Oliver Kutz (ICCC, 2018)

Orchestrating a Network of Mereotopological Theories: An Abridged Report. - C. Maria Keet; Oliver Kutz (IJCAI, 2018)

Two Approaches to Ontology Aggregation Based on Axiom Weakening. - Daniele Porello; Nicolas Troquard; Rafael Peñaloza; Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz (IJCAI, 2018)

In, out and through: formalising some dynamic aspects of the image schema containment. - Maria M. Hedblom; Dagmar Gromann; Oliver Kutz (SAC, 2018)

A computational framework for conceptual blending. - Manfred Eppe; Ewen Maclean; Roberto Confalonieri 001; Oliver Kutz; Marco Schorlemmer; Enric Plaza; Kai-Uwe Kühnberger (Artif. Intell., 2018)

Upward refinement operators for conceptual blending in the description logic ℰ ℒ++. - Roberto Confalonieri 001; Manfred Eppe; Marco Schorlemmer; Oliver Kutz; Rafael Peñaloza; Enric Plaza (Ann. Math. Artif. Intell., 2018)

Pink panthers and toothless tigers: three problems in classification. - Guendalina Righetti; Daniele Porello; Oliver Kutz; Nicolas Troquard; Claudio Masolo (AIC, 2019)

Conceptual Puzzle Pieces - An Image Schema Experiment on Object Conceptualisation. - Maria M. Hedblom; Oliver Kutz (CONTEXT, 2019)

A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. - Daniele Porello; Oliver Kutz; Guendalina Righetti; Nicolas Troquard; Pietro Galliani; Claudio Masolo (Description Logics, 2019)

On Knowledge Dependence in Weighted Description Logic. - Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard (GCAI, 2019)

Weighted Description Logic for Classification Problems. - Guendalina Righetti; Pietro Galliani; Oliver Kutz; Daniele Porello; Claudio Masolo; Nicolas Troquard (GCAI, 2019)

Hidden Meaning: Using Image Schema Violations to Expose Hidden Semantical Structures in Metaphors. - Maria M. Hedblom; Oliver Kutz (JOWO, 2019)

Image Schema Combinations and Complex Events. - Maria M. Hedblom; Oliver Kutz; Rafael Peñaloza; Giancarlo Guizzardi (Künstliche Intell., 2019)

Towards Even More Irresistible Axiom Weakening. - Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard (Description Logics, 2020)

Perceptron Connectives in Knowledge Representation. - Pietro Galliani; Guendalina Righetti; Oliver Kutz; Daniele Porello; Nicolas Troquard (EKAW, 2020)

Free Description Logic for Ontologists. - Fabian Neuhaus; Oliver Kutz; Guendalina Righetti (JOWO, 2020)

Blending under deconstruction. - Roberto Confalonieri 001; Oliver Kutz (Ann. Math. Artif. Intell., 2020)

Perceptron Operators That Count. - Pietro Galliani; Oliver Kutz; Nicolas Troquard (Description Logics, 2021)

In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract). - Pietro Galliani; Guendalina Righetti; Oliver Kutz; Daniele Porello; Nicolas Troquard (Description Logics, 2021)

Asymmetric Hybrids: Dialogues for Computational Concept Combination. - Guendalina Righetti; Daniele Porello; Nicolas Troquard; Oliver Kutz; Maria M. Hedblom; Pietro Galliani (FOIS, 2021)

Towards Knowledge-driven Distillation and Explanation of Black-box Models. - Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard (DAO-XAI, 2021)

Deciphering The Cookie Monster: A Case Study in Impossible Combinations. - Maria M. Hedblom; Guendalina Righetti; Oliver Kutz (ICCC, 2021)

Concept Combination in Weighted Logic. - Guendalina Righetti; Claudio Masolo; Nicolas Troquard; Oliver Kutz; Daniele Porello (JOWO, 2021)

Almost Certain Termination for ALC Weakening. - Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz; Daniele Porello; Guendalina Righetti; Nicolas Troquard (EPIA, 2022)

A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers. - Guendalina Righetti; Oliver Kutz; Daniele Porello; Nicolas Troquard (ICCC, 2022)

Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract). - Guendalina Righetti; Daniele Porello; Nicolas Troquard; Oliver Kutz; Maria M. Hedblom; Pietro Galliani (IJCAI, 2022)

Image Schemas and Ontology in Architectural Rules (short paper). - Maria Rosaria Stufano Melone; Stefano Borgo; Oliver Kutz (JOWO, 2022)

Representing Mereological Relations in Weighted Description Logics. - Gabriele Sacco; Loris Bozzato; Oliver Kutz (JOWO, 2022)

Foundational ontologies in action. - Stefano Borgo; Antony Galton; Oliver Kutz (Appl. Ontology, 2022)

Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning. - Gabriele Sacco; Loris Bozzato; Oliver Kutz (CILC, 2023)

Making Axiom Weakening Work in SROIQ. - Roland Bernard; Oliver Kutz; Nicolas Troquard (Description Logics, 2023)

Defeasible Reasoning with Prototype Descriptions: First Steps. - Gabriele Sacco; Loris Bozzato; Oliver Kutz (Description Logics, 2023)

Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. - Elena Romanenko; Oliver Kutz; Diego Calvanese; Giancarlo Guizzardi (ER (Workshops), 2023)

The Moving Apple: An Image-Schematic Investigation into the Leuven Concept Database. - Guendalina Righetti; Oliver Kutz (ISD, 2023)

Generics in Defeasible Reasoning: Exceptionality, Gradability and Content Sensitivity. - Gabriele Sacco; Loris Bozzato; Oliver Kutz (JOWO, 2023)

An Ontological Modelling of Prototype Theories. - Daniele Porello; Guendalina Righetti; Nicolas Troquard; Roberto Confalonieri 001; Oliver Kutz (FCR@KI, 2023)

Succinctness and Complexity of ALC with Counting Perceptrons. - Pietro Galliani; Oliver Kutz; Nicolas Troquard (KR, 2023)

Defeasible Reasoning with Prototype Descriptions: A New Preference Order. - Gabriele Sacco; Loris Bozzato; Oliver Kutz (Description Logics, 2024)

Modelling and Mining Knowledge About Computational Complexity. - Anton R. Gnatenko; Oliver Kutz; Nicolas Troquard (EKAW, 2024)

Know Your Exceptions. - Gabriele Sacco; Loris Bozzato; Oliver Kutz (FOIS, 2024)

The Boat, the House and the In-Between: Conceptual Blending as Betweenness Relation. - Mena Leemhuis; Oliver Kutz (ISD, 2024)

Building an ontology of computational complexity. - Anton R. Gnatenko; Oliver Kutz; Nicolas Troquard (JOWO, 2024)

Improving the accuracy of black-box language models with ontologies: A preliminary roadmap. - Marco Monti; Oliver Kutz; Nicolas Troquard; Guendalina Righetti (JOWO, 2024)

Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation. - Gabriele Sacco; Loris Bozzato; Oliver Kutz (CoRR, 2024)

The role of ontologies and knowledge in Explainable AI. - Roberto Confalonieri 001; Oliver Kutz; Diego Calvanese; Jose Maria Alonso-Moral; Shang-Ming Zhou (Semantic Web, 2024)

An ASP Translation for Non-Monotonic Reasoning on DL-Lite_R with Prototype Descriptions. - Gabriele Sacco; Loris Bozzato; Oliver Kutz (CILC, 2025)

Abstracting Conceptual Models as a Weakening Process. - Elena Romanenko; Oliver Kutz; Diego Calvanese; Giancarlo Guizzardi (WoLLIC, 2025)