Oliver Kutz
Titel
Zitiert von
Zitiert von
Jahr
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
11442006
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
11232006
E-Connections of Abstract Description Systems
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Artificial intelligence 156 (1), 1-73, 2004
3062004
Connecting abstract description systems
O Kutz, F Wolter, M Zakharyaschev.
8th International Conference of Principles of Knowledge Representation and …, 2002
3062002
A case for abductive reasoning over ontologies
C Elsenbroich, O Kutz, U Sattler
CEUR, 2006
1462006
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
912010
Coinvent: Towards a computational concept invention theory
M Schorlemmer, A Smaill, KU Kühnberger, O Kutz, S Colton, ...
742014
Modular ontology languages revisited
BC Grau, O Kutz
74*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
742003
Ontological Modelling of Form and Function for Architectural Design
M Bhatt, J Hois, O Kutz
Applied Ontology 1, 32, 2012
732012
Modular Ontologies for Architectural Design.
J Hois, M Bhatt, O Kutz
FOMI, 66-77, 2009
612009
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
572011
E-connections of description logics
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Description Logics Workshop, CEUR-WS Vol 81, 2003
53*2003
Three Semantics for the Core of the Distributed Ontology Language
T Mossakowski, C Lange, O Kutz
Formal Ontology in Information Systems, FOIS 2012, 2012
522012
A computational framework for conceptual blending
M Eppe, E Maclean, R Confalonieri, O Kutz, M Schorlemmer, E Plaza, ...
Artificial Intelligence 256, 105-129, 2018
492018
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
44*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
442015
Choosing the right path: image schema theory as a foundation for concept invention
MM Hedblom, O Kutz, F Neuhaus
Journal of Artificial General Intelligence 6 (1), 21-54, 2015
372015
Counterparts in Language and Space: Similarity and S-Connection
J Hois, O Kutz
Proceeding of the 2008 conference on Formal Ontology in Information Systems …, 2008
36*2008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20