publications

2006

B. Cuenca-Grau and O. Kutz. Modular Ontology Languages Revisited.
Submitted.
Abstract, PDF.

C. Elsenbroich, O. Kutz, and U. Sattler. A Case for Abductive Reasoning over Ontologies.
To appear in. OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006.
Abstract, PDF.

M. Kracht and O. Kutz. Logically Possible Worlds and Counterpart Semantics for Modal Logic.
To appear in 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.
Abstract, PDF.

O.Kutz. Notes on Logics of Metric Spaces.
To appear in Studia Logica.
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, 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.

2004

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.

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

2001

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.

2000

O. Kutz. Kripke-Typ Semantiken für die modale Prädikatenlogik.
Diplomarbeit, Humboldt Universität zu Berlin, Freie Universität Berlin, 2000.
BibTeX, PDF.

1999

O. Kutz. Modelltheorie und Philosophie.
Unpublished manuscript, 1999.
PDF.