Hybrid Logics and Ontology Languages (Q2867944): Difference between revisions

@@ Property / describes a project that uses @@
+KL-ONE
@@ Property / describes a project that uses: KL-ONE / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56988767
@@ Property / Wikidata QID: Q56988767 / 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.1016/j.entcs.2006.11.022
+Normal rank
@@ Property / OpenAlex ID @@
+W2055678419
@@ Property / OpenAlex ID: W2055678419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012242
@@ Property / cites work: Q4012242 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723446
@@ Property / cites work: Q2723446 / rank @@
+Normal rank
@@ Property / cites work @@
+A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in expressive description logics via tableaux
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954172
@@ Property / cites work: Q4954172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353561
@@ Property / cites work: Q4353561 / rank @@
+Normal rank