Realizing Default Logic over Description Logic Knowledge Bases (Q3638182): Difference between revisions

@@ Property / describes a project that uses @@
+Racer
@@ Property / describes a project that uses: Racer / 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-642-02906-6_52
+Normal rank
@@ Property / OpenAlex ID @@
+W1502733280
@@ Property / OpenAlex ID: W1502733280 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57549130
@@ Property / Wikidata QID: Q57549130 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Description logics of minimal knowledge and negation as failure
+Normal rank
@@ Property / cites work @@
+An epistemic operator for description logics
@@ Property / cites work: An epistemic operator for description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting conjunctive queries in description logic programs
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank