default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOliver Kutz
Person information
- affiliation: Free University of Bozen-Bolzano, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j19]Roberto Confalonieri, Oliver Kutz, Diego Calvanese, Jose Maria Alonso-Moral, Shang-Ming Zhou:
The role of ontologies and knowledge in Explainable AI. Semantic Web 15(4): 933-936 (2024)- [c88]Gabriele Sacco, Loris Bozzato, Oliver Kutz:
Defeasible Reasoning with Prototype Descriptions: A New Preference Order. Description Logics 2024 - [c87]Anton R. Gnatenko
, Oliver Kutz, Nicolas Troquard:
Modelling and Mining Knowledge About Computational Complexity. EKAW 2024: 453-470 - [e27]Roberto Confalonieri, Oliver Kutz, Diego Calvanese, Dagmar Gromann, Andreas Holzinger:
Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024. CEUR Workshop Proceedings 3833, CEUR-WS.org 2024 [contents] - [i6]Gabriele Sacco, Loris Bozzato, Oliver Kutz:
Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation. CoRR abs/2403.00685 (2024) - 2023
- [c86]Gabriele Sacco, Loris Bozzato, Oliver Kutz:
Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning. CILC 2023 - [c85]Roland Bernard, Oliver Kutz, Nicolas Troquard:
Making Axiom Weakening Work in SROIQ. Description Logics 2023 - [c84]Gabriele Sacco, Loris Bozzato, Oliver Kutz:
Defeasible Reasoning with Prototype Descriptions: First Steps. Description Logics 2023 - [c83]Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi:
Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. ER (Workshops) 2023: 199-209 - [c82]Guendalina Righetti, Oliver Kutz:
The Moving Apple: An Image-Schematic Investigation into the Leuven Concept Database. ISD 2023 - [c81]Gabriele Sacco, Loris Bozzato, Oliver Kutz:
Generics in Defeasible Reasoning: Exceptionality, Gradability and Content Sensitivity. JOWO 2023 - [c80]Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri, Oliver Kutz:
An Ontological Modelling of Prototype Theories. FCR@KI 2023: 20-31 - [c79]Pietro Galliani, Oliver Kutz, Nicolas Troquard:
Succinctness and Complexity of ALC with Counting Perceptrons. KR 2023: 291-300 - [e26]Oliver Kutz, Carsten Lutz, Ana Ozaki:
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)., Rhodes, Greece, September 2-4, 2023. CEUR Workshop Proceedings 3515, CEUR-WS.org 2023 [contents] - [e25]Maria M. Hedblom, Oliver Kutz:
Proceedings of The Seventh Image Schema Day co-located with The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 2nd, 2023. CEUR Workshop Proceedings 3511, CEUR-WS.org 2023 [contents] - [e24]Fumiaki Toyoshima, Megan Katsumi, Guendalina Righetti, Stefano De Giorgis, Maria M. Hedblom, Oliver Kutz, Boyan Brodaric, Michael Grüninger, Torsten Hahmann, Damion Dooley Simon, Matthew Lange, Hande Küçük-McGinty, Anoosha Sehar Simon, Rhiannon Cameron, Bart Gajderowicz, Daniela Rosu, Janna Hastings, Davide Audrito, Luigi Di Caro, Francesca Grasso, Roberto Nai, Emilio Sulis, Loris Bozzato, Cogan Shimizu, Antoine Zimmermann, Riccardo Baratella, Stefano Borgo, Sergio de Cesare, Tiago Prince Sales:
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), Sherbrooke, Québec, Canada, July 19-20, 2023. CEUR Workshop Proceedings 3637, CEUR-WS.org 2023 [contents] - 2022
- [j18]Stefano Borgo, Antony Galton, Oliver Kutz:
Foundational ontologies in action. Appl. Ontology 17(1): 1-16 (2022) - [c78]Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
Almost Certain Termination for ALC Weakening. EPIA 2022: 663-675 - [c77]Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers. ICCC 2022: 300-309 - [c76]Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani:
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract). IJCAI 2022: 5329-5333 - [c75]Maria Rosaria Stufano Melone, Stefano Borgo, Oliver Kutz:
Image Schemas and Ontology in Architectural Rules (short paper). JOWO 2022 - [c74]Gabriele Sacco, Loris Bozzato, Oliver Kutz:
Representing Mereological Relations in Weighted Description Logics. JOWO 2022 - [e23]Danai Symeonidou, Ran Yu, Davide Ceolin, María Poveda-Villalón, Davide Audrito, Luigi Di Caro, Francesca Grasso, Roberto Nai, Emilio Sulis, Fajar J. Ekaputra, Oliver Kutz, Nicolas Troquard:
Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022. CEUR Workshop Proceedings 3256, CEUR-WS.org 2022 [contents] - [e22]Óscar Corcho, Laura Hollink, Oliver Kutz, Nicolas Troquard, Fajar J. Ekaputra:
Knowledge Engineering and Knowledge Management - 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26-29, 2022, Proceedings. Lecture Notes in Computer Science 13514, Springer 2022, ISBN 978-3-031-17104-8 [contents] - [e21]Maria M. Hedblom, Anna Aurora Kantosalo, Roberto Confalonieri, Oliver Kutz, Tony Veale:
Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27 - July 1, 2022. Association for Computational Creativity (ACC) 2022, ISBN 978-989-54160-4-2 [contents] - [e20]Maria M. Hedblom, Oliver Kutz:
Proceedings of the Sixth Image Schema Day, Jönköping, Sweden, March 24-25th, 2022. CEUR Workshop Proceedings 3140, CEUR-WS.org 2022 [contents] - [e19]Tiago Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Lucía Gómez Álvarez, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab, Alberto Olivares Alarcos:
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden, August 15-19, 2022. CEUR Workshop Proceedings 3249, CEUR-WS.org 2022 [contents] - 2021
- [c73]Pietro Galliani, Oliver Kutz, Nicolas Troquard:
Perceptron Operators That Count. Description Logics 2021 - [c72]Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract). Description Logics 2021 - [c71]Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani:
Asymmetric Hybrids: Dialogues for Computational Concept Combination. FOIS 2021: 81-96 - [c70]Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
Towards Knowledge-driven Distillation and Explanation of Black-box Models. DAO-XAI 2021 - [c69]Maria M. Hedblom, Guendalina Righetti, Oliver Kutz:
Deciphering The Cookie Monster: A Case Study in Impossible Combinations. ICCC 2021: 222-225 - [c68]Guendalina Righetti, Claudio Masolo, Nicolas Troquard, Oliver Kutz, Daniele Porello:
Concept Combination in Weighted Logic. JOWO 2021 - [e18]Roberto Confalonieri, Oliver Kutz, Diego Calvanese:
Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 18th to 19th, 2021. CEUR Workshop Proceedings 2998, CEUR-WS.org 2021 [contents] - [e17]Emilio M. Sanfilippo, Oliver Kutz, Nicolas Troquard, Torsten Hahmann, Claudio Masolo, Robert Hoehndorf, Randi Vita, Maria M. Hedblom, Guendalina Righetti, Dusan Sormaz, Walter Terkaj, Tiago Prince Sales, Sergio de Cesare, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Ludger Jansen, Mathias Brochhausen, Daniele Porello, Pawel Garbacz, Selja Seppälä, Michael Grüninger, Amanda Vizedom, Damion M. Dooley, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Alsayed Algergawy, Naouel Karam, Friederike Klan, Franck Michel, Ilaria Rosati:
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), and the 12th International Conference on Biomedical Ontologies (ICBO 2021), Bolzano, Italy, September 11-18, 2021. CEUR Workshop Proceedings 2969, CEUR-WS.org 2021 [contents] - 2020
- [j17]Roberto Confalonieri, Oliver Kutz:
Blending under deconstruction. Ann. Math. Artif. Intell. 88(5-6): 479-516 (2020) - [c67]Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
Towards Even More Irresistible Axiom Weakening. Description Logics 2020 - [c66]Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
Perceptron Connectives in Knowledge Representation. EKAW 2020: 183-193 - [c65]Fabian Neuhaus, Oliver Kutz, Guendalina Righetti:
Free Description Logic for Ontologists. JOWO 2020 - [e16]Karl Hammar, Oliver Kutz, Anastasia Dimou, Torsten Hahmann, Robert Hoehndorf, Claudio Masolo, Randi Vita, Sarra Ben Abbès, Rim Hantach, Philippe Calvez, Tiago Prince Sales, Daniele Porello, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Martin G. Skjæveland, Daniel P. Lupp, Ian Horrocks, Johan W. Klüwer, Christian Kindermann, Loris Bozzato, Till Mossakowski, Luciano Serafini:
Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), Virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020. CEUR Workshop Proceedings 2708, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [j16]Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi:
Image Schema Combinations and Complex Events. Künstliche Intell. 33(3): 279-291 (2019) - [c64]Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard, Claudio Masolo:
Pink panthers and toothless tigers: three problems in classification. AIC 2019: 39-53 - [c63]Maria M. Hedblom, Oliver Kutz:
Conceptual Puzzle Pieces - An Image Schema Experiment on Object Conceptualisation. CONTEXT 2019: 98-111 - [c62]Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo:
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. Description Logics 2019 - [c61]Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
On Knowledge Dependence in Weighted Description Logic. GCAI 2019: 68-80 - [c60]Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard:
Weighted Description Logic for Classification Problems. GCAI 2019: 108-112 - [c59]Maria M. Hedblom, Oliver Kutz:
Hidden Meaning: Using Image Schema Violations to Expose Hidden Semantical Structures in Metaphors. JOWO 2019 - [e15]Oliver Kutz, Maria M. Hedblom, Tarek R. Besold, Roberto Confalonieri, Carlos León, Tony Veale, John A. Bateman:
Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, Concept Invention, and General Intelligence ISD4: The 4th Image Schema Day, and SCORE: From Image Schemas to Cognitive Robotics, Bozen-Bolzano, Italy, December 13-15, 2018. CEUR Workshop Proceedings 2347, CEUR-WS.org 2019 [contents] - 2018
- [j15]Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, Marco Schorlemmer, Enric Plaza, Kai-Uwe Kühnberger:
A computational framework for conceptual blending. Artif. Intell. 256: 105-129 (2018) - [j14]Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza:
Upward refinement operators for conceptual blending in the description logic ℰ ℒ++. Ann. Math. Artif. Intell. 82(1-3): 69-99 (2018) - [c58]Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz:
Repairing Ontologies via Axiom Weakening. AAAI 2018: 1981-1988 - [c57]Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi:
What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events. TriCoLore (C3GI/ISD/SCORE) 2018 - [c56]Oliver Kutz, Nicolas Troquard, Maria M. Hedblom, Daniele Porello:
The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency. FOIS 2018: 141-148 - [c55]Pietro Galliani, Oliver Kutz, Roberto Confalonieri:
A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models. KEOD 2018: 349-355 - [c54]Giancarlo Guizzardi, Rafael Peñaloza, Maria M. Hedblom, Oliver Kutz:
Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending. ICCC 2018: 216-223 - [c53]Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz:
Two Approaches to Ontology Aggregation Based on Axiom Weakening. IJCAI 2018: 1942-1948 - [c52]C. Maria Keet, Oliver Kutz:
Orchestrating a Network of Mereotopological Theories: An Abridged Report. IJCAI 2018: 5289-5293 - [c51]Maria M. Hedblom, Dagmar Gromann, Oliver Kutz:
In, out and through: formalising some dynamic aspects of the image schema containment. SAC 2018: 918-925 - [p2]Mihai Codescu, Fabian Neuhaus, Till Mossakowski, Oliver Kutz, Danny de Jesús Gómez-Ramírez:
Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution. Concept Invention 2018: 69-96 - [p1]Maria M. Hedblom, Oliver Kutz, Fabian Neuhaus:
Image Schemas and Concept Invention. Concept Invention 2018: 99-132 - [e14]Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek R. Besold, Oliver Kutz, Ewen Maclean, Maximos A. Kaliakatsos-Papakostas:
Concept Invention - Foundations, Implementation, Social Aspects and Applications. Springer 2018, ISBN 978-3-319-65601-4 [contents] - [e13]Tarek R. Besold, Oliver Kutz:
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), Bari, Italy, November 16th and 17th, 2017. CEUR Workshop Proceedings 2071, CEUR-WS.org 2018 [contents] - [e12]Stefano Borgo, Pascal Hitzler, Oliver Kutz:
Formal Ontology in Information Systems - Proceedings of the 10th International Conference, FOIS 2018, Cape Town, South Africa, 19-21 September 2018. Frontiers in Artificial Intelligence and Applications 306, IOS Press 2018, ISBN 978-1-61499-909-6 [contents] - [e11]Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri, Laura Daniele, Jérôme Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Peñaloza, Daniele Porello, Daniele Paolo Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom:
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. CEUR Workshop Proceedings 2050, CEUR-WS.org 2018 [contents] - 2017
- [j13]Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Ontohub: A semantic repository engine for heterogeneous ontologies. Appl. Ontology 12(3-4): 275-298 (2017) - [j12]Mihai Codescu, Till Mossakowski, Oliver Kutz:
A Categorical Approach to Networks of Aligned Ontologies. J. Data Semant. 6(4): 155-197 (2017) - [c50]Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello:
Two Applications of Concept Refinement. CEx@AI*IA 2017 - [c49]Maria M. Hedblom, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement. AI*IA 2017: 256-268 - [c48]Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard:
Coherence, Similarity, and Concept Generalisation. Description Logics 2017 - [c47]C. Maria Keet, Oliver Kutz:
Orchestrating a Network of Mereo(topo)logical Theories. K-CAP 2017: 11:1-11:8 - [c46]Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza:
Repairing Socially Aggregated Ontologies Using Axiom Weakening. PRIMA 2017: 441-449 - [i5]Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz:
Repairing Ontologies via Axiom Weakening. CoRR abs/1711.03430 (2017) - 2016
- [j11]Maria M. Hedblom, Oliver Kutz, Fabian Neuhaus:
Image schemas in computational conceptual blending. Cogn. Syst. Res. 39: 42-57 (2016) - [c45]Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza, Manfred Eppe:
Conceptual Blending in EL++. Description Logics 2016 - [c44]Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu:
Ontology Patterns with DOWL: The Case of Blending. Description Logics 2016 - [e10]Tarek R. Besold, Oliver Kutz, Carlos León:
Proceedings of the Workshop on Computational Creativity, Concept Invention, and General Intelligence (C3GI 2016) co-located with the 28th European Summer School in Logic, Language and Information (ESSLLI 2016), Bozen-Bolzano, Italy, August 20-22, 2016. CEUR Workshop Proceedings 1767, CEUR-WS.org 2016 [contents] - [e9]Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton, Jean-Rémi Bourguet:
Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016. CEUR Workshop Proceedings 1660, CEUR-WS.org 2016 [contents] - [e8]Oliver Kutz, Stefano Borgo, Mehul Bhatt:
Proceedings of the Third Interdisciplinary Workshop SHAPES 3.0 - The Shape of Things 2015 co-located with CONTEXT 2015, Larnaca, Cyprus, November 2, 2015. CEUR Workshop Proceedings 1616, CEUR-WS.org 2016 [contents] - [i4]Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Ontohub: A semantic repository for heterogeneous ontologies. CoRR abs/1612.05028 (2016) - 2015
- [j10]Maria M. Hedblom, Oliver Kutz, Fabian Neuhaus:
Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention. J. Artif. Gen. Intell. 6(1): 21-54 (2015) - [c43]Roberto Confalonieri, Marco Schorlemmer, Enric Plaza, Manfred Eppe, Oliver Kutz, Rafael Peñaloza:
Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++. JOWO@IJCAI 2015 - [c42]Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza:
ASP, Amalgamation, and the Conceptual Blending Workflow. LPNMR 2015: 309-316 - [c41]Maria M. Hedblom, Oliver Kutz:
Shape up, Baby! Perception, Image Schemas, and Shapes in Concept Formation. SHAPES 2015: 59-65 - [e7]Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, Daniele Porello:
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), Buenos Aires, Argentina, July 25-27, 2015. CEUR Workshop Proceedings 1517, CEUR-WS.org 2015 [contents] - 2014
- [j9]Leo Obrst, Michael Grüninger, Ken Baclawski, Mike Bennett, Dan Brickley, Gary Berg-Cross, Pascal Hitzler, Krzysztof Janowicz, Christine Kapp, Oliver Kutz, Christoph Lange, Anatoly Levenchuk, Francesca Quattri, Alan L. Rector, Todd Schneider, Simon Spero, Anne E. Thessen, Marcela Vegetti, Amanda Vizedom, Andrea Westerinen, Matthew West, Peter Yim:
Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014. Appl. Ontology 9(2): 155-170 (2014) - [c40]Maria M. Hedblom, Oliver Kutz, Fabian Neuhaus:
On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending. AIC 2014: 110-121 - [c39]Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger:
Proof Support for Common Logic. ARQNL@IJCAR 2014: 42-58 - [c38]Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos, Alison Pease:
COINVENT: Towards a Computational Concept Invention Theory. ICCC 2014: 288-296 - [c37]Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu:
Blending in the Hub. ICCC 2014: 297-305 - [c36]Mihai Codescu, Till Mossakowski, Oliver Kutz:
A categorical approach to ontology alignment. OM 2014: 1-12 - [e6]Pawel Garbacz, Oliver Kutz:
Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, September, 22-25, 2014, Rio de Janeiro, Brazil. Frontiers in Artificial Intelligence and Applications 267, IOS Press 2014, ISBN 978-1-61499-437-4 [contents] - 2013
- [c35]Till Mossakowski, Christoph Lange, Oliver Kutz:
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). IJCAI 2013: 3027-3031 - [c34]Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange:
The Distributed Ontology, Modeling and Specification Language. WoMO 2013 - [c33]Cláudia Nalon, Oliver Kutz:
Towards Resolution-based Reasoning for Connected Logics. LSFA 2013: 85-102 - [e5]Oliver Kutz, Mehul Bhatt, Stefano Borgo, Paulo E. Santos:
Proceedings of the Second Interdisciplinary Workshop The Shape of Things, Rio de Janeiro, Brazil, April 3-4, 2013. CEUR Workshop Proceedings 1007, CEUR-WS.org 2013 [contents] - 2012
- [j8]Oliver Kutz, Joana Hois:
Modularity in ontologies. Appl. Ontology 7(2): 109-112 (2012) - [j7]Mehul Bhatt, Joana Hois, Oliver Kutz:
Ontological modelling of form and function for architectural design. Appl. Ontology 7(3): 233-267 (2012) - [j6]Aleksandra Sojic, Oliver Kutz:
Open biomedical pluralism: formalising knowledge about breast cancer phenotypes. J. Biomed. Semant. 3(S-2): S3 (2012) - [c32]Oliver Kutz, Janna Hastings, Till Mossakowski:
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. AIMSA 2012: 103-111 - [c31]Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger:
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. AISC/MKM/Calculemus 2012: 463-467 - [c30]Tzu-Keng Fu, Oliver Kutz:
The Analysis and Synthesis of Logic Translation. FLAIRS 2012 - [c29]Till Mossakowski, Christoph Lange, Oliver Kutz:
Three Semantics for the Core of the Distributed Ontology Language. FOIS 2012: 337-352 - [c28]Aleksandra Sojic, Oliver Kutz:
Representing biomedical knowledge: A view from the philosophy of science. ICBO 2012 - [c27]Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski:
Ontology-based Route Planning for OpenStreetMap. Terra Cognita@ISWC 2012: 62-73 - [c26]Till Mossakowski, Oliver Kutz, Christoph Lange:
Semantics of the Distributed Ontology Language: Institutes and Institutions. WADT 2012: 212-230 - [c25]Christoph Lange, Till Mossakowski, Oliver Kutz:
LoLa: A Modular Ontology of Logics, Languages, and Translations. WoMO 2012 - [i3]Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger:
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. CoRR abs/1204.5093 (2012) - [i2]Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale:
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility. CoRR abs/1208.0293 (2012) - 2011
- [c24]Oliver Kutz, Till Mossakowski:
A Modular Consistency Proof for DOLCE. AAAI 2011: 227-234 - [c23]Olaf Beyersdorff, Oliver Kutz:
Proof Complexity of Non-classical Logics. ESSLLI 2011: 1-54 - [c22]Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau:
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS 2011: 88-107 - [c21]Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander García Castro, Aleksandra Sojic:
Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. ICBO 2011 - [c20]Stefano Borgo, Oliver Kutz:
A General Framework for Shape Similarity. SHAPES 2011 - [c19]Till Mossakowski, Oliver Kutz:
The Onto-Logical Translation Graph. WoMO 2011: 94-109 - [e4]Janna Hastings, Oliver Kutz, Mehul Bhatt, Stefano Borgo:
Proceedings of the First Interdisciplinary Workshop on SHAPES, Karlsruhe, Germany, September 27, 2011. CEUR Workshop Proceedings 812, CEUR-WS.org 2011 [contents] - [e3]Oliver Kutz, Thomas Schneider:
Modular Ontologies - Proceedings of the Fifth International Workshop, WoMO 2011, Ljubljana, Slovenia, August 2011. Frontiers in Artificial Intelligence and Applications 230, IOS Press 2011, ISBN 978-1-60750-798-7 [contents] - 2010
- [j5]Oliver Kutz, Till Mossakowski, Dominik Lücke:
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4(2): 255-333 (2010) - [c18]Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman:
Towards Ontological Blending. AIMSA 2010: 263-264 - [c17]Mehul Bhatt, Joana Hois, Oliver Kutz, Frank Dylla:
Modelling Functional Requirements in Spatial Design. ER 2010: 464-470 - [c16]Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther:
Chinese whispers and connected alignments. OM 2010 - [e2]Oliver Kutz, Joana Hois, Jie Bao, Bernardo Cuenca Grau:
Modular Ontologies - Proceedings of the Fourth International Workshop, WoMO 2010, Toronto, ON, Canada, May 11, 2010. Frontiers in Artificial Intelligence and Applications 210, IOS Press 2010, ISBN 978-1-60750-543-3 [contents] - [i1]Joana Hois, Oliver Kutz:
Towards Linguistically-Grounded Spatial Logics. Spatial Representation and Reasoning in Language: Ontologies and Logics of Space 2010
2000 – 2009
- 2009
- [c15]Joana Hois, Mehul Bhatt, Oliver Kutz:
Modular Ontologies for Architectural Design. FOMI 2009: 66-77 - 2008
- [c14]Oliver Kutz, Till Mossakowski:
Conservativity in Structured Ontologies. ECAI 2008: 89-93 - [c13]Joana Hois, Oliver Kutz:
Counterparts in Language and Space - Similarity and [Sscr ]-Connection. FOIS 2008: 266-279 - [c12]Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann:
The OWL in the CASL - Designing Ontologies Across Logics. OWLED 2008 - [c11]Joana Hois, Oliver Kutz:
Natural Language Meets Spatial Calculi. Spatial Cognition 2008: 266-282 - [c10]Oliver Kutz, Till Mossakowski, Mihai Codescu:
Shapes of Alignments - Construction, Combination, and Computation. WoMO 2008 - 2007
- [j4]Oliver Kutz:
Notes on Logics of Metric Spaces. Stud Logica 85(1): 75-104 (2007) - [c9]Oliver Kutz, Till Mossakowski:
Modules in Transition - Conservativity, Composition, and Colimits. WoMO 2007 - [e1]Peter Haase, Vasant G. Honavar, Oliver Kutz, York Sure, Andrei Tamilin:
Proceedings of the 1st International Workshop on Modular Ontologies, WoMO'06, co-located with the International Semantic Web Conference, ISWC'06 November 5, 2006, Athens, Georgia, USA. CEUR Workshop Proceedings 232, CEUR-WS.org 2007 [contents] - 2006
- [c8]Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler:
Will my Ontologies Fit Together? Description Logics 2006 - [c7]Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Even More Irresistible SROIQ. KR 2006: 57-67 - [c6]Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler:
A Case for Abductive Reasoning over Ontologies. OWLED 2006 - 2005
- [c5]Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Irresistible SRIQ. OWLED 2005 - 2004
- [b1]Oliver Kutz:
ε-connections and logics of distance. University of Liverpool, UK, 2004 - [j3]Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004) - 2003
- [j2]Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev:
Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003) - [c4]Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
E-connections of Description Logics. Description Logics 2003 - 2002
- [j1]Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Axiomatizing Distance Logics. J. Appl. Non Class. Logics 12(3-4): 425-440 (2002) - [c3]Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
Connecting Abstract Description Systems. KR 2002: 215-226 - 2001
- [c2]Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
A Note on Concepts and Distances. Description Logics 2001 - 2000
- [c1]Marcus Kracht, Oliver Kutz:
The Semantics of Modal Predicate Logic I. Counterpart-Frames. Advances in Modal Logic 2000: 299-320
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
