Adding the power-set to description logics (Q1989328): Difference between revisions

@@ Property / author @@
+Alberto Policriti
@@ Property / author: Alberto Policriti / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2988960511
@@ Property / OpenAlex ID: W2988960511 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09844
@@ Property / arXiv ID: 1902.09844 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators
+Normal rank
@@ Property / cites work @@
+A Set-Theoretic Approach to ABox Reasoning Services
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
+Normal rank
@@ Property / cites work @@
+Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
+Normal rank
@@ Property / cites work @@
+A set-theoretic translation method for polymodal logics
+Normal rank
@@ Property / cites work @@
+Q3478385
@@ Property / cites work: Q3478385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3257866
@@ Property / cites work: Q3257866 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430407
@@ Property / cites work: Q4430407 / rank @@
+Normal rank
@@ Property / cites work @@
+On Sets and Graphs
@@ Property / cites work: On Sets and Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126831231
@@ Property / Wikidata QID: Q126831231 / rank @@
+Normal rank