Pages that link to "Item:Q2970310"
From MaRDI portal
The following pages link to Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310):
Displayed 16 items.
- Propositional and predicate logics of incomplete information (Q2060732) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\) (Q2144172) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (Q2302291) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases (Q2970304) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- (Q4558528) (← links)
- Fragments of Bag Relational Algebra: Expressiveness and Certain Answers (Q5091118) (← links)
- (Q5232905) (← links)
- On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules (Q5268431) (← links)
- (Q5377468) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)
- Answer Counting under Guarded TGDs (Q6076172) (← links)