Query Answering in Description Logics: The Knots Approach (Q3638272): Difference between revisions

@@ 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-642-02261-6_3
+Normal rank
@@ Property / OpenAlex ID @@
+W1900343670
@@ Property / OpenAlex ID: W1900343670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
+Normal rank
@@ Property / cites work @@
+Reasoning Using Knots
@@ Property / cites work: Reasoning Using Knots / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+The Complexity of Conjunctive Query Answering in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+The complexity of finite model reasoning in description logics
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in expressive description logics via tableaux
+Normal rank
@@ Property / cites work @@
+BDD-based decision procedures for the modal logic K ★
+Normal rank
@@ Property / cites work @@
+Data-complexity of the two-variable fragment with counting quantifiers
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3638272