dblp.uni-trier.dewww.uni-trier.de

Oliver Kutz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
18EEOliver Kutz, Till Mossakowski: Conservativity in Structured Ontologies. ECAI 2008: 89-93
17 Joana Hois, Oliver Kutz: Counterparts in Language and Space - Similarity and [Sscr ]-Connection. FOIS 2008: 266-279
16EEOliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann: The OWL in the CASL - Designing Ontologies Across Logics. OWLED 2008
15EEJoana Hois, Oliver Kutz: Natural Language Meets Spatial Calculi. Spatial Cognition 2008: 266-282
2007
14 Peter Haase, Vasant Honavar, Oliver Kutz, York Sure, Andrei Tamilin: Proceedings of the 1st International Workshop on Modular Ontologies, WoMO'06, co-located with the International Semantic Web Conference, ISWC'06 November 5, 2006, Athens, Georgia, USA CEUR-WS.org 2007
13EEOliver Kutz, Till Mossakowski: Modules in Transition - Conservativity, Composition, and Colimits. WoMO 2007
12EEOliver Kutz: Notes on Logics of Metric Spaces. Studia Logica 85(1): 75-104 (2007)
2006
11EEBernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler: Will my Ontologies Fit Together? Description Logics 2006
10 Ian Horrocks, Oliver Kutz, Ulrike Sattler: The Even More Irresistible SROIQ. KR 2006: 57-67
9EECorinna Elsenbroich, Oliver Kutz, Ulrike Sattler: A Case for Abductive Reasoning over Ontologies. OWLED 2006
2005
8EEIan Horrocks, Oliver Kutz, Ulrike Sattler: The Irresistible SRIQ. OWLED 2005
2004
7EEOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)
2003
6EEOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003
5EEOliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev: Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003)
2002
4 Oliver Kutz, Frank Wolter, Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002: 215-226
3 Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Axiomatizing Distance Logics. Journal of Applied Non-Classical Logics 12(3-4): 425-440 (2002)
2001
2EEOliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001
2000
1 Marcus Kracht, Oliver Kutz: The Semantics of Modal Predicate Logic I. Counterpart-Frames. Advances in Modal Logic 2000: 299-320

Coauthor Index

1Corinna Elsenbroich [9]
2Bernardo Cuenca Grau [11]
3Peter Haase [14]
4Joana Hois [15] [17]
5Vasant Honavar [14]
6Ian Horrocks [8] [10] [11]
7Marcus Kracht [1]
8Dominik Lücke [16]
9Carsten Lutz [6] [7]
10Till Mossakowski [13] [16] [18]
11Immanuel Normann [16]
12Ulrike Sattler [8] [9] [10] [11]
13Holger Sturm [3] [5]
14York Sure [14]
15Nobu-Yuki Suzuki [3] [5]
16Andrei Tamilin [14]
17Frank Wolter [2] [3] [4] [5] [6] [7]
18Michael Zakharyaschev [2] [3] [4] [5] [6] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)