Carsten Lutz

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract).

[BibT_eX]

[DOI]

Quentin Manière

Robin Nolte

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

SAT-based PAC Learning of Description Logic Concepts (Extended Abstract).

[BibT_eX]

[DOI]

Efficient Answer Enumeration in Description Logics with Functional Roles.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Efficient Answer Enumeration in Description Logics with Functional Roles - Extended Version.

[BibT_eX]

[DOI]

CoRR, 2022

On the non-efficient PAC learnability of acyclic conjunctive queries.

[BibT_eX]

[DOI]

CoRR, 2022

A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Logical separability of labeled data examples under ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Efficiently Enumerating Answers to Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Ontology-Mediated Querying on Databases of Bounded Cliquewidth.

[BibT_eX]

[DOI]

Lukas Schulze

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Conservative Extensions for Existential Rules.

[BibT_eX]

[DOI]

Jerzy Marcinkowski

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Separating Data Examples by Description Logic Concepts with Restricted Signatures.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

How to Approximate Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

How to Approximate Ontology-Mediated Queries (Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Actively Learning ELI Queries under DL-Lite Ontologies.

[BibT_eX]

[DOI]

Marcos Antonio Vaz Salles

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2020

Holding a Conference Online and Live due to Covid-19: Experiences and Lessons Learned from EDBT / ICDT 2020.

[BibT_eX]

[DOI]

Marc H. Scholl

Yongluan Zhou

SIGMOD Rec., 2020

Conservative Extensions in Horn Description Logics with Inverse Roles.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2020

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures.

[BibT_eX]

[DOI]

CoRR, 2020

Holding a Conference Online and Live due to COVID-19.

[BibT_eX]

[DOI]

Marcos Antonio Vaz Salles

Marc H. Scholl

Yongluan Zhou

CoRR, 2020

The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.

[BibT_eX]

[DOI]

Thomas Zeume

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Logical Separability of Incomplete Data under Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

A Journey into Ontology Approximation: From Non-Horn to Horn.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract).

[BibT_eX]

[DOI]

A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract).

[BibT_eX]

[DOI]

The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract).

[BibT_eX]

[DOI]

Least General Generalizations in Description Logic: Verification and Existence.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

The Data Complexity of Ontology-Mediated Queries with Closed Predicates.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

Query inseparability for ALC ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2019

When is Ontology-Mediated Querying Efficient?

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Ontology Approximation in Horn Description Logics.

[BibT_eX]

[DOI]

Anneke Bötcher

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Decidability and Complexity of ALCOIF with Transitive Closure (and More).

[BibT_eX]

[DOI]

Thomas Zeume

Proceedings of the 32nd International Workshop on Description Logics, 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

PTime Combined Complexity and FPT in Ontology-Mediated Querying.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Weighted model counting beyond two-variable logic.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Query Expressibility and Verification in Ontology-Based Data Access.

[BibT_eX]

[DOI]

Johannes Marti

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Querying the Unary Negation Fragment with Regular Path Expressions.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Database Theory, 2018

From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying.

[BibT_eX]

[DOI]

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Complete Approximations of Horn DL Ontologies.

[BibT_eX]

[DOI]

Anneke Bötcher

2017

The Data Complexity of Description Logic Ontologies.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Exact Learning of Lightweight Description Logic Ontologies.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2017

Probabilistic Description Logics for Subjective Uncertainty.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2017

Computing FO-Rewritings in EL in Practice: From Atomic to Conjunctive Queries.

[BibT_eX]

[DOI]

Peter Hansen

Proceedings of the Semantic Web - ISWC 2017, 2017

Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Query Conservative Extensions in Horn Description Logics with Inverse Roles.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Database Theory, 2017

Conservative Extensions in Guarded and Two-Variable Fragments.

[BibT_eX]

[DOI]

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Horn Rewritability vs PTime Query Answering for Description Logic TBoxes.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries.

[BibT_eX]

[DOI]

Peter Hansen

Proceedings of the 30th International Workshop on Description Logics, 2017

An Introduction to Description Logic.

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 978-0-521-69542-8, 2017

2016

Query and Predicate Emptiness in Ontology-Based Data Access.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).

[BibT_eX]

[DOI]

CoRR, 2016

Complexity and Expressive Power of Ontology-Mediated Queries (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.

[BibT_eX]

[DOI]

Pierre Bourhis

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Conservative Rewritability of Description Logic TBoxes.

[BibT_eX]

[DOI]

Boris Konev

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Query-Based Entailment and Inseparability for ALC Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

FO-Rewritability of Expressive Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

When is Query Inseparability for ALC Ontologies Decidable?

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Ontology-Mediated Queries with Closed Predicates.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Schema.org as a Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Efficient Query Rewriting in the Description Logic EL and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Database Theory, 2015

Query Rewriting Beyond DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Conservative Rewritability of Description Logic TBoxes: First Results.

[BibT_eX]

[DOI]

Boris Konev

Proceedings of the 28th International Workshop on Description Logics, 2015

Decidability of Circumscribed Description Logics Revisited.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2014

Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331).

