Oliver Kutz
TitleCited byYear
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
10442006
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
10242006
E-Connections of Abstract Description Systems
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Artificial intelligence 156 (1), 1-73, 2004
2952004
Connecting abstract description systems
O Kutz, F Wolter, M Zakharyaschev.
8th International Conference of Principles of Knowledge Representation and …, 2002
2952002
A Case for Abductive Reasoning over Ontologies.
C Elsenbroich, O Kutz, U Sattler
OWLED 216, 2006
1282006
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
O Kutz, T Mossakowski, D Lücke
Logica Universalis, 1-79, 2010
852010
Modular ontology languages revisited
BC Grau, O Kutz
73*2007
Logics of metric spaces
O Kutz, F Wolter, H Sturm, NY Suzuki, M Zakharyaschev
ACM Transactions on Computational Logic (TOCL) 4 (2), 260-294, 2003
712003
Ontological Modelling of Form and Function for Architectural Design
M Bhatt, J Hois, O Kutz
Applied Ontology 1, 32, 2012
662012
Coinvent: Towards a computational concept invention theory
M Schorlemmer, A Smaill, KU Kühnberger, O Kutz, S Colton, ...
652014
Modular Ontologies for Architectural Design.
J Hois, M Bhatt, O Kutz
FOMI, 66-77, 2009
572009
E-connections of description logics
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Description Logics Workshop, CEUR-WS Vol 81, 2003
52*2003
Osmonto-an ontology of openstreetmap tags
M Codescu, G Horsinka, O Kutz, T Mossakowski, R Rau
State of the map Europe (SOTM-EU) 2011, 2011
472011
Three Semantics for the Core of the Distributed Ontology Language
T Mossakowski, C Lange, O Kutz
Formal Ontology in Information Systems, FOIS 2012, 2012
462012
The Irresistible SRIQ.
I Horrocks, O Kutz, U Sattler
OWLED, 2005
462005
E pluribus unum: Formalisation, use-cases, and computational support for conceptual blending
O Kutz, J Bateman, F Neuhaus, T Mossakowski, M Bhatt
In Tarek R. Besold, Marco Schorlemmer, and Allain Smaill, editors …, 2015
37*2015
Natural language meets spatial calculi
J Hois, O Kutz
International Conference on Spatial Cognition, 266-282, 2008
332008
Will my ontologies fit together?
BC Grau, I Horrocks, O Kutz, U Sattler
332006
The Distributed Ontology, Modeling and Specification Language.
T Mossakowski, O Kutz, M Codescu, C Lange
WoMo, 2013
322013
A modular consistency proof for DOLCE
O Kutz, T Mossakowski
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
322011
The system can't perform the operation now. Try again later.
Articles 1–20