Carsten Lutz
University of Bremen
278 Papers
3.4K Citations
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. Previous affiliations of Carsten Lutz include RWTH Aachen University & Vienna University of Technology.
Chat about Author
Papers
Quantitative temporal logics: PSpace and below
Carsten Lutz,Dirk Walther,Frank Wolter +2 more
- 23 Jun 2005
TL;DR: It is shown that the language obtained by extending since/until logic of the real line with the operators 'sometime within n time units', n coded in binary, is PSpace-complete even without the finite variability assumption.
Holding a Conference Online and Live due to Covid-19: Experiences and Lessons Learned from EDBT / ICDT 2020
Angela Bonifati,Giovanna Guerrini,Carsten Lutz,Wim Martens,Lara Mazilu,Norman W. Paton,Marcos Antonio Vaz Salles,Marc H. Scholl,Yongluan Zhou +8 more
- 10 Mar 2021
TL;DR: One of the first conferences that moved to a fully synchronous online experience due to the COVID- 19 outbreak is shared, which means that participants jointly listened to presentations, had live Q&A, and attended other live events associated with the conference.
18
Querying the Unary Negation Fragment with Regular Path Expressions.
Jean Christoph Jung,Carsten Lutz,Mauricio Martel,Thomas Schneider +3 more
- 01 Jan 2018
TL;DR: This paper considers the natural extension of UNFO with regular expressions on binary relations and finds that the resulting logic UNFOreg can express (unions of) conjunctive two-way regular path queries (C2RPQs) and ontologies formulated in DLs that include transitive roles andregular expressions on roles.
17
•Journal Article
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
TL;DR: This work studies the fundamental question of when a separating DL concept exists and provides useful model-theoretic characterizations as well as complexity results for the associated decision problem.
A Basic Description Logic
Franz Baader,Ian Horrocks,Carsten Lutz,Uli Sattler +3 more
- 01 Apr 2017
TL;DR: This section describes the central notions of Description Logic first on an intuitive level and then on a more precise level, and the way of viewing university teaching in a DL knowledge base is described.
17