Oliver Kutz

Orcid: 0000-0003-1517-7354

Affiliations:
  • Free University of Bozen-Bolzano, Italy


According to our database1, Oliver Kutz authored at least 110 papers between 2000 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Succinctness and Complexity of ALC with Counting Perceptrons.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

An Ontological Modelling of Prototype Theories.
Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), 2023

Generics in Defeasible Reasoning: Exceptionality, Gradability and Content Sensitivity.
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

The Moving Apple: An Image-Schematic Investigation into the Leuven Concept Database.
Proceedings of The Seventh Image Schema Day co-located with The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023

Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling.
Proceedings of the Advances in Conceptual Modeling, 2023

Defeasible Reasoning with Prototype Descriptions: First Steps.
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Making Axiom Weakening Work in SROIQ.
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning.
Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022
Foundational ontologies in action.
Appl. Ontology, 2022

Representing Mereological Relations in Weighted Description Logics.
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, 2022

Image Schemas and Ontology in Architectural Rules (short paper).
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, 2022

Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers.
Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27, 2022

Almost Certain Termination for <i>ALC</i> Weakening.
Proceedings of the Progress in Artificial Intelligence, 2022

2021
Concept Combination in Weighted Logic.
Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

Deciphering The Cookie Monster: A Case Study in Impossible Combinations.
Proceedings of the Twelfth International Conference on Computational Creativity, 2021

Towards Knowledge-driven Distillation and Explanation of Black-box Models.
Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Asymmetric Hybrids: Dialogues for Computational Concept Combination.
Proceedings of the Formal Ontology in Information Systems, 2021

In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Perceptron Operators That Count.
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020
Blending under deconstruction.
Ann. Math. Artif. Intell., 2020

Free Description Logic for Ontologists.
Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

Perceptron Connectives in Knowledge Representation.
Proceedings of the Knowledge Engineering and Knowledge Management, 2020

Towards Even More Irresistible Axiom Weakening.
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019
Image Schema Combinations and Complex Events.
Künstliche Intell., 2019

Hidden Meaning: Using Image Schema Violations to Expose Hidden Semantical Structures in Metaphors.
Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Weighted Description Logic for Classification Problems.
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

On Knowledge Dependence in Weighted Description Logic.
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Conceptual Puzzle Pieces - An Image Schema Experiment on Object Conceptualisation.
Proceedings of the Modeling and Using Context, 2019

Pink panthers and toothless tigers: three problems in classification.
Proceedings of the 7th International Workshop on Artificial Intelligence and Cognition, 2019

2018
Upward refinement operators for conceptual blending in the description logic ℰ ℒ<sup>++</sup>.
Ann. Math. Artif. Intell., 2018

A computational framework for conceptual blending.
Artif. Intell., 2018

In, out and through: formalising some dynamic aspects of the image schema containment.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Two Approaches to Ontology Aggregation Based on Axiom Weakening.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Orchestrating a Network of Mereotopological Theories: An Abridged Report.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending.
Proceedings of the Ninth International Conference on Computational Creativity, 2018

A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models.
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency.
Proceedings of the Formal Ontology in Information Systems, 2018

What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events.
Proceedings of the Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, 2018

Repairing Ontologies via Axiom Weakening.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Image Schemas and Concept Invention.
Proceedings of the Concept Invention, 2018

Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution.
Proceedings of the Concept Invention, 2018

2017
A Categorical Approach to Networks of Aligned Ontologies.
J. Data Semant., 2017

Ontohub: A semantic repository engine for heterogeneous ontologies.
Appl. Ontology, 2017

Repairing Socially Aggregated Ontologies Using Axiom Weakening.
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Orchestrating a Network of Mereo(topo)logical Theories.
Proceedings of the Knowledge Capture Conference, 2017

Coherence, Similarity, and Concept Generalisation.
Proceedings of the 30th International Workshop on Description Logics, 2017

Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

Two Applications of Concept Refinement.
Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017 co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

2016
Ontohub: A semantic repository for heterogeneous ontologies.
CoRR, 2016

Image schemas in computational conceptual blending.
Cogn. Syst. Res., 2016

Ontology Patterns with DOWL: The Case of Blending.
Proceedings of the 29th International Workshop on Description Logics, 2016

Conceptual Blending in EL++.
Proceedings of the 29th International Workshop on Description Logics, 2016

2015
Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention.
J. Artif. Gen. Intell., 2015

