A goal-directed implementation of query answering for hybrid MKNF knowledge bases (Q5410731): Difference between revisions

@@ Property / author @@
-Terrance Swift
@@ Property / author: Terrance Swift / rank @@
-Normal rank
@@ Property / author @@
+Terrance Swift
@@ Property / author: Terrance Swift / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Local closed world reasoning with description logics under the well-founded semantics
+Normal rank
@@ Property / cites work @@
+Optimizing description logic subsumption
@@ Property / cites work: Optimizing description logic subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook on Ontologies
@@ Property / cites work: Handbook on Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Web reasoning and rule systems. First international conference, RR 2007, Innsbruck, Austria, June 7--8, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Tabled evaluation with delaying for general logic programs
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank
@@ Property / cites work @@
+Q3995433
@@ Property / cites work: Q3995433 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1471068412000439
+Normal rank
@@ Property / OpenAlex ID @@
+W3100872753
@@ Property / OpenAlex ID: W3100872753 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5410731