[BibT_eX]

[DOI]

Michael Benedikt

Yazmín Angélica Ibáñez-García

Balder ten Cate

Dagstuhl Reports, 2014

Finite Model Reasoning in Horn Description Logics.

[BibT_eX]

[DOI]

Thomas Schneider

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Monodic Fragments of Probabilistic First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Query Rewriting under EL TBoxes: Efficient Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Model-theoretic inseparability and modularity of description logic ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

First-Order Rewritability of Atomic Queries in Horn Description Logics.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the IJCAI 2013, 2013

Exact Learning of TBoxes in EL and DL-Lite.

[BibT_eX]

[DOI]

Boris Konev

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Ontology-Based Access to Probabilistic Data.

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Finite Model Reasoning in Horn-SHIQ.

[BibT_eX]

[DOI]

Thomas Schneider

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

LTL over description logic axioms.

[BibT_eX]

[DOI]

Silvio Ghilardi

ACM Trans. Comput. Log., 2012

The Combined Approach to OBDA: Taming Role Hierarchies using Filters.

[BibT_eX]

[DOI]

Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems, 2012

Ontology-Based Access to Probabilistic Data with OWL QL.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Non-Uniform Data Complexity of Query Answering in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Query Containment in Description Logics Reconsidered.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Complexity of Branching Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Deciding FO-Rewritability in EL.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Foundations of instance level updates in expressive description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.

[BibT_eX]

[DOI]

Robert Piro

Proceedings of the IJCAI 2011, 2011

The Combined Approach to Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

The Complexity of Probabilistic EL.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Status QIO: An Update.

[BibT_eX]

[DOI]

Birte Glimm

Yevgeny Kazakov

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

A Closer Look at the Probabilistic Description Logic Prob-EL.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Small is Again Beautiful in Description Logics.

[BibT_eX]

[DOI]

Anni-Yasmin Turhan

Künstliche Intell., 2010

Deciding inseparability and conservative extensions in the description logic EL.

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

J. Symb. Comput., 2010

Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.

[BibT_eX]

[DOI]

Monica M. C. Schraefel

Bernhard Nebel

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Probabilistic Description Logics for Subjective Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

The Combined Approach to Query Answering in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Decomposing Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query and Predicate Emptiness in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints.

[BibT_eX]

[DOI]

Robert Piro

Proceedings of the ECAI 2010, 2010

EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers.

[BibT_eX]

[DOI]

Robert Piro

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Query Answering in the Description Logic S.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Formal Properties of Modularisation.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies: Concepts, 2009

PDL with intersection and converse: satisfiability and infinite-state model checking.

[BibT_eX]

[DOI]

Stefan Göller

Markus Lohrey

J. Symb. Log., 2009

The Complexity of Circumscription in DLs.

[BibT_eX]

[DOI]

Piero A. Bonatti

J. Artif. Intell. Res., 2009

The complexity of query containment in expressive fragments of XPath 2.0.

[BibT_eX]

[DOI]

Balder ten Cate

J. ACM, 2009

Mathematical Logic for Life Science Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

Query Answering in Description Logics: The Knots Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.

[BibT_eX]

[DOI]

David Toman

Proceedings of the IJCAI 2009, 2009

Query Answering in Description Logics with Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Query Answering over DL ABoxes: How to Pick the Relevant Symbols.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

The Complexity of Enriched Mu-Calculi.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Conjunctive Query Answering for the Description Logic SHIQ.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

Temporal Description Logics: A Survey.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Conjunctive Query Answering in EL using a Database System.

[BibT_eX]

[DOI]

David Toman

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL.

[BibT_eX]

[DOI]

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Pushing the EL Envelope Further.

[BibT_eX]

[DOI]

Sebastian Brandt

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Semantic Modularity and Module Extraction in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes.

[BibT_eX]

[DOI]

Christoph Haase

Proceedings of the ECAI 2008, 2008

Two Upper Bounds for Conjunctive Query Answering in SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Projection Problem for EL Actions.

[BibT_eX]

[DOI]

Hongkai Liu

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Logical Difference and Module Extraction with CEX and MEX.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Complexity of Conjunctive Query Answering in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Propositional dynamic logic with recursive programs.

[BibT_eX]

[DOI]

Christof Löding

Olivier Serre

J. Log. Algebraic Methods Program., 2007

A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

Quantitative temporal logics over the reals: PSpace and below.

[BibT_eX]

[DOI]

Inf. Comput., 2007

