| 2009 |
19 | | Joana Hois,
Mehul Bhatt,
Oliver Kutz:
Modular Ontologies for Architectural Design.
FOMI 2009: 66-77 |
| 2008 |
18 | | Oliver 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 |
16 | | Oliver Kutz,
Dominik Lücke,
Till Mossakowski,
Immanuel Normann:
The OWL in the CASL - Designing Ontologies Across Logics.
OWLED 2008 |
15 | | Joana 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 |
13 | | Oliver Kutz,
Till Mossakowski:
Modules in Transition - Conservativity, Composition, and Colimits.
WoMO 2007 |
12 | | Oliver Kutz:
Notes on Logics of Metric Spaces.
Studia Logica 85(1): 75-104 (2007) |
| 2006 |
11 | | Bernardo 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 |
9 | | Corinna Elsenbroich,
Oliver Kutz,
Ulrike Sattler:
A Case for Abductive Reasoning over Ontologies.
OWLED 2006 |
| 2005 |
8 | | Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
The Irresistible SRIQ.
OWLED 2005 |
| 2004 |
7 | | Oliver Kutz,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
E-connections of abstract description systems.
Artif. Intell. 156(1): 1-73 (2004) |
| 2003 |
6 | | Oliver Kutz,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
E-connections of Description Logics.
Description Logics 2003 |
5 | | Oliver 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 |
2 | | Oliver 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 |