Carsten Lutz
96 publications
14 venues
H Index 40
Affiliation
University of Leipzig, GermanyUniversity of Bremen, Germany
Links
DBLPGoogle Scholar
ORCID- http://www.informatik.uni-bremen.de/~clu/
- https://zbmath.org/authors/?q=ai:lutz.carsten
- https://mathscinet.ams.org/mathscinet/MRAuthorID/650125
- https://mathgenealogy.org/id.php?id=65112
- https://www.wikidata.org/entity/Q57517628
- https://id.loc.gov/authorities/names/no2008173868
- https://d-nb.info/gnd/134037901
| Name | Venue | Year | citations |
|---|---|---|---|
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster.
|
KR | 2024 | 0 |
| Description Logics with Abstraction and Refinement: From ALC to EL.
|
KR | 2024 | 0 |
| Logical characterizations of recurrent graph neural networks with reals and floats.
|
NIPS/NeurIPS | 2024 | 0 |
| Efficient Answer Enumeration in Description Logics with Functional Roles.
|
AAAI | 2023 | 0 |
| SAT-Based PAC Learning of Description Logic Concepts.
|
IJCAI | 2023 | 0 |
| Description Logics with Abstraction and Refinement.
|
KR | 2023 | 0 |
| Querying Circumscribed Description Logic Knowledge Bases.
|
KR | 2023 | 0 |
| Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.
|
IJCAI | 2022 | 6 |
| Ontology-Mediated Querying on Databases of Bounded Cliquewidth.
|
KR | 2022 | 0 |
| Conservative Extensions for Existential Rules.
|
KR | 2022 | 0 |
| Logical separability of labeled data examples under ontologies.
|
Artificial Intelligence | 2022 | 0 |
| A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL.
|
Artificial Intelligence | 2022 | 0 |
| Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.
|
IJCAI | 2021 | 5 |
| Separating Data Examples by Description Logic Concepts with Restricted Signatures.
|
KR | 2021 | 5 |
| How to Approximate Ontology-Mediated Queries.
|
KR | 2021 | 2 |
| Least General Generalizations in Description Logic: Verification and Existence.
|
AAAI | 2020 | 14 |
| On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.
|
KR | 2020 | 4 |
| Logical Separability of Incomplete Data under Ontologies.
|
KR | 2020 | 16 |
| Conservative Extensions in Horn Description Logics with Inverse Roles.
|
JAIR | 2020 | 5 |
| A Journey into Ontology Approximation: From Non-Horn to Horn.
|
IJCAI | 2020 | 0 |
| Query inseparability for ALC ontologies.
|
Artificial Intelligence | 2019 | 13 |
| Ontology Approximation in Horn Description Logics.
|
IJCAI | 2019 | 7 |
| Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.
|
IJCAI | 2019 | 0 |
| From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.
|
IJCAI | 2018 | 3 |
| First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
|
IJCAI | 2018 | 12 |
| Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.
|
IJCAI | 2018 | 5 |
| Query Expressibility and Verification in Ontology-Based Data Access.
|
KR | 2018 | 0 |
| Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability.
|
IJCAI | 2017 | 24 |
| Query Conservative Extensions in Horn Description Logics with Inverse Roles.
|
IJCAI | 2017 | 8 |
| 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 |
| Conservative Rewritability of Description Logic TBoxes.
|
IJCAI | 2016 | 11 |
| Query-Based Entailment and Inseparability for ALC Ontologies.
|
IJCAI | 2016 | 13 |
| Query and Predicate Emptiness in Ontology-Based Data Access.
|
JAIR | 2016 | 30 |
| First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
|
IJCAI | 2016 | 54 |
| Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
|
KR | 2016 | 15 |
| Efficient Query Rewriting in the Description Logic EL and Beyond.
|
IJCAI | 2015 | 38 |
| Schema.org as a Description Logic.
|
IJCAI | 2015 | 16 |
| Ontology-Mediated Queries with Closed Predicates.
|
IJCAI | 2015 | 40 |
| Finite Model Reasoning in Horn Description Logics.
|
KR | 2014 | 25 |
| Exact Learning of Lightweight Description Logic Ontologies.
|
KR | 2014 | 37 |
| Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).
|
IJCAI | 2013 | 54 |
| First-Order Rewritability of Atomic Queries in Horn Description Logics.
|
IJCAI | 2013 | 53 |
| The Combined Approach to OBDA: Taming Role Hierarchies Using Filters.
|
ISWC | 2013 | 106 |
| Model-theoretic inseparability and modularity of description logic ontologies.
|
Artificial Intelligence | 2013 | 82 |
| Complexity of Branching Temporal Description Logics.
|
ECAI | 2012 | 19 |
| Query Containment in Description Logics Reconsidered.
|
KR | 2012 | 36 |
| Non-Uniform Data Complexity of Query Answering in Description Logics.
|
KR | 2012 | 74 |
| Ontology-Based Access to Probabilistic Data with OWL QL.
|
ISWC | 2012 | 52 |
| An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.
|
KR | 2012 | 67 |
| Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics.
|
IJCAI | 2011 | 144 |
| Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.
|
IJCAI | 2011 | 71 |
| A Closer Look at the Probabilistic Description Logic Prob-EL.
|
AAAI | 2011 | 23 |
| The Combined Approach to Ontology-Based Data Access.
|
IJCAI | 2011 | 164 |
| Foundations of instance level updates in expressive description logics.
|
Artificial Intelligence | 2011 | 41 |
| Query and Predicate Emptiness in Description Logics.
|
KR | 2010 | 23 |
| Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.
|
ECAI | 2010 | 2 |
| Probabilistic Description Logics for Subjective Uncertainty.
|
KR | 2010 | 126 |
| Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
|
KR | 2010 | 0 |
| The Combined Approach to Query Answering in DL-Lite.
|
KR | 2010 | 201 |
| Decomposing Description Logic Ontologies.
|
KR | 2010 | 48 |
| Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.
|
IJCAI | 2009 | 240 |
| The Complexity of Circumscription in DLs.
|
JAIR | 2009 | 122 |
| Query Answering in Description Logics with Transitive Roles.
|
IJCAI | 2009 | 69 |
| LTL over Description Logic Axioms.
|
KR | 2008 | 113 |
| Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes.
|
ECAI | 2008 | 34 |
| Semantic Modularity and Module Extraction in Description Logics.
|
ECAI | 2008 | 103 |
| Conjunctive Query Answering for the Description Logic SHIQ.
|
JAIR | 2008 | 0 |
| Conjunctive Query Answering for the Description Logic SHIQ.
|
IJCAI | 2007 | 308 |
| Conservative Extensions in Expressive Description Logics.
|
IJCAI | 2007 | 218 |
| Conservative Extensions in the Lightweight Description Logic EL.
|
CADE | 2007 | 70 |
| A Description Logic of Change.
|
IJCAI | 2007 | 42 |
| Data Complexity in the
|
LPAR | 2007 | 0 |
| Complexity and succinctness of public announcement logic.
|
AAMAS | 2006 | 155 |
| Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics.
|
KR | 2006 | 246 |
| Description Logics with Circumscription.
|
KR | 2006 | 96 |
| Reasoning About Actions Using Description Logics with General TBoxes.
|
JELIA | 2006 | 44 |
| Updating Description Logic ABoxes.
|
KR | 2006 | 138 |
| Integrating Description Logics and Action Formalisms: First Results.
|
AAAI | 2005 | 206 |
| A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.
|
TABLEAUX | 2005 | 20 |
| Pushing the EL Envelope.
|
IJCAI | 2005 | 1262 |
| Keys, Nominals, and Concrete Domains.
|
JAIR | 2005 | 0 |
| Description Logics with Concrete Domains and Functional Dependencies.
|
ECAI | 2004 | 18 |
| E-connections of abstract description systems.
|
Artificial Intelligence | 2004 | 268 |
| Combining interval-based temporal reasoning with general TBoxes.
|
Artificial Intelligence | 2004 | 36 |
| From Tableaux to Automata for Description Logics.
|
LPAR | 2003 | 58 |
| A Tableau Algorithm for Reasoning about Concepts and Similarity.
|
TABLEAUX | 2003 | 24 |
| Keys, Nominals, and Concrete Domains.
|
IJCAI | 2003 | 110 |
| The Complexity of Finite Model Reasoning in Description Logics.
|
CADE | 2003 | 0 |
| Adding Numbers to the SHIQ Description Logic: First Results.
|
KR | 2002 | 43 |
| Fusions of Description Logics and Abstract Description Systems.
|
JAIR | 2002 | 0 |
| Interval-based Temporal Reasoning with General TBoxes.
|
IJCAI | 2001 | 50 |
| Complexity of Terminological Reasoning Revisited.
|
LPAR | 1999 | 87 |
| Reasoning with Concrete Domains.
|
IJCAI | 1999 | 45 |
| Foundations of Spatioterminological Reasoning with Description Logics.
|
KR | 1998 | 98 |