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

__________
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 (Forthcoming)
__________
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, 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

__________
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

__________
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

__________
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

__________
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   PDF (Technical Report)
__________
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 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

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

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

__________
O.Kutz.
E-Connections and Logics of Distance.
Ph.D. thesis, University of Liverpool.
Abstract   PDF   BCS website
__________
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, 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, 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, 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