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