Carsten Lutz
76 publications
13 venues
H Index31
Affiliation
University of Bremen, GermanyLinks
| Name | Venue | Year | Citations |
|---|---|---|---|
The Complexity of Finite Model Reasoning in Description Logics.
|
CADE | 2003 | 12 |
| Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes.
|
ECAI | 2008 | 23 |
| First-Order Rewritability of Atomic Queries in Horn Description Logics.
|
IJCAI | 2013 | 36 |
| Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics.
|
KR | 2006 | 181 |
| Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.
|
IJCAI | 2011 | 47 |
| Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability.
|
IJCAI | 2017 | 8 |
| Finite Model Reasoning in Horn Description Logics.
|
KR | 2014 | 17 |
| Model-theoretic inseparability and modularity of description logic ontologies.
|
Artificial Intelligence | 2013 | 47 |
| Query Containment in Description Logics Reconsidered.
|
KR | 2012 | 28 |
| Description Logics with Circumscription.
|
KR | 2006 | 64 |
| Ontology Approximation in Horn Description Logics.
|
IJCAI | 2019 | 1 |
| The Combined Approach to Ontology-Based Data Access.
|
IJCAI | 2011 | 119 |
| Combining interval-based temporal reasoning with general TBoxes.
|
Artificial Intelligence | 2004 | 20 |
| Query Answering in Description Logics with Transitive Roles.
|
IJCAI | 2009 | 44 |
| Pushing the EL Envelope.
|
IJCAI | 2005 | 881 |
| Interval-based Temporal Reasoning with General TBoxes.
|
IJCAI | 2001 | 32 |
| Complexity of Terminological Reasoning Revisited.
|
LPAR | 1999 | 65 |
| Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
|
KR | 2010 | 0 |
| A Tableau Algorithm for Reasoning about Concepts and Similarity.
|
TABLEAUX | 2003 | 20 |
| Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.
|
IJCAI | 2009 | 178 |
| Efficient Query Rewriting in the Description Logic EL and Beyond.
|
IJCAI | 2015 | 22 |
| From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.
|
IJCAI | 2018 | 3 |
| From Tableaux to Automata for Description Logics.
|
LPAR | 2003 | 40 |
| Query and Predicate Emptiness in Description Logics.
|
KR | 2010 | 17 |
| Schema.org as a Description Logic.
|
IJCAI | 2015 | 8 |
| Updating Description Logic ABoxes.
|
KR | 2006 | 101 |
| Foundations of instance level updates in expressive description logics.
|
Artificial Intelligence | 2011 | 25 |
| Fusions of Description Logics and Abstract Description Systems.
|
JAIR | 2002 | 65 |
| Foundations of Spatioterminological Reasoning with Description Logics.
|
KR | 1998 | 67 |
| Semantic Modularity and Module Extraction in Description Logics.
|
ECAI | 2008 | 72 |
| Description Logics with Concrete Domains and Functional Dependencies.
|
ECAI | 2004 | 4 |
| Complexity of Branching Temporal Description Logics.
|
ECAI | 2012 | 17 |
| Query Expressibility and Verification in Ontology-Based Data Access.
|
KR | 2018 | 3 |
| A Closer Look at the Probabilistic Description Logic Prob-EL.
|
AAAI | 2011 | 19 |
| Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics.
|
IJCAI | 2011 | 82 |
| Query inseparability for ALC ontologies.
|
Artificial Intelligence | 2019 | 3 |
| Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).
|
IJCAI | 2013 | 37 |
| Query Conservative Extensions in Horn Description Logics with Inverse Roles.
|
IJCAI | 2017 | 6 |
| Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.
|
ECAI | 2010 | 2 |
| A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.
|
TABLEAUX | 2005 | 13 |
| Query-Based Entailment and Inseparability for ALC Ontologies.
|
IJCAI | 2016 | 10 |
| Conservative Rewritability of Description Logic TBoxes.
|
IJCAI | 2016 | 8 |
| Keys, Nominals, and Concrete Domains.
|
IJCAI | 2003 | 74 |
| Reasoning About Actions Using Description Logics with General TBoxes.
|
JELIA | 2006 | 27 |
| Conservative Extensions in the Lightweight Description Logic EL.
|
CADE | 2007 | 61 |
| The Complexity of Circumscription in DLs.
|
JAIR | 2009 | 95 |
| Decomposing Description Logic Ontologies.
|
KR | 2010 | 27 |
| Conservative Extensions in Expressive Description Logics.
|
IJCAI | 2007 | 166 |
| Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
|
KR | 2016 | 8 |
| First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
|
IJCAI | 2018 | 3 |
| Exact Learning of Lightweight Description Logic Ontologies.
|
KR | 2014 | 22 |
| Probabilistic Description Logics for Subjective Uncertainty.
|
KR | 2010 | 87 |
| Conjunctive Query Answering for the Description Logic SHIQ.
|
IJCAI | 2007 | 192 |
| LTL over Description Logic Axioms.
|
KR | 2008 | 89 |
| Reasoning with Concrete Domains.
|
IJCAI | 1999 | 27 |
| The Combined Approach to Query Answering in DL-Lite.
|
KR | 2010 | 137 |
| Integrating Description Logics and Action Formalisms: First Results.
|
AAAI | 2005 | 132 |
| E-connections of abstract description systems.
|
Artificial Intelligence | 2004 | 189 |
| Query and Predicate Emptiness in Ontology-Based Data Access.
|
JAIR | 2016 | 16 |
| An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.
|
KR | 2012 | 42 |
| Ontology-Mediated Queries with Closed Predicates.
|
IJCAI | 2015 | 28 |
| First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
|
IJCAI | 2016 | 30 |
| Ontology-Based Access to Probabilistic Data with OWL QL.
|
ISWC | 2012 | 40 |
| Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.
|
IJCAI | 2018 | 4 |
| Adding Numbers to the SHIQ Description Logic: First Results.
|
KR | 2002 | 26 |
| Complexity and succinctness of public announcement logic.
|
AAMAS | 2006 | 91 |
| A Description Logic of Change.
|
IJCAI | 2007 | 0 |
| Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.
|
IJCAI | 2019 | 0 |
| Computing FO-Rewritings in
|
ISWC | 2017 | 0 |
| The Combined Approach to OBDA: Taming Role Hierarchies Using Filters.
|
ISWC | 2013 | 0 |
| Data Complexity in the
|
LPAR | 2007 | 0 |
| Non-Uniform Data Complexity of Query Answering in Description Logics.
|
KR | 2012 | 0 |
| Exact Learning of Lightweight Description Logic Ontologies.
|
JMLR | 2017 | 0 |
| Keys, Nominals, and Concrete Domains.
|
JAIR | 2005 | 0 |
| Probabilistic Description Logics for Subjective Uncertainty.
|
JAIR | 2017 | 0 |
| Conjunctive Query Answering for the Description Logic SHIQ.
|
JAIR | 2008 | 0 |