Shape up, Baby! Perception, Image Schemas, and Shapes in Concept Formation.
Proceedings of the Third Interdisciplinary Workshop SHAPES 3.0, 2015

ASP, Amalgamation, and the Conceptual Blending Workflow.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

2014
Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014.
Appl. Ontology, 2014

A categorical approach to ontology alignment.
Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014

COINVENT: Towards a Computational Concept Invention Theory.
Proceedings of the Fifth International Conference on Computational Creativity, 2014

Blending in the Hub.
Proceedings of the Fifth International Conference on Computational Creativity, 2014

Proof Support for Common Logic.
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending.
Proceedings of the Second International Workshop on Artificial Intelligence and Cognition (AIC 2014), 2014

2013
Towards Resolution-based Reasoning for Connected Logics.
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

The Distributed Ontology, Modeling and Specification Language.
Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), 2013

Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract).
Proceedings of the IJCAI 2013, 2013

2012
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility
CoRR, 2012

Open biomedical pluralism: formalising knowledge about breast cancer phenotypes.
J. Biomed. Semant., 2012

Modularity in ontologies.
Appl. Ontology, 2012

Ontological modelling of form and function for architectural design.
Appl. Ontology, 2012

LoLa: A Modular Ontology of Logics, Languages, and Translations.
Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Semantics of the Distributed Ontology Language: Institutes and Institutions.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Ontology-based Route Planning for OpenStreetMap.
Proceedings of the Terra Cognita Workshop on Foundations, 2012

Representing biomedical knowledge: A view from the philosophy of science.
Proceedings of the 3rd International Conference on Biomedical Ontology (ICBO 2012), 2012

Three Semantics for the Core of the Distributed Ontology Language.
Proceedings of the Formal Ontology in Information Systems, 2012

The Analysis and Synthesis of Logic Translation.
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012

2011
The Onto-Logical Translation Graph.
Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

A General Framework for Shape Similarity.
Proceedings of the First Interdisciplinary Workshop on SHAPES, 2011

Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples.
Proceedings of the 2nd International Conference on Biomedical Ontology, 2011

DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap.
Proceedings of the GeoSpatial Semantics - 4th International Conference, 2011

Proof Complexity of Non-classical Logics.
Proceedings of the Lectures on Logic and Computation, 2011

A Modular Consistency Proof for DOLCE.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design.
Logica Universalis, 2010

Chinese whispers and connected alignments.
Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

Modelling Functional Requirements in Spatial Design.
Proceedings of the Conceptual Modeling, 2010

Towards Linguistically-Grounded Spatial Logics.
Proceedings of the Spatial Representation and Reasoning in Language: Ontologies and Logics of Space, 28.03., 2010

Towards Ontological Blending.
Proceedings of the Artificial Intelligence: Methodology, 2010

2009
Modular Ontologies for Architectural Design.
Proceedings of the Formal Ontologies Meet Industry, 2009

2008
Shapes of Alignments - Construction, Combination, and Computation.
Proceedings of the Workshop on Ontologies: Reasoning and Modularity, 2008

Natural Language Meets Spatial Calculi.
Proceedings of the Spatial Cognition VI. Learning, 2008

The OWL in the CASL - Designing Ontologies Across Logics.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Counterparts in Language and Space - Similarity and [Sscr ]-Connection.
Proceedings of the Formal Ontology in Information Systems, 2008

Conservativity in Structured Ontologies.
Proceedings of the ECAI 2008, 2008

2007
Notes on Logics of Metric Spaces.
Stud Logica, 2007

Modules in Transition - Conservativity, Composition, and Colimits.
Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, 2007

2006
A Case for Abductive Reasoning over Ontologies.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

The Even More Irresistible SROIQ.
Proceedings of the Proceedings, 2006

Will my Ontologies Fit Together?
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005
The Irresistible SRIQ.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

2004
ε-connections and logics of distance.
PhD thesis, 2004

E-connections of abstract description systems.
Artif. Intell., 2004

2003
Logics of metric spaces.
ACM Trans. Comput. Log., 2003

E-connections of Description Logics.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002
Axiomatizing Distance Logics.
J. Appl. Non Class. Logics, 2002

Connecting Abstract Description Systems.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001
A Note on Concepts and Distances.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

2000
The Semantics of Modal Predicate Logic I. Counterpart-Frames.
Proceedings of the Advances in Modal Logic 3, 2000


  Loading...