Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310): Difference between revisions

@@ Property / describes a project that uses @@
+XPath
@@ Property / describes a project that uses: XPath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+nSPARQL
@@ Property / describes a project that uses: nSPARQL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ontop
@@ Property / describes a project that uses: Ontop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OptiqueVQS
@@ Property / describes a project that uses: OptiqueVQS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-21768-0_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2099367286
@@ Property / OpenAlex ID: W2099367286 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and XML Data Exchange
@@ Property / cites work: Relational and XML Data Exchange / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The DL-Lite Family and Relations
@@ Property / cites work: The DL-Lite Family and Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230717
@@ Property / cites work: Q4230717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693201
@@ Property / cites work: Q5693201 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
+Normal rank
@@ Property / cites work @@
+A Cookbook for Temporal Conceptual Data Modelling with Description Logics
+Normal rank
@@ Property / cites work @@
+Query and Predicate Emptiness in Ontology-Based Data Access
+Normal rank
@@ Property / cites work @@
+Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases
+Normal rank
@@ Property / cites work @@
+Ontology-Based Data Access
@@ Property / cites work: Ontology-Based Data Access / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
+Normal rank
@@ Property / cites work @@
+Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms
+Normal rank
@@ Property / cites work @@
+Temporal Query Answering in the Description Logic DL-Lite
+Normal rank
@@ Property / cites work @@
+Ontologies and Databases: The DL-Lite Approach
@@ Property / cites work: Ontologies and Databases: The DL-Lite Approach / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Conjunctive query containment and answering under description logic constraints
+Normal rank
@@ Property / cites work @@
+Answering regular path queries in expressive description logics via alternating tree-automata
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in description logics
+Normal rank
@@ Property / cites work @@
+Reasoning about Explanations for Negative Query Answers in DL-Lite
+Normal rank
@@ Property / cites work @@
+$\mathcal{EL}$ -ifying Ontologies
@@ Property / cites work: $\mathcal{EL}$ -ifying Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized Query Rewriting for OWL 2 QL
@@ Property / cites work: Optimized Query Rewriting for OWL 2 QL / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Framework for Non-standard Reasoning Services in Description Logics
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133124
@@ Property / cites work: Q4133124 / rank @@
+Normal rank
@@ Property / cites work @@
+Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
+Normal rank
@@ Property / cites work @@
+Query Answering in Description Logics: The Knots Approach
+Normal rank
@@ Property / cites work @@
+Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
+Normal rank
@@ Property / cites work @@
+Query Answering with DBoxes is Hard
@@ Property / cites work: Query Answering with DBoxes is Hard / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+The price of query rewriting in ontology-based data access
+Normal rank
@@ Property / cites work @@
+Query Rewriting and Optimization for Ontological Databases
+Normal rank
@@ Property / cites work @@
+Datalog and Its Extensions for Semantic Web Databases
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Incomplete Information in Relational Databases
@@ Property / cites work: Incomplete Information in Relational Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Exponential Lower Bounds and Separation for Query Rewriting
+Normal rank
@@ Property / cites work @@
+On the succinctness of query rewriting over shallow ontologies
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Data Complexity in the $\mathcal{EL}$ Family of Description Logics
+Normal rank
@@ Property / cites work @@
+Complexities of Horn Description Logics
@@ Property / cites work: Complexities of Horn Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Horn rules and description logics in CARIN
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Conjunctive Query Answering in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+Q5232905
@@ Property / cites work: Q5232905 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding inseparability and conservative extensions in the description logic
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in expressive description logics via tableaux
+Normal rank
@@ Property / cites work @@
+Reasoning and Query Answering in Description Logics
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
+Normal rank
@@ Property / cites work @@
+Tractable query answering and rewriting under description logic constraints
+Normal rank
@@ Property / cites work @@
+Linking Data to Ontologies
@@ Property / cites work: Linking Data to Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Queries on Graph Databases.
@@ Property / cites work: Regular Queries on Graph Databases. / rank @@
+Normal rank
@@ Property / cites work @@
+Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
+Normal rank
@@ Property / cites work @@
+Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
+Normal rank
@@ Property / cites work @@
+The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases
+Normal rank
@@ Property / cites work @@
+Modular ontologies. Concepts, theories and techniques for knowledge modularization
+Normal rank