Oliver Kutz

Proceedings of the Knowledge Engineering and Knowledge Management, 2024

Defeasible Reasoning with Prototype Descriptions: A New Preference Order.

[BibT_eX]

[DOI]

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

Succinctness and Complexity of ALC with Counting Perceptrons.

[BibT_eX]

[DOI]

Pietro Galliani

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

An Ontological Modelling of Prototype Theories.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Guendalina Righetti

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.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2023

Defeasible Reasoning with Prototype Descriptions: First Steps.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Roland Bernard

Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

Foundational ontologies in action.

[BibT_eX]

[DOI]

Stefano Borgo

Antony Galton

Appl. Ontology, 2022

Representing Mereological Relations in Weighted Description Logics.

[BibT_eX]

[DOI]

Maria Rosaria Stufano Melone

Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, 2022

Image Schemas and Ontology in Architectural Rules (short paper).

[BibT_eX]

[DOI]

Stefano Borgo

Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, 2022

Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27, 2022

Almost Certain Termination for <i>ALC</i> Weakening.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2022

2021

Concept Combination in Weighted Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Guendalina Righetti

Proceedings of the Twelfth International Conference on Computational Creativity, 2021

Towards Knowledge-driven Distillation and Explanation of Black-box Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2021

In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract).

[BibT_eX]

[DOI]

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

Perceptron Operators That Count.

[BibT_eX]

[DOI]

Pietro Galliani

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

2020

Blending under deconstruction.

[BibT_eX]

[DOI]

Roberto Confalonieri

Ann. Math. Artif. Intell., 2020

Free Description Logic for Ontologists.

[BibT_eX]

[DOI]

Guendalina Righetti

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

Perceptron Connectives in Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2020

Towards Even More Irresistible Axiom Weakening.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Hidden Meaning: Using Image Schema Violations to Expose Hidden Semantical Structures in Metaphors.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Weighted Description Logic for Classification Problems.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

On Knowledge Dependence in Weighted Description Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Conceptual Puzzle Pieces - An Image Schema Experiment on Object Conceptualisation.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2019

Pink panthers and toothless tigers: three problems in classification.

[BibT_eX]

[DOI]

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>.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2018

A computational framework for conceptual blending.

[BibT_eX]

[DOI]

Artif. Intell., 2018

In, out and through: formalising some dynamic aspects of the image schema containment.

[BibT_eX]

[DOI]

Dagmar Gromann

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Two Approaches to Ontology Aggregation Based on Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Orchestrating a Network of Mereotopological Theories: An Abridged Report.

[BibT_eX]

[DOI]

C. Maria Keet

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.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Computational Creativity, 2018

A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models.

[BibT_eX]

[DOI]

Pietro Galliani

Roberto Confalonieri

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2018

What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, 2018

Repairing Ontologies via Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Image Schemas and Concept Invention.

[BibT_eX]

[DOI]

Danny de Jesús Gómez-Ramírez

Proceedings of the Concept Invention, 2018

Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution.

[BibT_eX]

[DOI]

Proceedings of the Concept Invention, 2018

2017

A Categorical Approach to Networks of Aligned Ontologies.

[BibT_eX]

[DOI]

Mihai Codescu

J. Data Semant., 2017

Ontohub: A semantic repository engine for heterogeneous ontologies.

[BibT_eX]

[DOI]

Appl. Ontology, 2017

Repairing Socially Aggregated Ontologies Using Axiom Weakening.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

C. Maria Keet

Proceedings of the Knowledge Capture Conference, 2017

Coherence, Similarity, and Concept Generalisation.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

Two Applications of Concept Refinement.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2016

Image schemas in computational conceptual blending.

[BibT_eX]

[DOI]

Cogn. Syst. Res., 2016

Ontology Patterns with DOWL: The Case of Blending.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

Conceptual Blending in EL++.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention.

[BibT_eX]

[DOI]

J. Artif. Gen. Intell., 2015

Shape up, Baby! Perception, Image Schemas, and Shapes in Concept Formation.

[BibT_eX]

[DOI]

Proceedings of the Third Interdisciplinary Workshop SHAPES 3.0, 2015

ASP, Amalgamation, and the Conceptual Blending Workflow.

[BibT_eX]

[DOI]

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++.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Appl. Ontology, 2014

A categorical approach to ontology alignment.

[BibT_eX]

[DOI]

Mihai Codescu

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.

[BibT_eX]

[DOI]

Emilios Cambouropoulos

Alison Pease

Proceedings of the Fifth International Conference on Computational Creativity, 2014

