Searching for authors named "Carsten Lutz" – sorted by Relevance.
-
Interval-based Temporal Reasoning with General TBoxes
- Interval-based Temporal Reasoning with General TBoxes Carsten Lutz LuFG Theoretical Computer
- Cited by 16 (9 self) – Add To MetaCart
-
Reasoning with Concrete Domains
- Domains Carsten Lutz RWTH Aachen, LuFg Theoretical Computer Science Ahornstr. 55, 52074 Aachen, Germany
- Cited by 42 (8 self) – Add To MetaCart
-
Description Logics with Concrete Domains - A Survey
- 13 Description Logics with Concrete Domains|A Survey Carsten Lutz abstract. Description logics
- Cited by 111 (25 self) – Add To MetaCart
-
Adding Numbers to the SHIQ Description Logic -- First Results
- Numbers to the SHIQ Description Logic|First Results Carsten Lutz LTCS-Report 01-07 RWTH Aachen Lu
- Cited by 10 (6 self) – Add To MetaCart
-
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
- Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies Carsten Lutz Lu
- Cited by 10 (7 self) – Add To MetaCart
-
Complexity of Terminological Reasoning Revisited
- Complexity of Terminological Reasoning Revisited Carsten Lutz RWTH Aachen, LuFG Theoretical
- Cited by 23 (5 self) – Add To MetaCart
-
Inverse roles make conjunctive queries hard
- Inverse Roles Make Conjunctive Queries Hard Carsten Lutz Institute for Theoretical Computer
- Cited by 7 (2 self) – Add To MetaCart
-
Two Upper Bounds for Conjunctive Query Answering in SHIQ
- Two Upper Bounds for Conjunctive Query Answering in SHIQ Carsten Lutz Institut für Theoretische
- Cited by 2 (0 self) – Add To MetaCart
-
Concrete Domains and Nominals United
- @(email omitted);. nl Carsten Lutz Technical University Dresden Germany lutz@tcs. inf.tu-dresden.de Abstract While
- Cited by 3 (1 self) – Add To MetaCart
-
PDL with Negation of Atomic Programs
- Theory LTCS-Report PDL with Negation of Atomic Programs Carsten Lutz, Dirk Walther LTCS-Report 03
- Cited by 7 (1 self) – Add To MetaCart

