]> 2012-05-29T10:02:26-04:00 Carsten Lutz Carsten Carsten Lutz Lutz Keys, Nominals, and Concrete Domains Conjunctive Query Answering for the Description Logic SHIQ Keys, Nominals, and Concrete Domains (Journal) Pushing the EL Envelope Further CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL Integrating Description Logics and Action Formalisms: First Results The Complexity of Enriched Mu-Calculi Pushing the EL Envelope Interval-based Temporal Reasoning with General TBoxes Reasoning with Concrete Domains Conservative Extensions in Expressive Description Logics A Description Logic of Change Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics The complexity of finite model reasoning in description logics The Complexity of Finite Model Reasoning in Description Logics Finite Model Reasoning in ALCQI is EXPTIME Logics Modal Logic and the Two-Variable Fragment Description Logics and the Two-Variable Fragment The Complexity of Reasoning with Boolean Modal Logics Mary Likes all Cats A Suggestion for an n-ary Description Logic LTL over Description Logic Axioms Logical Difference and Module Extraction with CEX and MEX The Projection Problem for EL Actions Two Upper Bounds for Conjunctive Query Answering in SHIQ The Complexity of Conjunctive Query Answering in Expressive Description Logics Temporal Description Logics: A Survey PDL with Intersection and Converse is 2EXP-complete Conservative Extensions in the Lightweight Description Logic EL Data Complexity in the EL family of DLs Inverse Roles Make Conjunctive Queries Hard PDL with Intersection and Converse Is 2 EXP-Complete The complexity of query containment in expressive fragments of XPath 2.0 Temporalising Tractable Description Logics Quantitative temporal logics over the reals: PSpace and below A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes Propositional dynamic logic with recursive programs Conservative extensions in modal logic Complexity and succinctness of public announcement logic DL Actions with GCIs: a Pragmatic Approach CEL - A Polynomial-Time Reasoner for Life Science Ontologies Reasoning About Actions Using Description Logics with General TBoxes Description Logics with Circumscription Updating Description Logic ABoxes Modal Logics of Topological Relations ATL Satisfiability is Indeed EXPTIME-complete PDL with Intersection and Converse Is Decidable A Tableau Algorithm for DLs with Concrete Domains and GCIs A Tableau Algorithm for Description Logics with Concrete Domains and GCIs Quantitative Temporal Logics: PSPACE and Below PDL with Negation of Atomic Programs Mona as a DL Reasoner Description Logics with Concrete Domains and Functional Dependencies NEXP TIME-complete description logics with concrete domains Combining interval-based temporal reasoning with general TBoxes E-connections of abstract description systems A Correspondence between Temporal Description Logics Temporalising Tableaux E-connections of Description Logics Resasoning about Concepts and Similarity From Tableaux to Automata for Description Logics A Tableau Algorithm for Reasoning about Concepts and Similarity Description Logics with Concrete Domains-A Survey Adding Numbers to the SHIQ Description Logic: First Results Fusions of Description Logics and Abstract Description Systems PSpace Reasoning with the Description Logic ALCF(D) A Tableau Decision Algorithm for Modalized ALC with Constant Domains Tableaux for Temporal Description Logic with Constant Domains NEXPTIME-Complete Description Logics with Concrete Domains Fusions of Description Logics Complexity of Terminological Reasoning Revisited A Description Logic with Concrete Domains and a Role-forming Predicate Operator Foundations of Spatioterminological Reasoning with Description Logics Defined Topological Relations in Description Logics Has author Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person