Reasoning and Query Answering in Description Logics (Q4647812): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / 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 @@
+Q4012241
@@ Property / cites work: Q4012241 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408128
@@ Property / cites work: Q3408128 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enriched Mu-Calculi
@@ Property / cites work: The Complexity of Enriched Mu-Calculi / 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 @@
+Rewriting of regular expressions and regular path queries
+Normal rank
@@ Property / cites work @@
+Decidable containment of recursive queries
@@ Property / cites work: Decidable containment of recursive queries / 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 @@
+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 @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+Role Conjunctions in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+Datalog and Its Extensions for Semantic Web Databases
+Normal rank
@@ Property / cites work @@
+Practical reasoning for very expressive description logics
+Normal rank
@@ Property / cites work @@
+Q2723446
@@ Property / cites work: Q2723446 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Expressibility and Parallel Complexity
@@ Property / cites work: Expressibility and Parallel Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Data Complexity in the $\mathcal{EL}$ Family of Description Logics
+Normal rank
@@ Property / cites work @@
+OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
+Normal rank
@@ Property / cites work @@
+Combining Horn rules and description logics in CARIN
+Normal rank
@@ Property / cites work @@
+Q4938425
@@ Property / cites work: Q4938425 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Conjunctive Query Answering in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in expressive description logics via tableaux
+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 @@
+Data-complexity of the two-variable fragment with counting quantifiers
+Normal rank
@@ Property / cites work @@
+Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
+Normal rank
@@ Property / cites work @@
+Q4539599
@@ Property / cites work: Q4539599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954172
@@ Property / cites work: Q4954172 / rank @@
+Normal rank
@@ Property / cites work @@
+Information integration using logical views
@@ Property / cites work: Information integration using logical views / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Q4393484
@@ Property / cites work: Q4393484 / rank @@
+Normal rank