C
Carsten Lutz
Researcher at University of Bremen
Publications - 277
Citations - 11255
Carsten Lutz is an academic researcher from University of Bremen. The author has contributed to research in topics: Description logic & Conjunctive query. The author has an hindex of 58, co-authored 264 publications receiving 10752 citations. Previous affiliations of Carsten Lutz include RWTH Aachen University & Vienna University of Technology.
Papers
More filters
Proceedings Article
Pushing the EL envelope
TL;DR: This work identifies a set of expressive means that can be added to EL without sacrificing tractability, and shows that basically all other additions of typical DL constructors to EL with GCIs make subsumption intractable, and in most cases even EXPTIME-complete.
Proceedings Article
Conjunctive query answering for the description logic SHIQ
TL;DR: In this paper, the authors consider conjunctive queries over knowledge bases formulated in the popular DL SHIQ and allow transitive roles in both the query and the knowledge base, and show that query answering is decidable and establish the following complexity bounds.
Journal ArticleDOI
ε-connections of abstract description systems
TL;DR: This paper proposes a new combination method which is computationally robust in the sense that the combination of decidable formalisms is again decidable, and which, nonetheless, allows non-trivial interactions between the combined components.
Proceedings ArticleDOI
Temporal Description Logics: A Survey
TL;DR: This work surveys temporal description logics that are based on standard temporal logics such as LTL and CTL and focuses on the computational complexity of the satisfiability problem and algorithms for deciding it.
Proceedings Article
Conjunctive query answering in the description logic EL using a relational database system
TL;DR: A novel approach to CQ answering that enables the use of standard relational database systems as the basis for query execution is proposed.