Blending in the Hub.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Computational Creativity, 2014

Proof Support for Common Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Artificial Intelligence and Cognition (AIC 2014), 2014

2013

Towards Resolution-based Reasoning for Connected Logics.

[BibT_eX]

[DOI]

Cláudia Nalon

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

The Distributed Ontology, Modeling and Specification Language.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

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

[BibT_eX]

[DOI]

CoRR, 2012

Open biomedical pluralism: formalising knowledge about breast cancer phenotypes.

[BibT_eX]

[DOI]

Aleksandra Sojic

J. Biomed. Semant., 2012

Modularity in ontologies.

[BibT_eX]

[DOI]

Appl. Ontology, 2012

Ontological modelling of form and function for architectural design.

[BibT_eX]

[DOI]

Mehul Bhatt

Appl. Ontology, 2012

LoLa: A Modular Ontology of Logics, Languages, and Translations.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Semantics of the Distributed Ontology Language: Institutes and Institutions.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Ontology-based Route Planning for OpenStreetMap.

[BibT_eX]

[DOI]

Proceedings of the Terra Cognita Workshop on Foundations, 2012

Representing biomedical knowledge: A view from the philosophy of science.

[BibT_eX]

[DOI]

Aleksandra Sojic

Proceedings of the 3rd International Conference on Biomedical Ontology (ICBO 2012), 2012

Three Semantics for the Core of the Distributed Ontology Language.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2012

The Analysis and Synthesis of Logic Translation.

[BibT_eX]

[DOI]

Tzu-Keng Fu

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.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs.

[BibT_eX]

[DOI]

Janna Hastings

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012

2011

The Onto-Logical Translation Graph.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

A General Framework for Shape Similarity.

[BibT_eX]

[DOI]

Stefano Borgo

Proceedings of the First Interdisciplinary Workshop on SHAPES, 2011

Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples.

[BibT_eX]

[DOI]

Janna Hastings

Alexander García Castro

Aleksandra Sojic

Proceedings of the 2nd International Conference on Biomedical Ontology, 2011

DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap.

[BibT_eX]

[DOI]

Proceedings of the GeoSpatial Semantics - 4th International Conference, 2011

Proof Complexity of Non-classical Logics.

[BibT_eX]

[DOI]

Olaf Beyersdorff

Proceedings of the Lectures on Logic and Computation, 2011

A Modular Consistency Proof for DOLCE.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dominik Lücke

Logica Universalis, 2010

Chinese whispers and connected alignments.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

Modelling Functional Requirements in Spatial Design.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Towards Linguistically-Grounded Spatial Logics.

[BibT_eX]

[DOI]

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

Towards Ontological Blending.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2010

2009

Modular Ontologies for Architectural Design.

[BibT_eX]

[DOI]

Mehul Bhatt

Proceedings of the Formal Ontologies Meet Industry, 2009

2008

Shapes of Alignments - Construction, Combination, and Computation.

[BibT_eX]

[DOI]

Mihai Codescu

Proceedings of the Workshop on Ontologies: Reasoning and Modularity, 2008

Natural Language Meets Spatial Calculi.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition VI. Learning, 2008

The OWL in the CASL - Designing Ontologies Across Logics.

[BibT_eX]

[DOI]

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Counterparts in Language and Space - Similarity and [Sscr ]-Connection.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2008

Conservativity in Structured Ontologies.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

Notes on Logics of Metric Spaces.

[BibT_eX]

[DOI]

Stud Logica, 2007

Modules in Transition - Conservativity, Composition, and Colimits.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, 2007

2006

A Case for Abductive Reasoning over Ontologies.

[BibT_eX]

[DOI]

Corinna Elsenbroich

Ulrike Sattler

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

The Even More Irresistible SROIQ.

[BibT_eX]

[DOI]

Ian Horrocks

Ulrike Sattler

Proceedings of the Proceedings, 2006

Will my Ontologies Fit Together?

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

The Irresistible SRIQ.

[BibT_eX]

[DOI]

Ian Horrocks

Ulrike Sattler

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

2004

Îµ-connections and logics of distance.

[BibT_eX]

[DOI]

PhD thesis, 2004

E-connections of abstract description systems.

[BibT_eX]

[DOI]

Carsten Lutz

Artif. Intell., 2004

2003

Logics of metric spaces.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2003

E-connections of Description Logics.

[BibT_eX]

[DOI]

Carsten Lutz

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

Axiomatizing Distance Logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2002

Connecting Abstract Description Systems.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

A Note on Concepts and Distances.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Marcus Kracht