Oliver Kutz
Citata da
Citata da
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
E-Connections of Abstract Description Systems
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Artificial intelligence 156 (1), 1-73, 2004
Connecting abstract description systems
O Kutz, F Wolter, M Zakharyaschev.
8th International Conference of Principles of Knowledge Representation andá…, 2002
A Case for Abductive Reasoning over Ontologies.
C Elsenbroich, O Kutz, U Sattler
OWLED 216, 2006
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
Coinvent: Towards a computational concept invention theory
M Schorlemmer, A Smaill, KU KŘhnberger, O Kutz, S Colton, ...
Modular ontology languages revisited
B Cuenca-Grau, O Kutz
Proc. of the Workshop on Semantic Web for Collaborative Knowledge Acquisition, 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
A computational framework for conceptual blending
M Eppe, E Maclean, R Confalonieri, O Kutz, M Schorlemmer, E Plaza, ...
Artificial Intelligence 256, 105-129, 2018
Osmonto-an ontology of openstreetmap tags
M Codescu, G Horsinka, O Kutz, T Mossakowski, R Rau
State of the map Europe (SOTM-EU) 2011, 23-24, 2011
Modular Ontologies for Architectural Design.
J Hois, M Bhatt, O Kutz
FOMI, 66-77, 2009
Ontological Modelling of Form and Function for Architectural Design
M Bhatt, J Hois, O Kutz
Applied Ontology 1, 32, 2012
E-connections of description logics
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Description Logics Workshop, CEUR-WS Vol 81, 2003
The distributed ontology, modeling and specification language–DOL
T Mossakowski, M Codescu, F Neuhaus, O Kutz
The Road to Universal Logic, 489-520, 2015
Three Semantics for the Core of the Distributed Ontology Language
T Mossakowski, C Lange, O Kutz
Formal Ontology in Information Systems, FOIS 2012, 2012
The Irresistible SRIQ.
I Horrocks, O Kutz, U Sattler
OWLED, 2005
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
Repairing ontologies via axiom weakening
N Troquard, R Confalonieri, P Galliani, R Penaloza, D Porello, O Kutz
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention.
MM Hedblom, O Kutz, F Neuhaus
J. Artif. Gen. Intell. 6 (1), 21-54, 2015
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20