Temporalising Tractable Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Data Complexity in the EL Family of Description Logics.

[BibT_eX]

[DOI]

Adila Krisnadhi

Proceedings of the Logic for Programming, 2007

Conservative Extensions in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

A Description Logic of Change.

[BibT_eX]

[DOI]

Alessandro Artale

David Toman

Proceedings of the IJCAI 2007, 2007

PDL with Intersection and Converse Is 2 EXP-Complete.

[BibT_eX]

[DOI]

Stefan Göller

Markus Lohrey

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Inverse Roles Make Conjunctive Queries Hard.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Data Complexity in the EL family of DLs.

[BibT_eX]

[DOI]

Adila Krisnadhi

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

PDL with Intersection and Converse is 2EXP-complete.

[BibT_eX]

[DOI]

Stefan Göller

Markus Lohrey

Proceedings of the Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007

Conservative Extensions in the Lightweight Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

Description logic.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Modal Logic., 2007

2006

ATL Satisfiability is Indeed EXPTIME-complete.

[BibT_eX]

[DOI]

Michael J. Wooldridge

J. Log. Comput., 2006

Modal Logics of Topological Relations.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Log. Methods Comput. Sci., 2006

Reasoning Support for Ontology Design.

[BibT_eX]

[DOI]

Sergio Tessaris

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Updating Description Logic ABoxes.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics.

[BibT_eX]

[DOI]

Silvio Ghilardi

Proceedings of the Proceedings, 2006

Description Logics with Circumscription.

[BibT_eX]

[DOI]

Piero A. Bonatti

Proceedings of the Proceedings, 2006

Reasoning About Actions Using Description Logics with General TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

The Complexity of Enriched µ-Calculi.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

DL Actions with GCIs: a Pragmatic Approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Efficient Reasoning in EL+.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

CEL - A Polynomial-Time Reasoner for Life Science Ontologies.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Complexity and succinctness of public announcement logic.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Conservative extensions in modal logic.

[BibT_eX]

[DOI]

Silvio Ghilardi

Proceedings of the Advances in Modal Logic 6, 2006

2005

2-ExpTime lower bounds for propositional dynamic logics with intersection.

[BibT_eX]

[DOI]

Martin Lange

J. Symb. Log., 2005

PDL with Negation of Atomic Programs.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2005

Keys, Nominals, and Concrete Domains.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2005

The complexity of finite model reasoning in description logics.

[BibT_eX]

[DOI]

Lidia Tendera

Inf. Comput., 2005

Quantitative Temporal Logics: PSPACE and Below.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

A New n-Ary Existential Quantifier in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005

Pushing the EL Envelope.

[BibT_eX]

[DOI]

Sebastian Brandt

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Tableau Algorithm for DLs with Concrete Domains and GCIs.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

PDL with Intersection and Converse Is Decidable.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

Integrating Description Logics and Action Formalisms: First Results.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

NEXP TIME-complete description logics with concrete domains.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2004

Temporalising Tableaux.

[BibT_eX]

[DOI]

Roman Kontchakov

Stud Logica, 2004

A Correspondence between Temporal Description Logics.

[BibT_eX]

[DOI]

Alessandro Artale

J. Appl. Non Class. Logics, 2004

Combining interval-based temporal reasoning with general TBoxes.

[BibT_eX]

[DOI]

Artif. Intell., 2004

E-connections of abstract description systems.

[BibT_eX]

[DOI]

Oliver Kutz

Artif. Intell., 2004

Description Logics with Concrete Domains and Functional Dependencies.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Mona as a DL Reasoner.

[BibT_eX]

[DOI]

Eldar Karabaev

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

From Tableaux to Automata for Description Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

A Tableau Algorithm for Reasoning about Concepts and Similarity.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Resasoning about Concepts and Similarity.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Finite Model Reasoning in ALCQI is EXPTIME Logics.

[BibT_eX]

[DOI]

Lidia Tendera

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

E-connections of Description Logics.

[BibT_eX]

[DOI]

Oliver Kutz

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

The complexity of description logics with concrete domains.

[BibT_eX]

[DOI]

PhD thesis, 2002

A Tableau Decision Algorithm for Modalized ALC with Constant Domains.

[BibT_eX]

[DOI]

Holger Sturm

Stud Logica, 2002

Fusions of Description Logics and Abstract Description Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2002

PSpace Reasoning with the Description Logic ALCF(D).

[BibT_eX]

[DOI]

Log. J. IGPL, 2002

Adding Numbers to the SHIQ Description Logic: First Results.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

A proposal for describing services with DLs.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Description Logics with Concrete Domains-A Survey.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

Interval-based Temporal Reasoning with General TBoxes.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Description Logics and the Two-Variable Fragment.

[BibT_eX]

[DOI]