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

Oliver Kutz Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Thomas Schneider: Modular Ontologies - Proceedings of the Fifth International Workshop, WoMO 2011, Ljubljana, Slovenia, August 2011 IOS Press 2011
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Till Mossakowski: A Modular Consistency Proof for DOLCE. AAAI 2011
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau: DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS 2011: 88-107
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Till Mossakowski, Janna Hastings, Alexander García Castro, Aleksandra Sojic: Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. ICBO 2011
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Oliver Kutz: The Onto-Logical Translation Graph. WoMO 2011: 94-109
2010
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman: Towards Ontological Blending. AIMSA 2010: 263-264
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehul Bhatt, Joana Hois, Oliver Kutz, Frank Dylla: Modelling Functional Requirements in Spatial Design. ER 2010: 464-470
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther: Chinese whispers and connected alignments. OM 2010
2009
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoana Hois, Mehul Bhatt, Oliver Kutz: Modular Ontologies for Architectural Design. FOMI 2009: 66-77
2008
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Till Mossakowski: Conservativity in Structured Ontologies. ECAI 2008: 89-93
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoana Hois, Oliver Kutz: Counterparts in Language and Space - Similarity and [Sscr ]-Connection. FOIS 2008: 266-279
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann: The OWL in the CASL - Designing Ontologies Across Logics. OWLED 2008
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoana Hois, Oliver Kutz: Natural Language Meets Spatial Calculi. Spatial Cognition 2008: 266-282
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Till Mossakowski, Mihai Codescu: Shapes of Alignments - Construction, Combination, and Computation. WoMO 2008
2007
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Till Mossakowski: Modules in Transition - Conservativity, Composition, and Colimits. WoMO 2007
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz: Notes on Logics of Metric Spaces. Studia Logica 85(1): 75-104 (2007)
2006
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler: Will my Ontologies Fit Together? Description Logics 2006
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Oliver Kutz, Ulrike Sattler: The Even More Irresistible SROIQ. KR 2006: 57-67
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorinna Elsenbroich, Oliver Kutz, Ulrike Sattler: A Case for Abductive Reasoning over Ontologies. OWLED 2006
2005
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Oliver Kutz, Ulrike Sattler: The Irresistible SRIQ. OWLED 2005
2004
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)
2003
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev: Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003)
2002
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Frank Wolter, Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002: 215-226
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001
2000
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus Kracht, Oliver Kutz: The Semantics of Modal Predicate Logic I. Counterpart-Frames. Advances in Modal Logic 2000: 299-320

Coauthor Index

1Jie Bao [24]
2John A. Bateman [23]
3Mehul Bhatt [20] [22]
4Alexander García Castro [26]
5Mihai Codescu [15] [27]
6Frank Dylla [22]
7Corinna Elsenbroich [9]
8Bernardo Cuenca Grau [11] [24]
9Michael Grüninger (Michael Gruninger) [30]
10Peter Haase [14]
11Janna Hastings [26]
12Joana Hois [16] [18] [20] [22] [23] [24]
13Vasant Honavar [14]
14Ian Horrocks [8] [10] [11]
15Gregor Horsinka [27]
16Marcus Kracht [1]
17Christoph Lange [30]
18Dominik Lücke [17]
19Carsten Lutz [6] [7]
20Till Mossakowski [13] [15] [17] [19] [21] [23] [25] [26] [27] [28] [30]
21Immanuel Normann [17] [21]
22Rafaela Rau [27]
23Ulrike Sattler [8] [9] [10] [11]
24Thomas Schneider [29]
25Aleksandra Sojic [26]
26Holger Sturm [3] [5]
27York Sure-Vetter (York Sure) [14]
28Nobu-Yuki Suzuki [3] [5]
29Andrei Tamilin [14]
30Dirk Walther [21]
31Frank Wolter [2] [3] [4] [5] [6] [7]
32Michael Zakharyaschev [2] [3] [4] [5] [6] [7]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page