Oliver Kutz
TitleCited byYear
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
10772006
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
10572006
E-Connections of Abstract Description Systems
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Artificial intelligence 156 (1), 1-73, 2004
2972004
Connecting abstract description systems
O Kutz, F Wolter, M Zakharyaschev.
8th International Conference of Principles of Knowledge Representation and …, 2002
2972002
A Case for Abductive Reasoning over Ontologies.
C Elsenbroich, O Kutz, U Sattler
OWLED 216, 2006
1322006
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
862010
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
672012
Coinvent: Towards a computational concept invention theory
M Schorlemmer, A Smaill, KU Kühnberger, O Kutz, S Colton, ...
662014
Modular Ontologies for Architectural Design.
J Hois, M Bhatt, O Kutz
FOMI, 66-77, 2009
582009
E-connections of description logics
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Description Logics Workshop, CEUR-WS Vol 81, 2003
53*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
512011
Three Semantics for the Core of the Distributed Ontology Language
T Mossakowski, C Lange, O Kutz
Formal Ontology in Information Systems, FOIS 2012, 2012
482012
The Irresistible SRIQ.
I Horrocks, O Kutz, U Sattler
OWLED, 2005
482005
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
39*2015
The distributed ontology, modeling and specification language–DOL
T Mossakowski, M Codescu, F Neuhaus, O Kutz
The Road to Universal Logic, 489-520, 2015
382015
A computational framework for conceptual blending
M Eppe, E Maclean, R Confalonieri, O Kutz, M Schorlemmer, E Plaza, ...
Artificial Intelligence 256, 105-129, 2018
372018
A modular consistency proof for DOLCE
O Kutz, T Mossakowski
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
332011
Natural language meets spatial calculi
J Hois, O Kutz
International Conference on Spatial Cognition, 266-282, 2008
332008
The system can't perform the operation now. Try again later.
Articles 1–20