Pages that link to "Item:Q360130"
From MaRDI portal
The following pages link to Data complexity of query answering in description logics (Q360130):
Displaying 33 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Towards more expressive ontology languages: the query answering problem (Q359987) (← links)
- View-based query answering in description logics: semantics and complexity (Q414845) (← links)
- Forgetting for knowledge bases in DL-lite (Q604910) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Tractability and intractability of controlled languages for data access (Q692195) (← links)
- Top-\(k\) retrieval for ontology mediated access to relational databases (Q712661) (← links)
- Query answering in circumscribed OWL2 profiles (Q825008) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\) (Q2144172) (← links)
- A false sense of security (Q2163880) (← links)
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (Q2302291) (← links)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family (Q2462646) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- Query Answering with DBoxes is Hard (Q2825409) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases (Q2970304) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ (Q3532465) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Foundations of Temporal Conceptual Data Models (Q3637331) (← links)
- Conceptual Modeling for Data Integration (Q3637334) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles (Q3655196) (← links)
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (Q4989324) (← links)
- (Q5136335) (← links)
- (Q5232905) (← links)
- Reasoning on anonymity in Datalog (Q5240228) (← links)
- Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660) (← links)