 | 2010 |
|---|
| 102 |       | Carsten Lutz,
Frank Wolter:
Deciding inseparability and conservative extensions in the description logic EL.
J. Symb. Comput. 45(2): 194-228 (2010) |
| 2009 |
|---|
| 101 | | Roman Kontchakov,
Carsten Lutz,
David Toman,
Frank Wolter,
Michael Zakharyaschev:
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.
Description Logics 2009 |
| 100 | | Franz Baader,
Meghyn Bienvenu,
Carsten Lutz,
Frank Wolter:
Query Answering over DL ABoxes: How to Pick the Relevant Symbols.
Description Logics 2009 |
| 99 | | Carsten Lutz,
David Toman,
Frank Wolter:
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.
IJCAI 2009: 2070-2075 |
| 98 | | Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
Mantas Simkus:
Query Answering in Description Logics with Transitive Roles.
IJCAI 2009: 759-764 |
| 97 | | Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
Mantas Simkus:
Query Answering in Description Logics: The Knots Approach.
WoLLIC 2009: 26-36 |
| 96 | | Carsten Lutz,
Frank Wolter:
Mathematical Logic for Life Science Ontologies.
WoLLIC 2009: 37-47 |
| 95 | | Boris Konev,
Carsten Lutz,
Dirk Walther,
Frank Wolter:
Formal Properties of Modularisation.
Modular Ontologies 2009: 25-66 |
| 94 | | Balder ten Cate,
Carsten Lutz:
The complexity of query containment in expressive fragments of XPath 2.0.
J. ACM 56(6): (2009) |
| 2008 |
|---|
| 93 |  | Franz Baader,
Carsten Lutz,
Boris Motik:
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008
CEUR-WS.org 2008 |
| 92 | | Steffen Hölldobler,
Carsten Lutz,
Heinrich Wansing:
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings
Springer 2008 |
| 91 | | Franz Baader,
Silvio Ghilardi,
Carsten Lutz:
LTL over Description Logic Axioms.
Description Logics 2008 |
| 90 | | Boris Konev,
Carsten Lutz,
Dirk Walther,
Frank Wolter:
Logical Difference and Module Extraction with CEX and MEX.
Description Logics 2008 |
| 89 | | Hongkai Liu,
Carsten Lutz,
Maja Milicic:
The Projection Problem for EL Actions.
Description Logics 2008 |
| 88 | | Carsten Lutz:
Two Upper Bounds for Conjunctive Query Answering in SHIQ.
Description Logics 2008 |
| 87 | | Christoph Haase,
Carsten Lutz:
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes.
ECAI 2008: 25-29 |
| 86 | | Boris Konev,
Carsten Lutz,
Dirk Walther,
Frank Wolter:
Semantic Modularity and Module Extraction in Description Logics.
ECAI 2008: 55-59 |
| 85 | | Carsten Lutz:
The Complexity of Conjunctive Query Answering in Expressive Description Logics.
IJCAR 2008: 179-193 |
| 84 | | Franz Baader,
Silvio Ghilardi,
Carsten Lutz:
LTL over Description Logic Axioms.
KR 2008: 684-694 |
| 83 | | Carsten Lutz,
David Toman,
Frank Wolter:
Conjunctive Query Answering in EL using a Database System.
OWLED 2008 |
| 82 | | Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Temporal Description Logics: A Survey.
TIME 2008: 3-14 |
| 81 | | Piero A. Bonatti,
Carsten Lutz,
Aniello Murano,
Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi
CoRR abs/0809.0360: (2008) |
| 80 | | Birte Glimm,
Carsten Lutz,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.
J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008) |
| 79 | | Piero A. Bonatti,
Carsten Lutz,
Aniello Murano,
Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi.
Logical Methods in Computer Science 4(3): (2008) |
| 2007 |
|---|
| 78 | | Stefan Göller,
Markus Lohrey,
Carsten Lutz:
PDL with Intersection and Converse is 2EXP-complete.
Algorithmic-Logical Theory of Infinite Structures 2007 |
| 77 | | Carsten Lutz,
Frank Wolter:
Conservative Extensions in the Lightweight Description Logic EL.
CADE 2007: 84-99 |
| 76 | | Adila Krisnadhi,
Carsten Lutz:
Data Complexity in the EL family of DLs.
Description Logics 2007 |
| 75 | | Carsten Lutz:
Inverse Roles Make Conjunctive Queries Hard.
Description Logics 2007 |
| 74 | | Stefan Göller,
Markus Lohrey,
Carsten Lutz:
PDL with Intersection and Converse Is 2 EXP-Complete.
FoSSaCS 2007: 198-212 |
| 73 | | Alessandro Artale,
Carsten Lutz,
David Toman:
A Description Logic of Change.
IJCAI 2007: 218-223 |
| 72 | | Birte Glimm,
Ian Horrocks,
Carsten Lutz,
Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.
IJCAI 2007: 399-404 |
| 71 | | Carsten Lutz,
Dirk Walther,
Frank Wolter:
Conservative Extensions in Expressive Description Logics.
IJCAI 2007: 453-458 |
| 70 | | Adila Krisnadhi,
Carsten Lutz:
Data Complexity in the EL Family of Description Logics.
LPAR 2007: 333-347 |
| 69 | | Balder ten Cate,
Carsten Lutz:
The complexity of query containment in expressive fragments of XPath 2.0.
PODS 2007: 73-82 |
| 68 | | Alessandro Artale,
Roman Kontchakov,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Temporalising Tractable Description Logics.
TIME 2007: 11-22 |
| 67 | | Carsten Lutz,
Dirk Walther,
Frank Wolter:
Quantitative temporal logics over the reals: PSpace and below.
Inf. Comput. 205(1): 99-123 (2007) |
| 66 | | Carsten Lutz,
Maja Milicic:
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes.
J. Autom. Reasoning 38(1-3): 227-259 (2007) |
| 65 | | Christof Löding,
Carsten Lutz,
Olivier Serre:
Propositional dynamic logic with recursive programs.
J. Log. Algebr. Program. 73(1-2): 51-69 (2007) |
| 2006 |
|---|
| 64 | | Carsten Lutz:
Complexity and succinctness of public announcement logic.
AAMAS 2006: 137-143 |
| 63 | | Silvio Ghilardi,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Conservative extensions in modal logic.
Advances in Modal Logic 2006: 187-207 |
| 62 | | Alessandro Artale,
Carsten Lutz,
David Toman:
A Description Logic of Change.
Description Logics 2006 |
| 61 | | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
DL Actions with GCIs: a Pragmatic Approach.
Description Logics 2006 |
| 60 | | Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn:
Efficient Reasoning in EL+.
Description Logics 2006 |
| 59 | | Piero A. Bonatti,
Carsten Lutz,
Aniello Murano,
Moshe Y. Vardi:
The Complexity of Enriched µ-Calculi.
ICALP (2) 2006: 540-551 |
| 58 | | Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn:
CEL - A Polynomial-Time Reasoner for Life Science Ontologies.
IJCAR 2006: 287-291 |
| 57 | | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
Reasoning About Actions Using Description Logics with General TBoxes.
JELIA 2006: 266-279 |
| 56 | | Silvio Ghilardi,
Carsten Lutz,
Frank Wolter:
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics.
KR 2006: 187-197 |
| 55 | | Piero A. Bonatti,
Carsten Lutz,
Frank Wolter:
Description Logics with Circumscription.
KR 2006: 400-410 |
| 54 | | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
Updating Description Logic ABoxes.
KR 2006: 46-56 |
| 53 | | Carsten Lutz,
Franz Baader,
Enrico Franconi,
Domenico Lembo,
Ralf Möller,
Riccardo Rosati,
Ulrike Sattler,
Boontawee Suntisrivaraporn,
Sergio Tessaris:
Reasoning Support for Ontology Design.
OWLED 2006 |
| 52 | | Carsten Lutz,
Frank Wolter:
Modal Logics of Topological Relations
CoRR abs/cs/0605064: (2006) |
| 51 | | Dirk Walther,
Carsten Lutz,
Frank Wolter,
Michael Wooldridge:
ATL Satisfiability is Indeed EXPTIME-complete.
J. Log. Comput. 16(6): 765-787 (2006) |
| 50 | | Carsten Lutz,
Frank Wolter:
Modal Logics of Topological Relations.
Logical Methods in Computer Science 2(2): (2006) |
| 2005 |
|---|
| 49 | | Franz Baader,
Carsten Lutz,
Maja Milicic,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
AAAI 2005: 572-577 |
| 48 | | Carsten Lutz:
PDL with Intersection and Converse Is Decidable.
CSL 2005: 413-427 |
| 47 | | Carsten Lutz,
Maja Milicic:
A Tableau Algorithm for DLs with Concrete Domains and GCIs.
Description Logics 2005 |
| 46 | | Franz Baader,
Carsten Lutz,
Eldar Karabaev,
Manfred Theißen:
A new n-ary existential quantifier in description logics.
Description Logics 2005 |
| 45 | | Franz Baader,
Maja Milicic,
Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
Description Logics 2005 |
| 44 | | Franz Baader,
Sebastian Brandt,
Carsten Lutz:
Pushing the EL Envelope.
IJCAI 2005: 364-369 |
| 43 | | Franz Baader,
Eldar Karabaev,
Carsten Lutz,
Manfred Theißen:
A New n-Ary Existential Quantifier in Description Logics.
KI 2005: 18-33 |
| 42 | | Carsten Lutz,
Maja Milicic:
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.
TABLEAUX 2005: 201-216 |
| 41 | | Carsten Lutz,
Dirk Walther,
Frank Wolter:
Quantitative Temporal Logics: PSPACE and Below.
TIME 2005: 138-146 |
| 40 | | Carsten Lutz,
Ulrike Sattler,
Lidia Tendera:
The complexity of finite model reasoning in description logics.
Inf. Comput. 199(1-2): 132-171 (2005) |
| 39 | | Carsten Lutz,
Carlos Areces,
Ian Horrocks,
Ulrike Sattler:
Keys, Nominals, and Concrete Domains.
J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005) |
| 38 | | Carsten Lutz,
Dirk Walther:
PDL with Negation of Atomic Programs.
Journal of Applied Non-Classical Logics 15(2): 189-213 (2005) |
| 2004 |
|---|
| 37 | | Eldar Karabaev,
Carsten Lutz:
Mona as a DL Reasoner.
Description Logics 2004 |
| 36 | | Carsten Lutz,
Maja Milicic:
Description Logics with Concrete Domains and Functional Dependencies.
ECAI 2004: 378-382 |
| 35 | | Carsten Lutz,
Dirk Walther:
PDL with Negation of Atomic Programs.
IJCAR 2004: 259-273 |
| 34 | | Carsten Lutz:
NEXP TIME-complete description logics with concrete domains.
ACM Trans. Comput. Log. 5(4): 669-705 (2004) |
| 33 | | Carsten Lutz:
Combining interval-based temporal reasoning with general TBoxes.
Artif. Intell. 152(2): 235-274 (2004) |
| 32 | | Oliver Kutz,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
E-connections of abstract description systems.
Artif. Intell. 156(1): 1-73 (2004) |
| 31 | | Alessandro Artale,
Carsten Lutz:
A Correspondence between Temporal Description Logics.
Journal of Applied Non-Classical Logics 14(1-2): 209-233 (2004) |
| 30 | | Roman Kontchakov,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Temporalising Tableaux.
Studia Logica 76(1): 91-134 (2004) |
| 2003 |
|---|
| 29 | | François Bry,
Carsten Lutz,
Ulrike Sattler,
Mareike Schoop:
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003
CEUR-WS.org 2003 |
| 28 | | Carsten Lutz,
Ulrike Sattler,
Lidia Tendera:
The Complexity of Finite Model Reasoning in Description Logics.
CADE 2003: 60-74 |
| 27 | | Oliver Kutz,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
E-connections of Description Logics.
Description Logics 2003 |
| 26 | | Carsten Lutz,
Ulrike Sattler,
Lidia Tendera:
Finite Model Reasoning in ALCQI is EXPTIME Logics.
Description Logics 2003 |
| 25 | | Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Resasoning about Concepts and Similarity.
Description Logics 2003 |
| 24 | | Carsten Lutz,
Carlos Areces,
Ian Horrocks,
Ulrike Sattler:
Keys, Nominals, and Concrete Domains.
IJCAI 2003: 349-354 |
| 23 | | Franz Baader,
Jan Hladik,
Carsten Lutz,
Frank Wolter:
From Tableaux to Automata for Description Logics.
LPAR 2003: 1-32 |
| 22 | | Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
A Tableau Algorithm for Reasoning about Concepts and Similarity.
TABLEAUX 2003: 134-149 |
| 21 | | Franz Baader,
Jan Hladik,
Carsten Lutz,
Frank Wolter:
From Tableaux to Automata for Description Logics.
Fundam. Inform. 57(2-4): 247-279 (2003) |
| 2002 |
|---|
| 20 | | Carsten Lutz:
Description Logics with Concrete Domains-A Survey.
Advances in Modal Logic 2002: 265-296 |
| 19 | | Carsten Lutz:
Adding Numbers to the SHIQ Description Logic: First Results.
KR 2002: 191-202 |
| 18 | | Franz Baader,
Carsten Lutz,
Holger Sturm,
Frank Wolter:
Fusions of Description Logics and Abstract Description Systems.
J. Artif. Intell. Res. (JAIR) 16: 1-58 (2002) |
| 17 | | Carsten Lutz:
PSpace Reasoning with the Description Logic ALCF(D).
Logic Journal of the IGPL 10(5): 535-568 (2002) |
| 16 | | Carsten Lutz,
Holger Sturm,
Frank Wolter,
Michael Zakharyaschev:
A Tableau Decision Algorithm for Modalized ALC with Constant Domains.
Studia Logica 72(2): 199-232 (2002) |
| 2001 |
|---|
| 15 | | Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Modal Logic and the Two-Variable Fragment.
CSL 2001: 247-261 |
| 14 | | Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Description Logics and the Two-Variable Fragment.
Description Logics 2001 |
| 13 | | Carsten Lutz:
Interval-based Temporal Reasoning with General TBoxes.
IJCAI 2001: 89-96 |
| 12 | | Carsten Lutz,
Holger Sturm,
Frank Wolter,
Michael Zakharyaschev:
Tableaux for Temporal Description Logic with Constant Domains.
IJCAR 2001: 121-136 |
| 11 | | Carsten Lutz:
NEXPTIME-Complete Description Logics with Concrete Domains.
IJCAR 2001: 45-60 |
| 2000 |
|---|
| 10 | | Carsten Lutz,
Ulrike Sattler:
The Complexity of Reasoning with Boolean Modal Logics.
Advances in Modal Logic 2000: 329-348 |
| 9 | | Franz Baader,
Carsten Lutz,
Holger Sturm,
Frank Wolter:
Fusions of Description Logics.
Description Logics 2000: 21-30 |
| 8 | | Carsten Lutz,
Ulrike Sattler:
Mary Likes all Cats.
Description Logics 2000: 213-226 |
| 1999 |
|---|
| 7 | | Alessandro Artale,
Carsten Lutz:
A Correspondence between Temporal Description Logics.
Description Logics 1999 |
| 6 | | Carsten Lutz,
Ulrike Sattler,
Stephan Tobies:
A Suggestion for an n-ary Description Logic.
Description Logics 1999 |
| 5 | | Carsten Lutz:
Reasoning with Concrete Domains.
IJCAI 1999: 90-95 |
| 4 | | Carsten Lutz:
Complexity of Terminological Reasoning Revisited.
LPAR 1999: 181-200 |
| 3 | | Volker Haarslev,
Carsten Lutz,
Ralf Möller:
A Description Logic with Concrete Domains and a Role-forming Predicate Operator.
J. Log. Comput. 9(3): 351-384 (1999) |
| 1998 |
|---|
| 2 | | Volker Haarslev,
Carsten Lutz,
Ralf Möller:
Foundations of Spatioterminological Reasoning with Description Logics.
KR 1998: 112-123 |
| 1997 |
|---|
| 1 | | Carsten Lutz,
Ralf Möller:
Defined Topological Relations in Description Logics.
Description Logics 1997 |
