Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B42
@@ Property / Mathematics Subject Classification ID: 03B42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6246046
@@ Property / zbMATH DE Number: 6246046 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ontologies
@@ Property / zbMATH Keywords: ontologies / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\mathcal{ALC}\)
@@ Property / zbMATH Keywords: \(\mathcal{ALC}\) / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity
@@ Property / zbMATH Keywords: complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Post's lattice
@@ Property / zbMATH Keywords: Post's lattice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+description logic
@@ Property / zbMATH Keywords: description logic / rank @@
+Normal rank

Revision as of 14:37, 29 June 2023