Tractable approximate deduction for OWL (Q274420): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6572788
@@ Property / zbMATH DE Number: 6572788 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ontology
@@ Property / zbMATH Keywords: ontology / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+approximation
@@ Property / zbMATH Keywords: approximation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+OWL 2
@@ Property / zbMATH Keywords: OWL 2 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+approximate reasoning
@@ Property / zbMATH Keywords: approximate reasoning / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLog
@@ Property / describes a project that uses: DLog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TrOWL
@@ Property / describes a project that uses: TrOWL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2273684054
@@ Property / OpenAlex ID: W2273684054 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:274420