Oliver Kutz
Titel
Citeras av
Citeras av
År
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
11572006
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
11362006
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
OWLED 216, 2006
1482006
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
952010
Coinvent: Towards a computational concept invention theory
M Schorlemmer, A Smaill, KU Kühnberger, O Kutz, S Colton, ...
772014
Modular ontology languages revisited
B Cuenca-Grau, O Kutz
Proc. of the Workshop on Semantic Web for Collaborative Knowledge Acquisition, 2007
75*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
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
612011
Ontological Modelling of Form and Function for Architectural Design
M Bhatt, J Hois, O Kutz
Applied Ontology 1, 32, 2012
602012
Modular Ontologies for Architectural Design.
J Hois, M Bhatt, O Kutz
FOMI, 66-77, 2009
602009
E-connections of description logics
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Description Logics Workshop, CEUR-WS Vol 81, 2003
55*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
542012
A computational framework for conceptual blending
M Eppe, E Maclean, R Confalonieri, O Kutz, M Schorlemmer, E Plaza, ...
Artificial Intelligence 256, 105-129, 2018
532018
The Irresistible SRIQ.
I Horrocks, O Kutz, U Sattler
OWLED, 2005
492005
The distributed ontology, modeling and specification language–DOL
T Mossakowski, M Codescu, F Neuhaus, O Kutz
The road to universal logic, 489-520, 2015
482015
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
45*2015
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
382015
Natural language meets spatial calculi
J Hois, O Kutz
International Conference on Spatial Cognition, 266-282, 2008
372008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20