Answering regular path queries mediated by unrestricted $\mathcal{SQ}$ ontologies (Q2680773): Difference between revisions

@@ Property / cites work @@
+Logical foundations of information disclosure in ontology-based data integration
+Normal rank
@@ Property / cites work @@
+An Introduction to Description Logic
@@ Property / cites work: An Introduction to Description Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+Answering regular path queries in expressive description logics via alternating tree-automata
+Normal rank
@@ Property / cites work @@
+The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases
+Normal rank
@@ Property / cites work @@
+Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms
+Normal rank
@@ Property / cites work @@
+Querying the Unary Negation Fragment with Regular Path Expressions.
+Normal rank
@@ Property / cites work @@
+Complexity of weak acceptance conditions in tree automata.
+Normal rank
@@ Property / cites work @@
+Q3888558
@@ Property / cites work: Q3888558 / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+The two‐variable fragment with counting and equivalence
+Normal rank
@@ Property / cites work @@
+Querying the Guarded Fragment with Transitivity
@@ Property / cites work: Querying the Guarded Fragment with Transitivity / rank @@
+Normal rank
@@ Property / cites work @@
+Query Answering with Transitive and Linear-Ordered Data
+Normal rank
@@ Property / cites work @@
+Q5092376
@@ Property / cites work: Q5092376 / rank @@
+Normal rank
@@ Property / cites work @@
+Unary negation
@@ Property / cites work: Unary negation / rank @@
+Normal rank
@@ Property / cites work @@
+How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles
+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 @@
+The Complexity of Conjunctive Query Answering in Expressive Description Logics
+Normal rank

Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies (Q2680773): Difference between revisions

Latest revision as of 06:25, 31 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)