Carsten Lutz
85 publications
13 venues
H Index 38
Affiliation
University of Leipzig, GermanyUniversity of Bremen, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL.
|
Artificial Intelligence | 2022 | 0 |
| Separating Data Examples by Description Logic Concepts with Restricted Signatures.
|
KR | 2021 | 0 |
| Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.
|
IJCAI | 2021 | 0 |
| How to Approximate Ontology-Mediated Queries.
|
KR | 2021 | 1 |
| On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.
|
KR | 2020 | 3 |
| Conservative Extensions in Horn Description Logics with Inverse Roles.
|
JAIR | 2020 | 4 |
| Least General Generalizations in Description Logic: Verification and Existence.
|
AAAI | 2020 | 9 |
| Logical Separability of Incomplete Data under Ontologies.
|
KR | 2020 | 8 |
| A Journey into Ontology Approximation: From Non-Horn to Horn.
|
IJCAI | 2020 | 0 |
| Ontology Approximation in Horn Description Logics.
|
IJCAI | 2019 | 5 |
| Query inseparability for ALC ontologies.
|
Artificial Intelligence | 2019 | 10 |
| Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.
|
IJCAI | 2019 | 0 |
| Query Expressibility and Verification in Ontology-Based Data Access.
|
KR | 2018 | 10 |
| From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.
|
IJCAI | 2018 | 3 |
| Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.
|
IJCAI | 2018 | 5 |
| First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
|
IJCAI | 2018 | 11 |
| Query Conservative Extensions in Horn Description Logics with Inverse Roles.
|
IJCAI | 2017 | 8 |
| Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability.
|
IJCAI | 2017 | 24 |
| Computing FO-Rewritings in
|
ISWC | 2017 | 0 |
| Probabilistic Description Logics for Subjective Uncertainty.
|
JAIR | 2017 | 0 |
| Exact Learning of Lightweight Description Logic Ontologies.
|
JMLR | 2017 | 0 |
| Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
|
KR | 2016 | 15 |
| Query and Predicate Emptiness in Ontology-Based Data Access.
|
JAIR | 2016 | 29 |
| First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
|
IJCAI | 2016 | 51 |
| Conservative Rewritability of Description Logic TBoxes.
|
IJCAI | 2016 | 11 |
| Query-Based Entailment and Inseparability for ALC Ontologies.
|
IJCAI | 2016 | 13 |
| Ontology-Mediated Queries with Closed Predicates.
|
IJCAI | 2015 | 42 |
| Efficient Query Rewriting in the Description Logic EL and Beyond.
|
IJCAI | 2015 | 33 |
| Schema.org as a Description Logic.
|
IJCAI | 2015 | 15 |
| Exact Learning of Lightweight Description Logic Ontologies.
|
KR | 2014 | 30 |
| Finite Model Reasoning in Horn Description Logics.
|
KR | 2014 | 24 |
| First-Order Rewritability of Atomic Queries in Horn Description Logics.
|
IJCAI | 2013 | 49 |
| Model-theoretic inseparability and modularity of description logic ontologies.
|
Artificial Intelligence | 2013 | 78 |
| Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).
|
IJCAI | 2013 | 55 |
| The Combined Approach to OBDA: Taming Role Hierarchies Using Filters.
|
ISWC | 2013 | 0 |
| Query Containment in Description Logics Reconsidered.
|
KR | 2012 | 34 |
| Complexity of Branching Temporal Description Logics.
|
ECAI | 2012 | 20 |
| An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.
|
KR | 2012 | 65 |
| Ontology-Based Access to Probabilistic Data with OWL QL.
|
ISWC | 2012 | 52 |
| Non-Uniform Data Complexity of Query Answering in Description Logics.
|
KR | 2012 | 0 |
| The Combined Approach to Ontology-Based Data Access.
|
IJCAI | 2011 | 157 |
| Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.
|
IJCAI | 2011 | 65 |
| A Closer Look at the Probabilistic Description Logic Prob-EL.
|
AAAI | 2011 | 22 |
| Foundations of instance level updates in expressive description logics.
|
Artificial Intelligence | 2011 | 39 |
| Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics.
|
IJCAI | 2011 | 133 |
| Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.
|
ECAI | 2010 | 2 |
| Probabilistic Description Logics for Subjective Uncertainty.
|
KR | 2010 | 123 |
| Query and Predicate Emptiness in Description Logics.
|
KR | 2010 | 22 |
| The Combined Approach to Query Answering in DL-Lite.
|
KR | 2010 | 192 |
| Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
|
KR | 2010 | 0 |
| Decomposing Description Logic Ontologies.
|
KR | 2010 | 43 |
| The Complexity of Circumscription in DLs.
|
JAIR | 2009 | 126 |
| Query Answering in Description Logics with Transitive Roles.
|
IJCAI | 2009 | 65 |
| Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.
|
IJCAI | 2009 | 237 |
| Semantic Modularity and Module Extraction in Description Logics.
|
ECAI | 2008 | 100 |
| Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes.
|
ECAI | 2008 | 34 |
| LTL over Description Logic Axioms.
|
KR | 2008 | 0 |
| Conjunctive Query Answering for the Description Logic SHIQ.
|
JAIR | 2008 | 0 |
| Conjunctive Query Answering for the Description Logic SHIQ.
|
IJCAI | 2007 | 301 |
| Conservative Extensions in the Lightweight Description Logic EL.
|
CADE | 2007 | 68 |
| Conservative Extensions in Expressive Description Logics.
|
IJCAI | 2007 | 209 |
| A Description Logic of Change.
|
IJCAI | 2007 | 0 |
| Data Complexity in the
|
LPAR | 2007 | 0 |
| Complexity and succinctness of public announcement logic.
|
AAMAS | 2006 | 144 |
| Updating Description Logic ABoxes.
|
KR | 2006 | 139 |
| Reasoning About Actions Using Description Logics with General TBoxes.
|
JELIA | 2006 | 43 |
| Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics.
|
KR | 2006 | 236 |
| Description Logics with Circumscription.
|
KR | 2006 | 96 |
| A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.
|
TABLEAUX | 2005 | 20 |
| Integrating Description Logics and Action Formalisms: First Results.
|
AAAI | 2005 | 202 |
| Pushing the EL Envelope.
|
IJCAI | 2005 | 1216 |
| Keys, Nominals, and Concrete Domains.
|
JAIR | 2005 | 0 |
| Description Logics with Concrete Domains and Functional Dependencies.
|
ECAI | 2004 | 10 |
| Combining interval-based temporal reasoning with general TBoxes.
|
Artificial Intelligence | 2004 | 35 |
| E-connections of abstract description systems.
|
Artificial Intelligence | 2004 | 267 |
| From Tableaux to Automata for Description Logics.
|
LPAR | 2003 | 57 |
| The Complexity of Finite Model Reasoning in Description Logics.
|
CADE | 2003 | 39 |
| A Tableau Algorithm for Reasoning about Concepts and Similarity.
|
TABLEAUX | 2003 | 24 |
| Keys, Nominals, and Concrete Domains.
|
IJCAI | 2003 | 110 |
| Fusions of Description Logics and Abstract Description Systems.
|
JAIR | 2002 | 96 |
| Adding Numbers to the SHIQ Description Logic: First Results.
|
KR | 2002 | 41 |
| Interval-based Temporal Reasoning with General TBoxes.
|
IJCAI | 2001 | 51 |
| Reasoning with Concrete Domains.
|
IJCAI | 1999 | 45 |
| Complexity of Terminological Reasoning Revisited.
|
LPAR | 1999 | 89 |
| Foundations of Spatioterminological Reasoning with Description Logics.
|
KR | 1998 | 96 |