Pages that link to "Item:Q2970310"

The following pages link to Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310):

Displaying 20 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)
• Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)
• Ontology-mediated probabilistic model checking (Q6536352) (← links)
• Reasoning with ontologies (Q6602220) (← links)
• Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies (Q6630183) (← links)