Google Scholar profile. (Below only papers until 2019)
Below please click years to expand.
__________
Roberto Confalonieri, Oliver Kutz
Blending under Deconstruction. The roles of logic, ontology, and cognition in computational concept invention.
Annals of Mathematics and Artificial Intelligence (AMAI), 88(5–6): 479–516, Springer, 2020.
LINK to PDF (Open Access)
__________
Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi
Image Schema Combinations and Complex Events.
Künstliche Intelligenz (KI), Springer, 2019.
LINK to PDF (Open Access)
__________
D. Porello, O. Kutz, G. Righetti, N. Troquard, P. Galliani, and C. Masolo
A Toothful of Concepts: Towards a theory of weighted concept combination
Proceedings of the 32th International Workshop on Description Logics (DL 2019), Oslo, Norway, June 18-21, 2019. CEUR-WS Vol 2373, 2019.
PDF, DL Proceedings
__________
O. Kutz, M. Hedblom, et al. (Eds.)
TriCoLore 2018: Creativity - Cognition - Computation
Proceedings of TriCoLore 2018, Joint Workshops C3GI–ISD–SCORE, held at the Free University of Bozen-Bolzano, December 13–15, 2018. CEUR-WS Vol 2347, IAOA Series, 2019.
TriCoLore Proceedings
__________
M. Hedblom, O. Kutz, R. Peñaloza and G. Guizzardi
What’s Cracking? How image schema combinations can model conceptualisations of events.
In Proceedings of TriCoLore 2018, Joint Workshops C3GI–ISD–SCORE, held at the Free University of Bozen-Bolzano, December 13–15, 2018. CEUR-WS Vol 2347, IAOA Series, 2019.
PDF
__________
Stefano Borgo, Pascal Hitzler, Oliver Kutz (Eds.)
Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018).
Volume 306 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2018.
E-Book (open access)
__________
Oliver Kutz, Nicolas Troquard, Maria M Hedblom, Daniele Porello
The Mouse and the Ball: Towards a cognitively-based and ontologically-grounded logic of agency.
Proceedings of the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018), p. 141-148, IOS Press.
PDF IOS Press
__________
C Maria Keet, Oliver Kutz
Orchestrating a Network of Mereotopological Theories: An Abridged Report.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), p. 5289-5293, 2018.
IJCAI Link
__________
Maria M. Hedblom, Rafael Peñaloza, Giancarlo Guizzardi, Oliver Kutz
Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending.
Proceedings of the Ninth International Conference on Computational Creativity (ICCC 2018), p. 216-223, 2018.
PDF
__________
Pietro Galliani, Oliver Kutz, Roberto Confalonieri
A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models.
Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD 2018), p. 349-355, 2018.
PDF
__________
Daniele Porello, Nicolas Troquard, Rafael Penaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz
Two Approaches to Ontology Aggregation Based on Axiom Weakening.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), p. 1942-1948, 2018.
IJCAI Link
__________
Maria M Hedblom, Dagmar Gromann, Oliver Kutz
In, out and through: formalising some dynamic aspects of the image schema containment.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, p. 918-925, ACM, 2018.
__________
R. Confalonieri, A. Pease, M. Schorlemmer, T. Besold, O. Kutz, E. Maclean, M. Kaliakatsos (eds.)
Concept Invention: Foundations, Implementation, Social Aspects and Applications.
Computational Synthesis and Creative Systems, Springer, 2018.
Springer Link
__________
M. M. Hedblom, O. Kutz, and F. Neuhaus
Image Schemas and Concept Invention.
In R. Confalonieri et al. (eds.). Concept Invention: Foundations, Implementation, Social Aspects and Applications, Computational Synthesis and Creative Systems, p.
99-132, Springer, 2018.
__________
M. Codescu, F. Neuhaus, T. Mossakowski, O. Kutz, and D. de Jesús Gómez-Ramírez
Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution.
In R. Confalonieri et al. (eds.). Concept Invention: Foundations, Implementation, Social Aspects and Applications, Computational Synthesis and Creative Systems, p. 69-96, Springer, 2018.
__________
M Eppe, E Maclean, R Confalonieri, O Kutz, M Schorlemmer, E Plaza, K-U Kühnberger
A computational framework for conceptual blending.
Artificial Intelligence 256, 105-129, 2018
PDF (Elsevier Open Access)
__________
Tarek R. Besold, O Kutz (Eds.)
Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML (CEX 2017), held at AI* IA 2017, Volume 2071 of CEUR-WS, 2018
Proc. of CEX 2017
__________
R Confalonieri, N Troquard, P Galliani, O Kutz, R Penaloza, D Porello
Two Applications of Concept Refinement.
Proceedings of CEx@ AI* IA, Volume 2071 of CEUR-WS, 2018
PDF
__________
N Troquard, R Confalonieri, P Galliani, R Penaloza, D Porello, O Kutz
Repairing Ontologies via Axiom Weakening.
Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018.
PDF
__________
Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Penaloza, Enric Plaza
Upward refinement operators for conceptual blending in the description logic EL++.
Annals of Mathematics and Artificial Intelligence, Volume 82, Issue 1–3, pp 69–99, 2018.
Below please click years to expand.
Selected
__________
Roberto Confalonieri, Oliver Kutz
Blending under Deconstruction. The roles of logic, ontology, and cognition in computational concept invention.
Annals of Mathematics and Artificial Intelligence (AMAI), 88(5–6): 479–516, Springer, 2020.
LINK to PDF (Open Access)
__________
Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi
Image Schema Combinations and Complex Events.
Künstliche Intelligenz (KI), Springer, 2019.
LINK to PDF (Open Access)
__________
M Eppe, E Maclean, R Confalonieri, O Kutz, M Schorlemmer, E Plaza, K-U Kühnberger
A computational framework for conceptual blending.
Artificial Intelligence 256, 105-129, 2018
PDF (Elsevier Open Access)
__________
C M Keet, O Kutz
Orchestrating a Network of Mereo (topo) logical Theories.
Proceedings of the Knowledge Capture Conference, K-CAP 2017
PDF
K-CAP Best Paper Award
__________
O. Kutz, J. Bateman, F. Neuhaus, T. Mossakowski, M. Bhatt
E pluribus unum
Formalisation, Use-Cases, and Computational Support for Conceptual Blending
In T. R. Besold et al., editors, Computational Creativity Research: Towards Creative Machines, Atlantis/Springer, Thinking Machines, 2015.
PDF
__________
T. Mossakowski, M. Codescu, F. Neuhaus, O. Kutz
The Distributed Ontology, Modelling and Specification Language - DOL
The Road to Universal Logic, Festschrift for the 50th Birthday of Jean-Yves Béziau, Volume II, Editors: Arnold Koslow and Arthur Buchsbaum, Springer, 2015
PDF, Book
__________
T. Mossakowski, C. Lange, and O. Kutz
Three Semantics for the Core of the Distributed Ontology Language
Proc. of the 7th International Conference on Formal Ontology in Information Systems (FOIS 2012), Graz, Austria, IOS Press, 2012.
PDF (Winner of the FOIS Best Paper Award)
__________
O. Kutz and T. Mossakowski
A Modular Consistency Proof for Dolce
In Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), held in San Francisco, California, August 7-11, 2011.
PDF (Technical Report)
__________
O. Kutz, T. Mossakowski, and D. Luecke
Carnap, Goguen, and the Hyperontologies
Logica Universalis: 4(2), Special Issue on 'Is Logic Universal?', Volume 4, Number 2, 255-333, 2010.
PDF (draft) Published paper (SpringerLink)
__________
J. Hois and O. Kutz.
Counterparts in Language and Space - Similarity and S-Connection.
5th International Conference on Formal Ontology in Information Systems (FOIS-08), Saarbrücken, Germany, 2008.
PDF
__________
M. Kracht and O. Kutz.
Logically Possible Worlds and Counterpart Semantics for Modal Logic.
Handbook of the Philosophy of Logic, edited by Dale Jacquette, Volume 5 of the Handbook of the Philosophy of Science, edited by Dov Gabbay, Paul Thagard, and John Woods, Elsevier, 943-996, 2007.
PDF
__________
I. Horrocks, O. Kutz, and U. Sattler.
The Even More Irresistible SROIQ.
In Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006, Lake District UK), 2006.
Abstract PDF
__________
O.Kutz, C. Lutz, F. Wolter and M. Zakharyaschev.
E-connections of abstract description systems.
In Artificial Intelligence. 156(1): 1-73, 2004.
Abstract BibTeX PDF
__________
O. Kutz, H. Sturm, N. Y. Suzuki, F. Wolter and M. Zakharyaschev.
Logics of Metric Spaces.
In ACM Transactions on Computational Logic (TOCL), 4(2):260–294, 2003.
Abstract BibTeX PDF
Roberto Confalonieri, Oliver Kutz
Blending under Deconstruction. The roles of logic, ontology, and cognition in computational concept invention.
Annals of Mathematics and Artificial Intelligence (AMAI), 88(5–6): 479–516, Springer, 2020.
LINK to PDF (Open Access)
__________
Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi
Image Schema Combinations and Complex Events.
Künstliche Intelligenz (KI), Springer, 2019.
LINK to PDF (Open Access)
__________
M Eppe, E Maclean, R Confalonieri, O Kutz, M Schorlemmer, E Plaza, K-U Kühnberger
A computational framework for conceptual blending.
Artificial Intelligence 256, 105-129, 2018
PDF (Elsevier Open Access)
__________
C M Keet, O Kutz
Orchestrating a Network of Mereo (topo) logical Theories.
Proceedings of the Knowledge Capture Conference, K-CAP 2017
K-CAP Best Paper Award
__________
O. Kutz, J. Bateman, F. Neuhaus, T. Mossakowski, M. Bhatt
E pluribus unum
Formalisation, Use-Cases, and Computational Support for Conceptual Blending
In T. R. Besold et al., editors, Computational Creativity Research: Towards Creative Machines, Atlantis/Springer, Thinking Machines, 2015.
__________
T. Mossakowski, M. Codescu, F. Neuhaus, O. Kutz
The Distributed Ontology, Modelling and Specification Language - DOL
The Road to Universal Logic, Festschrift for the 50th Birthday of Jean-Yves Béziau, Volume II, Editors: Arnold Koslow and Arthur Buchsbaum, Springer, 2015
PDF, Book
__________
T. Mossakowski, C. Lange, and O. Kutz
Three Semantics for the Core of the Distributed Ontology Language
Proc. of the 7th International Conference on Formal Ontology in Information Systems (FOIS 2012), Graz, Austria, IOS Press, 2012.
PDF (Winner of the FOIS Best Paper Award)
__________
O. Kutz and T. Mossakowski
A Modular Consistency Proof for Dolce
In Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), held in San Francisco, California, August 7-11, 2011.
PDF (Technical Report)
__________
O. Kutz, T. Mossakowski, and D. Luecke
Carnap, Goguen, and the Hyperontologies
Logica Universalis: 4(2), Special Issue on 'Is Logic Universal?', Volume 4, Number 2, 255-333, 2010.
PDF (draft) Published paper (SpringerLink)
__________
J. Hois and O. Kutz.
Counterparts in Language and Space - Similarity and S-Connection.
5th International Conference on Formal Ontology in Information Systems (FOIS-08), Saarbrücken, Germany, 2008.
__________
M. Kracht and O. Kutz.
Logically Possible Worlds and Counterpart Semantics for Modal Logic.
Handbook of the Philosophy of Logic, edited by Dale Jacquette, Volume 5 of the Handbook of the Philosophy of Science, edited by Dov Gabbay, Paul Thagard, and John Woods, Elsevier, 943-996, 2007.
__________
I. Horrocks, O. Kutz, and U. Sattler.
The Even More Irresistible SROIQ.
In Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006, Lake District UK), 2006.
Abstract PDF
__________
O.Kutz, C. Lutz, F. Wolter and M. Zakharyaschev.
E-connections of abstract description systems.
In Artificial Intelligence. 156(1): 1-73, 2004.
Abstract BibTeX PDF
__________
O. Kutz, H. Sturm, N. Y. Suzuki, F. Wolter and M. Zakharyaschev.
Logics of Metric Spaces.
In ACM Transactions on Computational Logic (TOCL), 4(2):260–294, 2003.
Abstract BibTeX PDF
2018-19
__________
Roberto Confalonieri, Oliver Kutz
Blending under Deconstruction. The roles of logic, ontology, and cognition in computational concept invention.
Annals of Mathematics and Artificial Intelligence (AMAI), 88(5–6): 479–516, Springer, 2020.
LINK to PDF (Open Access)
__________
Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi
Image Schema Combinations and Complex Events.
Künstliche Intelligenz (KI), Springer, 2019.
LINK to PDF (Open Access)
__________
D. Porello, O. Kutz, G. Righetti, N. Troquard, P. Galliani, and C. Masolo
A Toothful of Concepts: Towards a theory of weighted concept combination
Proceedings of the 32th International Workshop on Description Logics (DL 2019), Oslo, Norway, June 18-21, 2019. CEUR-WS Vol 2373, 2019.
PDF, DL Proceedings
__________
O. Kutz, M. Hedblom, et al. (Eds.)
TriCoLore 2018: Creativity - Cognition - Computation
Proceedings of TriCoLore 2018, Joint Workshops C3GI–ISD–SCORE, held at the Free University of Bozen-Bolzano, December 13–15, 2018. CEUR-WS Vol 2347, IAOA Series, 2019.
TriCoLore Proceedings
__________
M. Hedblom, O. Kutz, R. Peñaloza and G. Guizzardi
What’s Cracking? How image schema combinations can model conceptualisations of events.
In Proceedings of TriCoLore 2018, Joint Workshops C3GI–ISD–SCORE, held at the Free University of Bozen-Bolzano, December 13–15, 2018. CEUR-WS Vol 2347, IAOA Series, 2019.
__________
Stefano Borgo, Pascal Hitzler, Oliver Kutz (Eds.)
Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018).
Volume 306 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2018.
E-Book (open access)
__________
Oliver Kutz, Nicolas Troquard, Maria M Hedblom, Daniele Porello
The Mouse and the Ball: Towards a cognitively-based and ontologically-grounded logic of agency.
Proceedings of the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018), p. 141-148, IOS Press.
PDF IOS Press
__________
C Maria Keet, Oliver Kutz
Orchestrating a Network of Mereotopological Theories: An Abridged Report.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), p. 5289-5293, 2018.
IJCAI Link
__________
Maria M. Hedblom, Rafael Peñaloza, Giancarlo Guizzardi, Oliver Kutz
Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending.
Proceedings of the Ninth International Conference on Computational Creativity (ICCC 2018), p. 216-223, 2018.
__________
Pietro Galliani, Oliver Kutz, Roberto Confalonieri
A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models.
Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD 2018), p. 349-355, 2018.
__________
Daniele Porello, Nicolas Troquard, Rafael Penaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz
Two Approaches to Ontology Aggregation Based on Axiom Weakening.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), p. 1942-1948, 2018.
IJCAI Link
__________
Maria M Hedblom, Dagmar Gromann, Oliver Kutz
In, out and through: formalising some dynamic aspects of the image schema containment.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, p. 918-925, ACM, 2018.
__________
R. Confalonieri, A. Pease, M. Schorlemmer, T. Besold, O. Kutz, E. Maclean, M. Kaliakatsos (eds.)
Concept Invention: Foundations, Implementation, Social Aspects and Applications.
Computational Synthesis and Creative Systems, Springer, 2018.
Springer Link
__________
M. M. Hedblom, O. Kutz, and F. Neuhaus
Image Schemas and Concept Invention.
In R. Confalonieri et al. (eds.). Concept Invention: Foundations, Implementation, Social Aspects and Applications, Computational Synthesis and Creative Systems, p.
99-132, Springer, 2018.
__________
M. Codescu, F. Neuhaus, T. Mossakowski, O. Kutz, and D. de Jesús Gómez-Ramírez
Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution.
In R. Confalonieri et al. (eds.). Concept Invention: Foundations, Implementation, Social Aspects and Applications, Computational Synthesis and Creative Systems, p. 69-96, Springer, 2018.
__________
M Eppe, E Maclean, R Confalonieri, O Kutz, M Schorlemmer, E Plaza, K-U Kühnberger
A computational framework for conceptual blending.
Artificial Intelligence 256, 105-129, 2018
PDF (Elsevier Open Access)
__________
Tarek R. Besold, O Kutz (Eds.)
Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML (CEX 2017), held at AI* IA 2017, Volume 2071 of CEUR-WS, 2018
Proc. of CEX 2017
__________
R Confalonieri, N Troquard, P Galliani, O Kutz, R Penaloza, D Porello
Two Applications of Concept Refinement.
Proceedings of CEx@ AI* IA, Volume 2071 of CEUR-WS, 2018
__________
N Troquard, R Confalonieri, P Galliani, R Penaloza, D Porello, O Kutz
Repairing Ontologies via Axiom Weakening.
Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018.
__________
Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Penaloza, Enric Plaza
Upward refinement operators for conceptual blending in the description logic EL++.
Annals of Mathematics and Artificial Intelligence, Volume 82, Issue 1–3, pp 69–99, 2018.
2017
__________
C M Keet, O Kutz
Orchestrating a Network of Mereo (topo) logical Theories.
Proceedings of the Knowledge Capture Conference, K-CAP 2017
PDF
K-CAP Best Paper Award
__________
M Codescu, T Mossakowski, O Kutz
A categorical approach to networks of aligned ontologies.
Journal on Data Semantics 6 (4), 155-197, 2017
__________
M M Hedblom, O Kutz, T Mossakowski, F Neuhaus
Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement.
Conference of the Italian Association for Artificial Intelligence, 256-268, AI*IA 2017, Springer 2017.
__________
D. Porello, N. Troquard, R. Confalonieri, P. Galliani, O. Kutz, R. Penaloza
Repairing Socially Aggregated Ontologies Using Axiom Weakening.
International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017
__________
R. Confalonieri, O. Kutz, N. Troquard, P. Galliani, R. Peñaloza, D. Porello and M. Schorlemmer
Coherence, Similarity, and Concept Generalisation.
Proc. of DL 2017, Vol. 1879 of CEUR-WS
PDF@CEUR
__________
T. R. Besold, M. M. Hedblom, O. Kutz
A narrative in three acts: Using combinations of image schemas to model events.
Biologically Inspired Cognitive Architectures (BICA), Vol 19, p. 10-20, Elsevier, 2017.
Elsevier Link
__________
M. Codescu, E. Kuksa, O. Kutz, T. Mossakowski, and F. Neuhaus
Ontohub: A semantic repository for heterogeneous ontologies.
Applied Ontology 12 (3-4), 275-298, IOS Press, 2017.
PDF IOS link
C M Keet, O Kutz
Orchestrating a Network of Mereo (topo) logical Theories.
Proceedings of the Knowledge Capture Conference, K-CAP 2017
K-CAP Best Paper Award
__________
M Codescu, T Mossakowski, O Kutz
A categorical approach to networks of aligned ontologies.
Journal on Data Semantics 6 (4), 155-197, 2017
__________
M M Hedblom, O Kutz, T Mossakowski, F Neuhaus
Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement.
Conference of the Italian Association for Artificial Intelligence, 256-268, AI*IA 2017, Springer 2017.
__________
D. Porello, N. Troquard, R. Confalonieri, P. Galliani, O. Kutz, R. Penaloza
Repairing Socially Aggregated Ontologies Using Axiom Weakening.
International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017
__________
R. Confalonieri, O. Kutz, N. Troquard, P. Galliani, R. Peñaloza, D. Porello and M. Schorlemmer
Coherence, Similarity, and Concept Generalisation.
Proc. of DL 2017, Vol. 1879 of CEUR-WS
PDF@CEUR
__________
T. R. Besold, M. M. Hedblom, O. Kutz
A narrative in three acts: Using combinations of image schemas to model events.
Biologically Inspired Cognitive Architectures (BICA), Vol 19, p. 10-20, Elsevier, 2017.
Elsevier Link
__________
M. Codescu, E. Kuksa, O. Kutz, T. Mossakowski, and F. Neuhaus
Ontohub: A semantic repository for heterogeneous ontologies.
Applied Ontology 12 (3-4), 275-298, IOS Press, 2017.
PDF IOS link
2016
__________
R. Confalonieri, M. Eppe, M. Schorlemmer, O. Kutz, R. Peñaloza, E. Plaza
Upward Refinement Operators for Conceptual Blending in the Description Logic EL++.
Annals of Mathematics and Artificial Intelligence (AMAI), Springer, 2016.
Springer Link
__________
O. Kutz, F. Neuhaus, M. M. Hedblom, T. Mossakowski, M. Codescu
Ontology Patterns with DOWL: The Case of Blending
In Proc. of the International Workshop on Description Logics (DL-2016), Cape Town, South Africa, 2016.
PDF
__________
R. Confalonieri, M. Schorlemmer, O. Kutz, R. Peñaloza, E. Plaza and M. Eppe
Conceptual Blending in EL++
In Proc. of the International Workshop on Description Logics (DL-2016), Cape Town, South Africa, 2016.
PDF
__________
O. Kutz, S. Borgo, M. Bhatt (editors)
Proceedings of the Third Interdisciplinary Workshop SHAPES 3.0-The Shape of Things
(co-located with CONTEXT 2015, Larnaca, Cyprus, November 2, 2015)
http://ceur-ws.org/Vol-1616/
__________
T. R. Besold, O. Kutz, C. Leon (editors)
Proceedings of C3GI 2016: Computational Creativity, Concept Invention, and General Intelligence
Co-located with ESSLLI-16.
http://ceur-ws.org/Vol-1767/
__________
O. Kutz and S. de Cesare (eds).
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)
http://ceur-ws.org/Vol-1660/
__________
M. M. Hedblom, T. Besold, O. Kutz, T. Veale (editors)
Proceedings of CAOS.
First International Workshop on Cognition And OntologieS, (CAOS-16), held at JOWO- 16, Annecy, France, as part of FOIS 2016.
http://ceur-ws.org/Vol-1660/
__________
M. M. Hedblom, O. Kutz, F. Neuhaus
Image schemas in computational conceptual blending
Cognitive Systems Research, 39: 42 - 57, Elsevier, 2016.
PDF Journal Link
R. Confalonieri, M. Eppe, M. Schorlemmer, O. Kutz, R. Peñaloza, E. Plaza
Upward Refinement Operators for Conceptual Blending in the Description Logic EL++.
Annals of Mathematics and Artificial Intelligence (AMAI), Springer, 2016.
Springer Link
__________
O. Kutz, F. Neuhaus, M. M. Hedblom, T. Mossakowski, M. Codescu
Ontology Patterns with DOWL: The Case of Blending
In Proc. of the International Workshop on Description Logics (DL-2016), Cape Town, South Africa, 2016.
__________
R. Confalonieri, M. Schorlemmer, O. Kutz, R. Peñaloza, E. Plaza and M. Eppe
Conceptual Blending in EL++
In Proc. of the International Workshop on Description Logics (DL-2016), Cape Town, South Africa, 2016.
__________
O. Kutz, S. Borgo, M. Bhatt (editors)
Proceedings of the Third Interdisciplinary Workshop SHAPES 3.0-The Shape of Things
(co-located with CONTEXT 2015, Larnaca, Cyprus, November 2, 2015)
http://ceur-ws.org/Vol-1616/
__________
T. R. Besold, O. Kutz, C. Leon (editors)
Proceedings of C3GI 2016: Computational Creativity, Concept Invention, and General Intelligence
Co-located with ESSLLI-16.
http://ceur-ws.org/Vol-1767/
__________
O. Kutz and S. de Cesare (eds).
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)
http://ceur-ws.org/Vol-1660/
__________
M. M. Hedblom, T. Besold, O. Kutz, T. Veale (editors)
Proceedings of CAOS.
First International Workshop on Cognition And OntologieS, (CAOS-16), held at JOWO- 16, Annecy, France, as part of FOIS 2016.
http://ceur-ws.org/Vol-1660/
__________
M. M. Hedblom, O. Kutz, F. Neuhaus
Image schemas in computational conceptual blending
Cognitive Systems Research, 39: 42 - 57, Elsevier, 2016.
PDF Journal Link
2015
__________
M. M. Hedblom, O. Kutz, F. Neuhaus
Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention
Journal of Artificial General Intelligence (JAGI), 6(1): 22 - 54, De Gruyter, 2015.
PDF Journal Link
__________
M. Eppe, E. Maclean, R. Confalonieri, O. Kutz, M. Schorlemmer, E. Plaza
ASP, Amalgamation, and the Conceptual Blending Workflow
Proc. of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2015.
PDF
__________
R. Confalonieri, M. Schorlemmer, E. Plaza, M. Eppe, O. Kutz, R. Peñaloza
Upward Refinement for Conceptual Blending in Description Logic – An ASP-based Approach and Case Study in EL++
Proc. of the 1st Workshop on Ontologies and Logic Programming for Query Answering (ONTOLP) at IJCAI-15, Buenos Aires, 2015.
PDF
__________
M. Hedblom, O. Kutz, F. Neuhaus
Image Schemas as Families of Theories
Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at UNILOG-15), Istanbul, 2015.
PDF, Full Proceedings
__________
T. Mossakowski, M. Codescu, F. Neuhaus, O. Kutz
The Distributed Ontology, Modelling and Specification Language - DOL
The Road to Universal Logic, Festschrift for the 50th Birthday of Jean-Yves Béziau, Volume II, Editors: Arnold Koslow and Arthur Buchsbaum, Springer, 2015
PDF, Book
__________
O. Kutz, J. Bateman, F. Neuhaus, T. Mossakowski, M. Bhatt
E pluribus unum
Formalisation, Use-Cases, and Computational Support for Conceptual Blending
In T. R. Besold et al., editors, Computational Creativity Research: Towards Creative Machines, Atlantis/Springer, Thinking Machines, 2015.
PDF
Springer Book
M. M. Hedblom, O. Kutz, F. Neuhaus
Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention
Journal of Artificial General Intelligence (JAGI), 6(1): 22 - 54, De Gruyter, 2015.
PDF Journal Link
__________
M. Eppe, E. Maclean, R. Confalonieri, O. Kutz, M. Schorlemmer, E. Plaza
ASP, Amalgamation, and the Conceptual Blending Workflow
Proc. of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2015.
__________
R. Confalonieri, M. Schorlemmer, E. Plaza, M. Eppe, O. Kutz, R. Peñaloza
Upward Refinement for Conceptual Blending in Description Logic – An ASP-based Approach and Case Study in EL++
Proc. of the 1st Workshop on Ontologies and Logic Programming for Query Answering (ONTOLP) at IJCAI-15, Buenos Aires, 2015.
__________
M. Hedblom, O. Kutz, F. Neuhaus
Image Schemas as Families of Theories
Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at UNILOG-15), Istanbul, 2015.
PDF, Full Proceedings
__________
T. Mossakowski, M. Codescu, F. Neuhaus, O. Kutz
The Distributed Ontology, Modelling and Specification Language - DOL
The Road to Universal Logic, Festschrift for the 50th Birthday of Jean-Yves Béziau, Volume II, Editors: Arnold Koslow and Arthur Buchsbaum, Springer, 2015
PDF, Book
__________
O. Kutz, J. Bateman, F. Neuhaus, T. Mossakowski, M. Bhatt
E pluribus unum
Formalisation, Use-Cases, and Computational Support for Conceptual Blending
In T. R. Besold et al., editors, Computational Creativity Research: Towards Creative Machines, Atlantis/Springer, Thinking Machines, 2015.
Springer Book
2014
__________
M. Hedblom, O. Kutz, F. Neuhaus
On the cognitive and logical role of image schemas in computational conceptual blending
In Proc. of the 2nd International Workshop on Artificial Intelligence and Cognition (AIC-2014), Torino, Italy, November 26th-27th, 2014. CEUR-WS Volume 1315.
PDF
Proceedings
__________
P. Garbacz and O. Kutz (Eds.)
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.
IOS link
__________
E. Cambouropoulos, M. Kaliakatsos-Papakostas, K.-U. Kuehnberger, O. Kutz, and A. Smaill
Concept invention and music: Creating novel harmonies via conceptual blending
In Proc. of the 9th Int. Conference on Interdisciplinary Musicology (CIM-14), Berlin, December 2014.
PDF
__________
T. Mossakowski, O. Kutz, M. Codescu
Ontohub: A semantic repository for heterogeneous ontologies
Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014.
PDF
__________
M. Codescu, T. Mossakowski, O. Kutz
A Categorical Approach to Ontology Alignment
Proc. of the 9th International Workshop on Ontology Matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy. CEUR.
PDF
__________
M. Gruninger, L. Obrst, K. Baclawski, M. Bennett, D. Brickley, G. Berg-Cross, P. Hitzler, K. Janowicz, C. Kapp, O. Kutz, C. Lange, A. Levenchuk, F. Quattri, A. Rector, T. Schneider, S. Spero, A. Thessen, M. Vegetti, A. Vizedom, A. Westerinen, M. West, P. Yim
Semantic Web and Big Data meets Applied Ontology: The Ontology Summit 2014 Communiqué
Journal of Applied Ontology, 9(2): 155-170, 2014.
Summit Homepage
Communiqué PDF
IOS link
__________
J. Bateman, O. Kutz, T. Mossakowski, A. Sojic, and M. Codescu
Space for Space
SpacePortal: the 21st Century Home for Spatial Ontologies
Short paper for Spatial Cognition 2014, Bremen, Germany, 15-19 September 2014.
PDF
__________
C. Nalon and O. Kutz
Towards resolution-based reasoning for connected logics
Electronic Notes in Theoretical Computer Science (ENTCS), Volume 305, pages 85-102, Elsevier, 2014.
Elsevier link, PDF
(An earlier version of this paper is in the Proc. of the 8th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2013), Sao Paulo, September 2-3, 2013.)
__________
F. Neuhaus, O. Kutz, M. Codescu, T. Mossakowski
Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending
Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014.
PDF
__________
T. Mossakowski, M. Codescu, O. Kutz, C. Lange, and M. Gruninger
Proof Support for Common Logic
Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014.
PDF
__________
O. Kutz, T. Mossakowski, F. Neuhaus, and M. Codescu
Blending in the Hub - Towards a computational concept invention platform
Proc. of the 5th International Conference on Computational Creativity (ICCC 2014), June 10-13, Ljubljana, Slovenia, 2014.
PDF
__________
M. Schorlemmer, A. Smaill, K.-U. Kühnberger, O. Kutz, S. Colton, E. Cambouropoulos, A. Pease
COINVENT: Towards a Computational Concept Invention Theory
Proc. of the 5th International Conference on Computational Creativity (ICCC 2014), June 10-13, Ljubljana, Slovenia, 2014.
PDF
__________
M. Schorlemmer, A. Smaill, K.-U. Kühnberger, O. Kutz, S. Colton, E. Cambouropoulos, A. Pease
COINVENT: Concept Invention Theory - Ontologies and Semantic Web Technologies for Concept Invention
5th European Semantic Web Conference on (ESWC 2014), EU Project Networking Session, May 27, Crete, Greece, 2014.
PDF
M. Hedblom, O. Kutz, F. Neuhaus
On the cognitive and logical role of image schemas in computational conceptual blending
In Proc. of the 2nd International Workshop on Artificial Intelligence and Cognition (AIC-2014), Torino, Italy, November 26th-27th, 2014. CEUR-WS Volume 1315.
Proceedings
__________
P. Garbacz and O. Kutz (Eds.)
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.
IOS link
__________
E. Cambouropoulos, M. Kaliakatsos-Papakostas, K.-U. Kuehnberger, O. Kutz, and A. Smaill
Concept invention and music: Creating novel harmonies via conceptual blending
In Proc. of the 9th Int. Conference on Interdisciplinary Musicology (CIM-14), Berlin, December 2014.
__________
T. Mossakowski, O. Kutz, M. Codescu
Ontohub: A semantic repository for heterogeneous ontologies
Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014.
__________
M. Codescu, T. Mossakowski, O. Kutz
A Categorical Approach to Ontology Alignment
Proc. of the 9th International Workshop on Ontology Matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy. CEUR.
__________
M. Gruninger, L. Obrst, K. Baclawski, M. Bennett, D. Brickley, G. Berg-Cross, P. Hitzler, K. Janowicz, C. Kapp, O. Kutz, C. Lange, A. Levenchuk, F. Quattri, A. Rector, T. Schneider, S. Spero, A. Thessen, M. Vegetti, A. Vizedom, A. Westerinen, M. West, P. Yim
Semantic Web and Big Data meets Applied Ontology: The Ontology Summit 2014 Communiqué
Journal of Applied Ontology, 9(2): 155-170, 2014.
Summit Homepage
Communiqué PDF
IOS link
__________
J. Bateman, O. Kutz, T. Mossakowski, A. Sojic, and M. Codescu
Space for Space
SpacePortal: the 21st Century Home for Spatial Ontologies
Short paper for Spatial Cognition 2014, Bremen, Germany, 15-19 September 2014.
__________
C. Nalon and O. Kutz
Towards resolution-based reasoning for connected logics
Electronic Notes in Theoretical Computer Science (ENTCS), Volume 305, pages 85-102, Elsevier, 2014.
Elsevier link, PDF
(An earlier version of this paper is in the Proc. of the 8th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2013), Sao Paulo, September 2-3, 2013.)
__________
F. Neuhaus, O. Kutz, M. Codescu, T. Mossakowski
Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending
Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014.
__________
T. Mossakowski, M. Codescu, O. Kutz, C. Lange, and M. Gruninger
Proof Support for Common Logic
Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014.
__________
O. Kutz, T. Mossakowski, F. Neuhaus, and M. Codescu
Blending in the Hub - Towards a computational concept invention platform
Proc. of the 5th International Conference on Computational Creativity (ICCC 2014), June 10-13, Ljubljana, Slovenia, 2014.
__________
M. Schorlemmer, A. Smaill, K.-U. Kühnberger, O. Kutz, S. Colton, E. Cambouropoulos, A. Pease
COINVENT: Towards a Computational Concept Invention Theory
Proc. of the 5th International Conference on Computational Creativity (ICCC 2014), June 10-13, Ljubljana, Slovenia, 2014.
__________
M. Schorlemmer, A. Smaill, K.-U. Kühnberger, O. Kutz, S. Colton, E. Cambouropoulos, A. Pease
COINVENT: Concept Invention Theory - Ontologies and Semantic Web Technologies for Concept Invention
5th European Semantic Web Conference on (ESWC 2014), EU Project Networking Session, May 27, Crete, Greece, 2014.
2013
__________
T. Mossakowski, O. Kutz, Mihai Codescu, and C. Lange
The Distributed Ontology, Modelling and Specification Language – DOL
Proc. of the 7th International Workshop on Modular Ontologies (WoMO 2013), September 15, Corunna, Spain. Co-located with LPNMR, 2013.
PDF (Invited Paper)
__________
T. Mossakowski, C. Lange, and O. Kutz
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)
Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Sister Conferences Track. Bejing, China, August 2013.
PDF
__________
O. Kutz, M. Bhatt, S. Borgo, and P. Santos (editors)
SHAPES 2.0 - The Shape of Things
Proc. of the Second Interdisciplinary Workshop on SHAPES. Held in conjunction with the 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, April 3-4, 2013, CEUR-WS, Vol. 1007.
Proceedings, Website
__________
T. Mossakowski, O. Kutz, and C. Lange
Semantics of the Distributed Ontology Language: Institutes and Institutions
Proceedings of the 21st International Workshop on Algebraic Development, Salamanca, Spain, June 7–10, 2012. Lecture Notes in Computer Science, 2013.
PDF
T. Mossakowski, O. Kutz, Mihai Codescu, and C. Lange
The Distributed Ontology, Modelling and Specification Language – DOL
Proc. of the 7th International Workshop on Modular Ontologies (WoMO 2013), September 15, Corunna, Spain. Co-located with LPNMR, 2013.
PDF (Invited Paper)
__________
T. Mossakowski, C. Lange, and O. Kutz
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)
Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Sister Conferences Track. Bejing, China, August 2013.
__________
O. Kutz, M. Bhatt, S. Borgo, and P. Santos (editors)
SHAPES 2.0 - The Shape of Things
Proc. of the Second Interdisciplinary Workshop on SHAPES. Held in conjunction with the 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, April 3-4, 2013, CEUR-WS, Vol. 1007.
Proceedings, Website
__________
T. Mossakowski, O. Kutz, and C. Lange
Semantics of the Distributed Ontology Language: Institutes and Institutions
Proceedings of the 21st International Workshop on Algebraic Development, Salamanca, Spain, June 7–10, 2012. Lecture Notes in Computer Science, 2013.
2012
__________
T. Mossakowski, C. Lange, and O. Kutz
Three Semantics for the Core of the Distributed Ontology Language
Proc. of the 7th International Conference on Formal Ontology in Information Systems (FOIS 2012), Graz, Austria, IOS Press, 2012.
PDF (Winner of the FOIS Best Paper Award)
__________
O. Kutz, C. Lange, T. Mossakowski, C. M. Keet, F. Neuhaus, and M. Gruninger
The Babel of the Semantic Web Tongues – In Search of the Rosetta Stone of Interoperability
In 'What will the Semantic Web look like 10 years from now?' (SW-2022), in conjunction with the 11th International Semantic Web Conference (ISWC 2012), Boston, USA, 2012.
PDF
__________
O. Kutz, J. Hastings, and T. Mossakowski
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs
The 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2012),Varna, Bulgaria, September 12th-15th, LNCS, Springer, 2012.
PDF
__________
O. Kutz, T. Mossakowski, J. Hois, M. Bhatt, J. Bateman
Ontological Blending in DOL
Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-12), 2012.
PDF, Formal Specification
__________
A. Sojic and O. Kutz
Open Biomedical Pluralism: Formalising Knowledge about Breast Cancer Phenotypes
Journal of Biomedical Semantics, 3(Suppl 2):S3, 2012
PDF
__________
M. Codescu, D. Couto Vale, O. Kutz and T. Mossakowski
Ontology-based Route Planning for OpenStreetMap
5th International Terra Cognita Workshop 2012, in Conjunction with the 11th International Semantic Web Conference (ISWC), Boston, USA, November 12, 2012.
PDF
__________
C. Lange, T. Mossakowski, and O. Kutz
LoLa: A Modular Ontology of Logics, Languages, and Translations
6th International Workshop on Modular Ontologies (WoMO 2012, at FOIS 2012) Graz, Austria, 2012.
PDF, CEUR Proceedings
__________
F. Schmid, O. Kutz, L. Frommberger, T. Mossakowski, T. Kauppinen, and C. Cai
Intuitive and Natural Interfaces for Geospatial Data Classification
Int. Workshop on Place-Related Knowledge Acquisition Research (P-KAR)
31 August, Kloster Seeon, Germany, in conjunction with Spatial Cognition 2012.
PDF Proceedings
__________
O. Kutz and J. Hois
Modular Ontologies
Guest Editorial for a Special Issue of Applied Ontology (IOS Press), 2012.
PDF
__________
T. Mossakowski, O. Kutz, and C. Lange
Semantics of the Distributed Ontology Language: Institutes and Institutions
21st International Workshop on Algebraic Development (Extended Abstract), Salamanca, Spain, June 7–10, 2012.
PDF
__________
A. Sojic and O. Kutz
Representing biomedical knowledge: A view from the philosophy of science
Joint ICBO/FOIS Early Career Symposium, 2012.
ICBO Proceedings
__________
T.-K. Fu and O. Kutz
On the Incommensurability in the Carnap-Goguen Style Logical Pluralism
Talk and Ext. Abstract at Incommensurability 50, Taipei (Taiwan), 1-3 June, 2012
__________
I. Stojanovic and O. Kutz
Generalized Quantifiers and Ontological Commitments
Proc. of the International interdisciplinary conference on Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012), May 22-25, 2012, St. Petersburg, Russia, 2012.
PDF
__________
O. Beyersdorff and O. Kutz
Proof Complexity of Non-Classical Logics
Chapter based on ESSLLI 2010 Course Material, to appear in Springer's FoLLI series, 2012.
PDF
__________
M. Bhatt, J. Hois, and O. Kutz
Ontological Modelling of Form and Function for Architectural Design
Journal of Applied Ontology, 7(3): 233–267, 2012.
PDF
__________
C. Lange, O. Kutz, T. Mossakowski, and M. Grüninger
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
Proc. of the Conference on Intelligent Computer Mathematics (CICM 2012), 9-14 July 2012, Jacobs University, Bremen, Germany.
PDF
__________
T.-K. Fu and O. Kutz
The Analysis and Synthesis of Logic Translation
Proc. of the 25th Florida Artificial Intelligence Research Society Conference (FLAIRS-25), 2012.
PDF
__________
C. Lange, T. Mossakowski, O. Kutz, C. Galinski, M. Grüninger, and D. Couto Vale
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility
Proc. of the 10th Terminology and Knowledge Engineering Conference (TKE 2012), Madrid, Spain.
PDF
T. Mossakowski, C. Lange, and O. Kutz
Three Semantics for the Core of the Distributed Ontology Language
Proc. of the 7th International Conference on Formal Ontology in Information Systems (FOIS 2012), Graz, Austria, IOS Press, 2012.
PDF (Winner of the FOIS Best Paper Award)
__________
O. Kutz, C. Lange, T. Mossakowski, C. M. Keet, F. Neuhaus, and M. Gruninger
The Babel of the Semantic Web Tongues – In Search of the Rosetta Stone of Interoperability
In 'What will the Semantic Web look like 10 years from now?' (SW-2022), in conjunction with the 11th International Semantic Web Conference (ISWC 2012), Boston, USA, 2012.
__________
O. Kutz, J. Hastings, and T. Mossakowski
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs
The 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2012),Varna, Bulgaria, September 12th-15th, LNCS, Springer, 2012.
__________
O. Kutz, T. Mossakowski, J. Hois, M. Bhatt, J. Bateman
Ontological Blending in DOL
Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-12), 2012.
PDF, Formal Specification
__________
A. Sojic and O. Kutz
Open Biomedical Pluralism: Formalising Knowledge about Breast Cancer Phenotypes
Journal of Biomedical Semantics, 3(Suppl 2):S3, 2012
__________
M. Codescu, D. Couto Vale, O. Kutz and T. Mossakowski
Ontology-based Route Planning for OpenStreetMap
5th International Terra Cognita Workshop 2012, in Conjunction with the 11th International Semantic Web Conference (ISWC), Boston, USA, November 12, 2012.
__________
C. Lange, T. Mossakowski, and O. Kutz
LoLa: A Modular Ontology of Logics, Languages, and Translations
6th International Workshop on Modular Ontologies (WoMO 2012, at FOIS 2012) Graz, Austria, 2012.
PDF, CEUR Proceedings
__________
F. Schmid, O. Kutz, L. Frommberger, T. Mossakowski, T. Kauppinen, and C. Cai
Intuitive and Natural Interfaces for Geospatial Data Classification
Int. Workshop on Place-Related Knowledge Acquisition Research (P-KAR)
31 August, Kloster Seeon, Germany, in conjunction with Spatial Cognition 2012.
PDF Proceedings
__________
O. Kutz and J. Hois
Modular Ontologies
Guest Editorial for a Special Issue of Applied Ontology (IOS Press), 2012.
__________
T. Mossakowski, O. Kutz, and C. Lange
Semantics of the Distributed Ontology Language: Institutes and Institutions
21st International Workshop on Algebraic Development (Extended Abstract), Salamanca, Spain, June 7–10, 2012.
__________
A. Sojic and O. Kutz
Representing biomedical knowledge: A view from the philosophy of science
Joint ICBO/FOIS Early Career Symposium, 2012.
ICBO Proceedings
__________
T.-K. Fu and O. Kutz
On the Incommensurability in the Carnap-Goguen Style Logical Pluralism
Talk and Ext. Abstract at Incommensurability 50, Taipei (Taiwan), 1-3 June, 2012
__________
I. Stojanovic and O. Kutz
Generalized Quantifiers and Ontological Commitments
Proc. of the International interdisciplinary conference on Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012), May 22-25, 2012, St. Petersburg, Russia, 2012.
__________
O. Beyersdorff and O. Kutz
Proof Complexity of Non-Classical Logics
Chapter based on ESSLLI 2010 Course Material, to appear in Springer's FoLLI series, 2012.
__________
M. Bhatt, J. Hois, and O. Kutz
Ontological Modelling of Form and Function for Architectural Design
Journal of Applied Ontology, 7(3): 233–267, 2012.
__________
C. Lange, O. Kutz, T. Mossakowski, and M. Grüninger
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
Proc. of the Conference on Intelligent Computer Mathematics (CICM 2012), 9-14 July 2012, Jacobs University, Bremen, Germany.
__________
T.-K. Fu and O. Kutz
The Analysis and Synthesis of Logic Translation
Proc. of the 25th Florida Artificial Intelligence Research Society Conference (FLAIRS-25), 2012.
__________
C. Lange, T. Mossakowski, O. Kutz, C. Galinski, M. Grüninger, and D. Couto Vale
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility
Proc. of the 10th Terminology and Knowledge Engineering Conference (TKE 2012), Madrid, Spain.
2011
__________
S. Borgo and O. Kutz
A General Framework for Shape Similarity
In the Proc. of SHAPES 1.0 - The Shape of Things. Workshop at CONTEXT-11, Karlsruhe, September 2011. CEUR-WS, Vol. 812.
PDF
__________
J. Hastings, O. Kutz, M. Bhatt, and S. Borgo (editors)
SHAPES 1.0 - The Shape of Things
Proc. of the First Interdisciplinary Workshop on SHAPES. CONTEXT 11 Conference, Karlsruhe, Germany, September 27, 2011, CEUR-WS, Vol. 812.
Proceedings, Website
__________
A. Sojic and O. Kutz
Beyond a Tumour: Breast Cancer Phenotypes
-Towards a pluralistic integration of heterogeneous representations-
In Workshop of Ontologies in Biomedicine and Life Sciences, OBML-11, October 6–7, Berlin, 2011.
PDF
__________
O. Kutz and T. Mossakowski
A Modular Consistency Proof for Dolce
In Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), held in San Francisco, California, August 7–11, 2011.
PDF (Technical Report)
__________
O. Kutz and T. Schneider (editors)
Modular Ontologies
Proc. of the Fifth International Workshop (WoMO 2011), Frontiers in Artificial Intelligence and Applications, Volume 230, IOS Press.
Book, Website
__________
C. Lange, T. Mossakowski, C. Galinski, and O. Kutz
Making Heterogeneous Ontologies Interoperable Through Standardisation
In Proc. of AEGIS 2nd International Conference ‘Accessibility Reaching Everywhere’, Brussels, November 28–30, 2011.
PDF
__________
Three Abstracts for the 14th Congress on Logic, Methodology and Philosophy of Science, CLMPS, Nancy, 2011
O. Kutz and J. Hois - Steering Ontological Blending - PDF
J. Hois and O. Kutz - Towards Linguistically-Grounded Spatial Logics - PDF
O. Kutz - Logical Pluralism in Ontology Design - CLMPS Affiliated Symposium on 'Ontology between Philosophy and Computer Science'
__________
J. Hastings, O. Kutz, and T. Mossakowski
How to model the shapes of molecules?
Combining topology and ontology using heterogeneous specifications
Deep Knowledge Representation Challenge Workshop (DKR-11), co-located with K-CAP, June 26, Banff, Alberta, Canada, 2011.
PDF (Winner of 2nd Prize in DKR competition)
__________
M. Codescu, G. Horsinka, O. Kutz, T. Mossakowski, R. Rau
OSMonto - An Ontology of OpenStreetMap Tags
In State of the map Europe (SOTM-EU), 2011.
PDF
__________
T. Mossakowski and O. Kutz
The Onto-Logical Translation Graph
In Proc. of the Fifth International Workshop on Modular Ontologies (WoMO 2011, co-located with ESSLLI-11, Ljubljana, Slovenia), Frontiers in Artificial Intelligence and Applications, IOS Press, Forthcoming, 2011.
PDF
__________
O. Kutz, T. Mossakowski, C. Galinski, and C. Lange
Towards a Standard for Heterogeneous Ontology Integration and Interoperability.
In International Conference on Terminology, Languages and Content Resources (LaRC-11), Seoul, South Korea, 2011.
PDF
__________
O. Kutz, T. Mossakowski, J. Hastings, A. Garcia Castro, and A. Sojic
Hyperontology for the Biomedical Ontologist —A Sketch and Some Examples—
In Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011), Buffalo, NY, USA, 2011.
PDF
__________
T. Mossakowski, M. Codescu, O. Kutz
Ontologiebasierte Routenplannung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap
In 16. Magdeburger Logistiktagung, 29.6-1.7 2011, University of Magdeburg, Germany.
PDF
__________
M. Codescu, G. Horsinka, O. Kutz, T. Mossakowski, R. Rau
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap
In Christophe Claramunt, Michela Bertolotto, Sergei Levashkin (Eds.), Fourth International Conference on GeoSpatial Semantics, LNCS. Springer, 2011.
PDF
S. Borgo and O. Kutz
A General Framework for Shape Similarity
In the Proc. of SHAPES 1.0 - The Shape of Things. Workshop at CONTEXT-11, Karlsruhe, September 2011. CEUR-WS, Vol. 812.
__________
J. Hastings, O. Kutz, M. Bhatt, and S. Borgo (editors)
SHAPES 1.0 - The Shape of Things
Proc. of the First Interdisciplinary Workshop on SHAPES. CONTEXT 11 Conference, Karlsruhe, Germany, September 27, 2011, CEUR-WS, Vol. 812.
Proceedings, Website
__________
A. Sojic and O. Kutz
Beyond a Tumour: Breast Cancer Phenotypes
-Towards a pluralistic integration of heterogeneous representations-
In Workshop of Ontologies in Biomedicine and Life Sciences, OBML-11, October 6–7, Berlin, 2011.
__________
O. Kutz and T. Mossakowski
A Modular Consistency Proof for Dolce
In Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), held in San Francisco, California, August 7–11, 2011.
PDF (Technical Report)
__________
O. Kutz and T. Schneider (editors)
Modular Ontologies
Proc. of the Fifth International Workshop (WoMO 2011), Frontiers in Artificial Intelligence and Applications, Volume 230, IOS Press.
Book, Website
__________
C. Lange, T. Mossakowski, C. Galinski, and O. Kutz
Making Heterogeneous Ontologies Interoperable Through Standardisation
In Proc. of AEGIS 2nd International Conference ‘Accessibility Reaching Everywhere’, Brussels, November 28–30, 2011.
__________
Three Abstracts for the 14th Congress on Logic, Methodology and Philosophy of Science, CLMPS, Nancy, 2011
O. Kutz and J. Hois - Steering Ontological Blending - PDF
J. Hois and O. Kutz - Towards Linguistically-Grounded Spatial Logics - PDF
O. Kutz - Logical Pluralism in Ontology Design - CLMPS Affiliated Symposium on 'Ontology between Philosophy and Computer Science'
__________
J. Hastings, O. Kutz, and T. Mossakowski
How to model the shapes of molecules?
Combining topology and ontology using heterogeneous specifications
Deep Knowledge Representation Challenge Workshop (DKR-11), co-located with K-CAP, June 26, Banff, Alberta, Canada, 2011.
PDF (Winner of 2nd Prize in DKR competition)
__________
M. Codescu, G. Horsinka, O. Kutz, T. Mossakowski, R. Rau
OSMonto - An Ontology of OpenStreetMap Tags
In State of the map Europe (SOTM-EU), 2011.
__________
T. Mossakowski and O. Kutz
The Onto-Logical Translation Graph
In Proc. of the Fifth International Workshop on Modular Ontologies (WoMO 2011, co-located with ESSLLI-11, Ljubljana, Slovenia), Frontiers in Artificial Intelligence and Applications, IOS Press, Forthcoming, 2011.
__________
O. Kutz, T. Mossakowski, C. Galinski, and C. Lange
Towards a Standard for Heterogeneous Ontology Integration and Interoperability.
In International Conference on Terminology, Languages and Content Resources (LaRC-11), Seoul, South Korea, 2011.
__________
O. Kutz, T. Mossakowski, J. Hastings, A. Garcia Castro, and A. Sojic
Hyperontology for the Biomedical Ontologist —A Sketch and Some Examples—
In Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011), Buffalo, NY, USA, 2011.
__________
T. Mossakowski, M. Codescu, O. Kutz
Ontologiebasierte Routenplannung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap
In 16. Magdeburger Logistiktagung, 29.6-1.7 2011, University of Magdeburg, Germany.
__________
M. Codescu, G. Horsinka, O. Kutz, T. Mossakowski, R. Rau
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap
In Christophe Claramunt, Michela Bertolotto, Sergei Levashkin (Eds.), Fourth International Conference on GeoSpatial Semantics, LNCS. Springer, 2011.
2010
__________
O. Kutz, T. Mossakowski, and D. Luecke
Carnap, Goguen, and the Hyperontologies
Logica Universalis: 4(2), Special Issue on 'Is Logic Universal?', Volume 4, Number 2, 255-333, 2010.
PDF (draft) Published paper (SpringerLink)
__________
O. Kutz, I. Normann, T. Mossakowski, and D. Walther
Chinese Whispers and Connected Alignments
In Proc. of the 5th International Workshop on Ontology Matching, OM-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China.
PDF
__________
I. Normann and O. Kutz
Ontology Reuse and Exploration via Interactive Graph Manipulation
In Proc. of the 1st Workshop On Semantic Repositories For The Web, SERES-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China.
PDF
__________
O. Kutz, J. Hois, J. Bao, B. Cuenca Grau (editors)
Modular Ontologies
Proc. of the Fourth International Workshop (WoMO 2010), Frontiers in Artificial Intelligence and Applications, Volume 210, IOS Press.
Book, Website
__________
J. Hois, O. Kutz, T. Mossakowski, and J. Bateman
Towards Ontological Blending
In Proc. of the The 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-2010), Varna, Bulgaria, September 8th-10th, 2010. (Short paper)
PDF
__________
M. Bhatt, J. Hois, O. Kutz, F. Dylla.
Modelling Functional Requirements in Spatial Design.
In Proc. of the 29th International Conference on Conceptual Modeling (ER-2010), Vancouver, BC, Canada, 2010. (Short paper)
PDF
O. Kutz, T. Mossakowski, and D. Luecke
Carnap, Goguen, and the Hyperontologies
Logica Universalis: 4(2), Special Issue on 'Is Logic Universal?', Volume 4, Number 2, 255-333, 2010.
PDF (draft) Published paper (SpringerLink)
__________
O. Kutz, I. Normann, T. Mossakowski, and D. Walther
Chinese Whispers and Connected Alignments
In Proc. of the 5th International Workshop on Ontology Matching, OM-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China.
__________
I. Normann and O. Kutz
Ontology Reuse and Exploration via Interactive Graph Manipulation
In Proc. of the 1st Workshop On Semantic Repositories For The Web, SERES-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China.
__________
O. Kutz, J. Hois, J. Bao, B. Cuenca Grau (editors)
Modular Ontologies
Proc. of the Fourth International Workshop (WoMO 2010), Frontiers in Artificial Intelligence and Applications, Volume 210, IOS Press.
Book, Website
__________
J. Hois, O. Kutz, T. Mossakowski, and J. Bateman
Towards Ontological Blending
In Proc. of the The 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-2010), Varna, Bulgaria, September 8th-10th, 2010. (Short paper)
__________
M. Bhatt, J. Hois, O. Kutz, F. Dylla.
Modelling Functional Requirements in Spatial Design.
In Proc. of the 29th International Conference on Conceptual Modeling (ER-2010), Vancouver, BC, Canada, 2010. (Short paper)
2009
__________
J.Hois, M. Bhatt, and O. Kutz.
Modular Ontologies for Architectural Design.
4th Workshop on Formal Ontologies Meet Industry, FOMI-09, Vicenza, Italy.
Frontiers in Artificial Intelligence and Applications, Vol. 198, IOS Press, 2009.
PDF
__________
O. Kutz and I. Normann.
Context Discovery via Theory Interpretation
IJCAI Workshop on Automated Reasoning about Context and Ontology Evolution, ARCOE-09, Pasadena, California, 2009.
PDF
__________
I. Normann, F. Dylla, J. Hois, O. Kutz, M. Bhatt, M. Schmitt, W. Putz, S. Weber.
Ontologies and Reasoning for Ambient Assisted Living
Online proceedings of the 1st. OASIS International Conference, Florence, Italy, 2009.
Presentation
__________
I. Normann and O. Kutz.
Ontology Correspondence via Theory Interpretation
Workshop on Matching and Meaning, Automated development, evolution and interpretation of ontologies. Artificial Intelligence and Simulation of Behaviour Convention, AISB 2009, April 9th, 2009, Edinburgh, UK.
PDF
J.Hois, M. Bhatt, and O. Kutz.
Modular Ontologies for Architectural Design.
4th Workshop on Formal Ontologies Meet Industry, FOMI-09, Vicenza, Italy.
Frontiers in Artificial Intelligence and Applications, Vol. 198, IOS Press, 2009.
__________
O. Kutz and I. Normann.
Context Discovery via Theory Interpretation
IJCAI Workshop on Automated Reasoning about Context and Ontology Evolution, ARCOE-09, Pasadena, California, 2009.
__________
I. Normann, F. Dylla, J. Hois, O. Kutz, M. Bhatt, M. Schmitt, W. Putz, S. Weber.
Ontologies and Reasoning for Ambient Assisted Living
Online proceedings of the 1st. OASIS International Conference, Florence, Italy, 2009.
Presentation
__________
I. Normann and O. Kutz.
Ontology Correspondence via Theory Interpretation
Workshop on Matching and Meaning, Automated development, evolution and interpretation of ontologies. Artificial Intelligence and Simulation of Behaviour Convention, AISB 2009, April 9th, 2009, Edinburgh, UK.
2008
__________
O. Kutz, D. Lücke, T. Mossakowski, and I. Normann.
The OWL in the CASL - Designing Ontologies Across Logics.
OWL: Experiences and Directions, 5th International Workshop (OWLED-08), Karlsruhe, Germany, October 26-27, 2008, co-located with ISWC-08.
PDF
__________
O. Kutz, D. Lücke, and T. Mossakowski.
Modular Construction of Models -
Towards a Consistency Proof for the Foundational Ontology DOLCE.
First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08) Istanbul, Turkey, 2008.
Extended Abstract
__________
J. Hois and O. Kutz.
Counterparts in Language and Space - Similarity and S-Connection.
5th International Conference on Formal Ontology in Information Systems (FOIS-08), Saarbrücken, Germany, 2008.
PDF
__________
O. Kutz, D. Lücke, and T. Mossakowski
Heterogeneously Structured Ontologies - Integration, Connection, and Refinement.
Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, CRPIT Vol-90, 2008.
PDF
__________
J. Hois and O. Kutz.
Natural Language meets Spatial Calculi.
Spatial Cognition VI. Learning, Reasoning, and Talking about Space. 6th International Conference on Spatial Cognition, Freiburg, Germany, September 15-19, 2008. Lecture Notes in Computer Science, Vol. 5248, Springer, 2008.
PDF
__________
A. Garcia Castro, I. Normann, J. Hois, and O. Kutz
Ontologizing Metadata for Assistive Technologies - The OASIS Repository
First International Workshop on Ontologies in Interactive Systems (Ontoract-08), Liverpool, UK, 2008. IEEE Computer Society.
PDF
__________
J. Hois, O. Kutz, and J. Bateman.
Similarity-Connections between Natural Language and Spatial Situations.
Workshop on Spatial Language in Context: Computational and Theoretical Approaches to Situation Specific Meaning, (SC-08) Freiburg, Germany. 2008.
Extended Abstract
__________
O. Kutz and T. Mossakowski.
Conservativity in Structured Ontologies
18th European Conference on Artificial Intelligence (ECAI-08), Patras, Greece. 2008.
PDF PDF (Technical Report)
__________
O. Kutz, T. Mossakowski, and M. Codescu.
Shapes of Alignments: Construction, Combination, and Computation.
Workshop on Ontologies: Reasoning and Modularity, WORM-08, ESWC, Tenerife, Spain, 2008.
PDF
O. Kutz, D. Lücke, T. Mossakowski, and I. Normann.
The OWL in the CASL - Designing Ontologies Across Logics.
OWL: Experiences and Directions, 5th International Workshop (OWLED-08), Karlsruhe, Germany, October 26-27, 2008, co-located with ISWC-08.
__________
O. Kutz, D. Lücke, and T. Mossakowski.
Modular Construction of Models -
Towards a Consistency Proof for the Foundational Ontology DOLCE.
First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08) Istanbul, Turkey, 2008.
Extended Abstract
__________
J. Hois and O. Kutz.
Counterparts in Language and Space - Similarity and S-Connection.
5th International Conference on Formal Ontology in Information Systems (FOIS-08), Saarbrücken, Germany, 2008.
__________
O. Kutz, D. Lücke, and T. Mossakowski
Heterogeneously Structured Ontologies - Integration, Connection, and Refinement.
Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, CRPIT Vol-90, 2008.
__________
J. Hois and O. Kutz.
Natural Language meets Spatial Calculi.
Spatial Cognition VI. Learning, Reasoning, and Talking about Space. 6th International Conference on Spatial Cognition, Freiburg, Germany, September 15-19, 2008. Lecture Notes in Computer Science, Vol. 5248, Springer, 2008.
__________
A. Garcia Castro, I. Normann, J. Hois, and O. Kutz
Ontologizing Metadata for Assistive Technologies - The OASIS Repository
First International Workshop on Ontologies in Interactive Systems (Ontoract-08), Liverpool, UK, 2008. IEEE Computer Society.
__________
J. Hois, O. Kutz, and J. Bateman.
Similarity-Connections between Natural Language and Spatial Situations.
Workshop on Spatial Language in Context: Computational and Theoretical Approaches to Situation Specific Meaning, (SC-08) Freiburg, Germany. 2008.
Extended Abstract
__________
O. Kutz and T. Mossakowski.
Conservativity in Structured Ontologies
18th European Conference on Artificial Intelligence (ECAI-08), Patras, Greece. 2008.
PDF PDF (Technical Report)
__________
O. Kutz, T. Mossakowski, and M. Codescu.
Shapes of Alignments: Construction, Combination, and Computation.
Workshop on Ontologies: Reasoning and Modularity, WORM-08, ESWC, Tenerife, Spain, 2008.
2007
__________
O. Kutz and T. Mossakowski.
Modules in Transition: Conservativity, Composition, and Colimits.
2nd International Workshop on Modular Ontologies, WoMO-07, K-CAP, Whistler, Canada, 2007.
PDF
__________
M. Kracht and O. Kutz.
Logically Possible Worlds and Counterpart Semantics for Modal Logic.
Handbook of the Philosophy of Logic, edited by Dale Jacquette, Volume 5 of the Handbook of the Philosophy of Science, edited by Dov Gabbay, Paul Thagard, and John Woods, Elsevier, 943-996, 2007.
PDF
__________
O. Kutz.
Notes on Logics of Metric Spaces.
Studia Logica: 85(1): 75-104, 2007.
PDF
__________
B. Cuenca-Grau and O. Kutz.
Modular Ontology Languages Revisited.
In Proceedings of the IJCAI-07 Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa), 2007.
PDF
__________
P. Haase, V. Honavar, O. Kutz, Y. Sure, and A. Tamilin (editors).
Proc. of the 1st International Workshop on Modular Ontologies.
WoMO-06, November 5, 2006, Athens, Georgia, USA, 2007.
Proceedings
O. Kutz and T. Mossakowski.
Modules in Transition: Conservativity, Composition, and Colimits.
2nd International Workshop on Modular Ontologies, WoMO-07, K-CAP, Whistler, Canada, 2007.
__________
M. Kracht and O. Kutz.
Logically Possible Worlds and Counterpart Semantics for Modal Logic.
Handbook of the Philosophy of Logic, edited by Dale Jacquette, Volume 5 of the Handbook of the Philosophy of Science, edited by Dov Gabbay, Paul Thagard, and John Woods, Elsevier, 943-996, 2007.
__________
O. Kutz.
Notes on Logics of Metric Spaces.
Studia Logica: 85(1): 75-104, 2007.
__________
B. Cuenca-Grau and O. Kutz.
Modular Ontology Languages Revisited.
In Proceedings of the IJCAI-07 Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa), 2007.
__________
P. Haase, V. Honavar, O. Kutz, Y. Sure, and A. Tamilin (editors).
Proc. of the 1st International Workshop on Modular Ontologies.
WoMO-06, November 5, 2006, Athens, Georgia, USA, 2007.
Proceedings
2006
__________
C. Elsenbroich, O. Kutz, and U. Sattler.
A Case for Abductive Reasoning over Ontologies.
In Proc. of OWL: Experiences and Directions (OWLED-06), Athens, Georgia, USA, November 10-11, 2006. CEUR-WS Vol 216
Abstract PDF
__________
I. Horrocks, O. Kutz, and U. Sattler.
The Even More Irresistible SROIQ.
In Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006, Lake District UK), 2006.
Abstract PDF
__________
B. Cuenca-Grau, I. Horrocks, O. Kutz, and U. Sattler.
Will my Ontologies Fit Together?.
In Proceedings of the 2006 International Workshop on Description Logics (DL2006, Lake District), 2006.
PDF (full paper)
C. Elsenbroich, O. Kutz, and U. Sattler.
A Case for Abductive Reasoning over Ontologies.
In Proc. of OWL: Experiences and Directions (OWLED-06), Athens, Georgia, USA, November 10-11, 2006. CEUR-WS Vol 216
Abstract PDF
__________
I. Horrocks, O. Kutz, and U. Sattler.
The Even More Irresistible SROIQ.
In Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006, Lake District UK), 2006.
Abstract PDF
__________
B. Cuenca-Grau, I. Horrocks, O. Kutz, and U. Sattler.
Will my Ontologies Fit Together?.
In Proceedings of the 2006 International Workshop on Description Logics (DL2006, Lake District), 2006.
PDF (full paper)
2005
__________
I. Horrocks, O. Kutz, and U. Sattler.
The Even More Irresistible SROIQ.
Technical Report, University of Manchester.
PDF
__________
I. Horrocks, O. Kutz, and U. Sattler.
The Irresistible SRIQ.
In OWL: Experiences and Directions (Workshop), Galway, Ireland, November 11-12, 2005.
PDF
__________
I. Horrocks, O. Kutz, and U. Sattler.
The Irresistible SRIQ.
Technical Report, University of Manchester.
PDF
__________
M. Kracht and O. Kutz.
The Semantics of Modal Predicate Logic II. Modal Individuals Revisited.
In Intensionality, Lecture Notes in Logic 22, Los Angeles, ASL.
Abstract PDF
I. Horrocks, O. Kutz, and U. Sattler.
The Even More Irresistible SROIQ.
Technical Report, University of Manchester.
__________
I. Horrocks, O. Kutz, and U. Sattler.
The Irresistible SRIQ.
In OWL: Experiences and Directions (Workshop), Galway, Ireland, November 11-12, 2005.
__________
I. Horrocks, O. Kutz, and U. Sattler.
The Irresistible SRIQ.
Technical Report, University of Manchester.
__________
M. Kracht and O. Kutz.
The Semantics of Modal Predicate Logic II. Modal Individuals Revisited.
In Intensionality, Lecture Notes in Logic 22, Los Angeles, ASL.
Abstract PDF
2004
2003
__________
O.Kutz, C. Lutz, F. Wolter and M. Zakharyaschev.
E-connections of Description Logics.
In Proceedings of the 2003 International Workshop on Description Logics (DL2003, Rome), pages 178-187 (CEUR-WS Vol-81).
BibTeX PostScript
__________
O. Kutz, H. Sturm, N. Y. Suzuki, F. Wolter and M. Zakharyaschev.
Logics of Metric Spaces.
In ACM Transactions on Computational Logic (TOCL), 4(2):260–294, 2003.
Abstract BibTeX PDF
__________
O. Kutz.
New Semantics for Modal Predicate Logics.
In Foundations of the Formal Sciences II. Trends in Logic, Volume 17, Kluwer.
Abstract BibTeX PDF
O.Kutz, C. Lutz, F. Wolter and M. Zakharyaschev.
E-connections of Description Logics.
In Proceedings of the 2003 International Workshop on Description Logics (DL2003, Rome), pages 178-187 (CEUR-WS Vol-81).
BibTeX PostScript
__________
O. Kutz, H. Sturm, N. Y. Suzuki, F. Wolter and M. Zakharyaschev.
Logics of Metric Spaces.
In ACM Transactions on Computational Logic (TOCL), 4(2):260–294, 2003.
Abstract BibTeX PDF
__________
O. Kutz.
New Semantics for Modal Predicate Logics.
In Foundations of the Formal Sciences II. Trends in Logic, Volume 17, Kluwer.
Abstract BibTeX PDF
2002
__________
O. Kutz, H. Sturm, N. Y. Suzuki, F. Wolter and M. Zakharyaschev.
Axiomatizing distance logics.
In Journal of Applied Non-Classical Logics, JANCL, Volume 12, Number 3-4, pages 425-440, 2002.
Abstract BibTeX PDF
__________
M. Kracht and O. Kutz.
The Semantics of Modal Predicate Logic I. Counterpart Frames.
In Advances in Modal Logic, Volume 3, World Scientific Publishing.
Abstract BibTeX PDF
__________
O. Kutz, F. Wolter and M. Zakharyaschev.
Connecting abstract description systems.
In Proceedings of the 8th International Conference of Knowledge Representation and Reasoning (KR-2002, Toulouse), editors: D. Fensel, F. Giunchiglia, D. McGuinness and M. Williams, Morgan Kaufmann, 215-227, 2002.
Abstract BibTeX PDF
O. Kutz, H. Sturm, N. Y. Suzuki, F. Wolter and M. Zakharyaschev.
Axiomatizing distance logics.
In Journal of Applied Non-Classical Logics, JANCL, Volume 12, Number 3-4, pages 425-440, 2002.
Abstract BibTeX PDF
__________
M. Kracht and O. Kutz.
The Semantics of Modal Predicate Logic I. Counterpart Frames.
In Advances in Modal Logic, Volume 3, World Scientific Publishing.
Abstract BibTeX PDF
__________
O. Kutz, F. Wolter and M. Zakharyaschev.
Connecting abstract description systems.
In Proceedings of the 8th International Conference of Knowledge Representation and Reasoning (KR-2002, Toulouse), editors: D. Fensel, F. Giunchiglia, D. McGuinness and M. Williams, Morgan Kaufmann, 215-227, 2002.
Abstract BibTeX PDF
earlier
__________
O. Kutz, F. Wolter and M. Zakharyaschev.
A Note on Concepts and Distances.
In Proceedings of the 2001 International Workshop on Description Logics (DL2001, Stanford) (CEUR-WS Vol-49)
Abstract BibTeX PDF
__________
O. Kutz.
Kripke-Typ Semantiken für die modale Prädikatenlogik.
Diplomarbeit, Humboldt Universität zu Berlin, Freie Universität Berlin, 2000.
BibTeX PDF
__________
O. Kutz.
Modelltheorie und Philosophie.
Unpublished manuscript, 1999.
PDF
O. Kutz, F. Wolter and M. Zakharyaschev.
A Note on Concepts and Distances.
In Proceedings of the 2001 International Workshop on Description Logics (DL2001, Stanford) (CEUR-WS Vol-49)
Abstract BibTeX PDF
__________
O. Kutz.
Kripke-Typ Semantiken für die modale Prädikatenlogik.
Diplomarbeit, Humboldt Universität zu Berlin, Freie Universität Berlin, 2000.
BibTeX PDF
__________
O. Kutz.
Modelltheorie und Philosophie.
Unpublished manuscript, 1999.