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 |