 | 2012 |
| 30 |  | Christoph Lange,
Oliver Kutz,
Till Mossakowski,
Michael Grüninger:
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
CoRR abs/1204.5093: (2012) |
| 2011 |
| 29 |  | Oliver Kutz,
Thomas Schneider:
Modular Ontologies - Proceedings of the Fifth International Workshop, WoMO 2011, Ljubljana, Slovenia, August 2011
IOS Press 2011 |
| 28 |  | Oliver Kutz,
Till Mossakowski:
A Modular Consistency Proof for DOLCE.
AAAI 2011 |
| 27 |  | Mihai Codescu,
Gregor Horsinka,
Oliver Kutz,
Till Mossakowski,
Rafaela Rau:
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap.
GeoS 2011: 88-107 |
| 26 |  | Oliver Kutz,
Till Mossakowski,
Janna Hastings,
Alexander García Castro,
Aleksandra Sojic:
Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples.
ICBO 2011 |
| 25 |  | Till Mossakowski,
Oliver Kutz:
The Onto-Logical Translation Graph.
WoMO 2011: 94-109 |
| 2010 |
| 24 |  | Oliver Kutz,
Joana Hois,
Jie Bao,
Bernardo Cuenca Grau:
Modular Ontologies - Proceedings of the Fourth International Workshop, WoMO 2010, Toronto, ON, Canada, May 11, 2010
IOS Press 2010 |
| 23 |  | Joana Hois,
Oliver Kutz,
Till Mossakowski,
John A. Bateman:
Towards Ontological Blending.
AIMSA 2010: 263-264 |
| 22 |  | Mehul Bhatt,
Joana Hois,
Oliver Kutz,
Frank Dylla:
Modelling Functional Requirements in Spatial Design.
ER 2010: 464-470 |
| 21 |  | Oliver Kutz,
Immanuel Normann,
Till Mossakowski,
Dirk Walther:
Chinese whispers and connected alignments.
OM 2010 |
| 2009 |
| 20 |  | Joana Hois,
Mehul Bhatt,
Oliver Kutz:
Modular Ontologies for Architectural Design.
FOMI 2009: 66-77 |
| 2008 |
| 19 |  | Oliver Kutz,
Till Mossakowski:
Conservativity in Structured Ontologies.
ECAI 2008: 89-93 |
| 18 |  | Joana Hois,
Oliver Kutz:
Counterparts in Language and Space - Similarity and [Sscr ]-Connection.
FOIS 2008: 266-279 |
| 17 |  | Oliver Kutz,
Dominik Lücke,
Till Mossakowski,
Immanuel Normann:
The OWL in the CASL - Designing Ontologies Across Logics.
OWLED 2008 |
| 16 |  | Joana Hois,
Oliver Kutz:
Natural Language Meets Spatial Calculi.
Spatial Cognition 2008: 266-282 |
| 15 |  | Oliver Kutz,
Till Mossakowski,
Mihai Codescu:
Shapes of Alignments - Construction, Combination, and Computation.
WoMO 2008 |
| 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 |