Följ
Carsten Lutz
Carsten Lutz
Professor of Computer Science, University of Leipzig
Verifierad e-postadress på informatik.uni-leipzig.de
Titel
Citeras av
Citeras av
År
Pushing the EL envelope
F Baader, S Brandt, C Lutz
Technische Universität Dresden, 2005
14572005
OWL 2 Web Ontology Language: Profiles
B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz
W3C recommendation 27, 61, 2009
7372009
Introduction to description logic
F Baader, I Horrocks, C Lutz, U Sattler
Cambridge University Press, 2017
5302017
Pushing the EL Envelope Further
F Baader, S Brandt, C Lutz
3482008
Conjunctive query answering for the description logic SHIQ
B Glimm, I Horrocks, C Lutz, U Sattler
Journal of Artificial Intelligence Research 31, 157-204, 2008
3192008
E-connections of abstract description systems
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Artificial intelligence 156 (1), 1-73, 2004
3192004
NEXPTIME-complete description logics with concrete domains
C Lutz
ACM Transactions on Computational Logic (TOCL) 5 (4), 669-705, 2004
3162004
Did I damage my ontology? A Case for Conservative Extensions in Description Logics
S Ghilardi, C Lutz, F Wolter
Proc. of KR2006, 187-197, 2006
2912006
Temporal description logics: A survey
C Lutz, F Wolter, M Zakharyaschev
2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008
2842008
CEL — A Polynomial-Time Reasoner for Life Science Ontologies
F Baader, C Lutz, B Suntisrivaraporn
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
2702006
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.
C Lutz, D Toman, F Wolter
IJCAI 9, 2070-2075, 2009
2672009
Conservative Extensions in Expressive Description Logics.
C Lutz, D Walther, F Wolter
IJCAI 7, 453-458, 2007
2532007
Integrating Description Logics and Action Formalisms: First Results.
F Baader, C Lutz, M Milicic, U Sattler, F Wolter
AAAI 5, 572-577, 2005
2302005
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
2252014
The Combined Approach to Query Answering in DL-Lite.
R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev
KR 10, 247-257, 2010
1992010
Complexity and succinctness of public announcement logic
C Lutz
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
1822006
The combined approach to ontology-based data access
R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev
AAAI Press, 2011
1752011
Deciding inseparability and conservative extensions in the description logic EL
C Lutz, F Wolter
Journal of Symbolic Computation 45 (2), 194-228, 2010
1732010
Foundations for uniform interpolation and forgetting in expressive description logics
C Lutz, F Wolter
arXiv preprint arXiv:1104.2825, 2011
1682011
Updating description logic ABoxes
H Liu, C Lutz, M Milicic, F Wolter
KR 6, 46-56, 2006
1642006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20