Kamu erişimi zorunlu olan makaleler - Carsten LutzDaha fazla bilgi edinin
Hiçbir yerde sunulmuyor: 2
Description logic actions with general TBoxes: a pragmatic approach
H Liu
Deutsche Nationalbibliothek, 2006
Zorunlu olanlar: German Research Foundation
Description Logic Actions with general TBoxes
H Liu, C Lutz, M Miličić, F Wolter
Zorunlu olanlar: German Research Foundation
Bir yerde sunuluyor: 64
Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP
M Bienvenu, BT Cate, C Lutz, F Wolter
ACM Transactions on Database Systems (TODS) 39 (4), 1-44, 2014
Zorunlu olanlar: German Research Foundation
The combined approach to ontology-based data access
R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev
AAAI Press, 2011
Zorunlu olanlar: German Research Foundation
Updating description logic ABoxes
H Liu, C Lutz, M Milicic, F Wolter
KR 6, 46-56, 2006
Zorunlu olanlar: German Research Foundation
Model-theoretic inseparability and modularity of description logic ontologies
B Konev, C Lutz, D Walther, F Wolter
Artificial Intelligence 203, 66-103, 2013
Zorunlu olanlar: German Research Foundation, UK Engineering and Physical Sciences Research …
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.
C Lutz, I Seylan, F Wolter
KR, 2012
Zorunlu olanlar: German Research Foundation
Non-Uniform Data Complexity of Query Answering in Description Logics.
C Lutz, F Wolter
KR, 2012
Zorunlu olanlar: German Research Foundation
Query Answering in Description Logics with Transitive Roles.
T Eiter, C Lutz, M Ortiz, M Simkus
IJCAI 9, 759-764, 2009
Zorunlu olanlar: Austrian Science Fund
Ontology-Based Data Access with Closed Predicates is Inherently Intractable (Sometimes).
C Lutz, I Seylan, F Wolter
IJCAI, 1024-1030, 2013
Zorunlu olanlar: German Research Foundation
Ontology-based access to probabilistic data with OWL QL
JC Jung, C Lutz
International semantic web conference, 182-197, 2012
Zorunlu olanlar: German Research Foundation
Exact learning of lightweight description logic ontologies
B Konev, C Lutz, A Ozaki, F Wolter
Journal of Machine Learning Research 18 (201), 1-63, 2018
Zorunlu olanlar: German Research Foundation, UK Engineering and Physical Sciences Research …
Learning description logic concepts: when can positive and negative examples be separated?
M Funk, JC Jung, C Lutz, H Pulcini, F Wolter
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
Zorunlu olanlar: German Research Foundation
Reasoning about actions using description logics with general TBoxes
H Liu, C Lutz, M Miličić, F Wolter
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006
Zorunlu olanlar: German Research Foundation
Inseparability and conservative extensions of description logic ontologies: A survey
E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query …, 2017
Zorunlu olanlar: UK Engineering and Physical Sciences Research Council, European Commission
First-Order Rewritability of Atomic Queries in Horn Description Logics.
M Bienvenu, C Lutz, F Wolter
IJCAI, 754-760, 2013
Zorunlu olanlar: German Research Foundation
Foundations of instance level updates in expressive description logics
H Liu, C Lutz, M Miličić, F Wolter
Artificial Intelligence 175 (18), 2170-2197, 2011
Zorunlu olanlar: German Research Foundation
PDL with intersection and converse: satisfiability and infinite-state model checking
S Göller, M Lohrey, C Lutz
The Journal of Symbolic Logic 74 (1), 279-314, 2009
Zorunlu olanlar: German Research Foundation
Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics
C Feier, A Kuusisto, C Lutz
Logical Methods in Computer Science 15, 2019
Zorunlu olanlar: European Commission
Query Containment in Description Logics Reconsidered.
M Bienvenu, C Lutz, F Wolter
KR, 2012
Zorunlu olanlar: German Research Foundation
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir