An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$ (Q5747785): Difference between revisions

@@ Property / cites work @@
+Self-embedded context-free grammars with regular counterparts
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered chaining calculi for first-order theories of transitive relations
+Normal rank
@@ Property / cites work @@
+Q3351355
@@ Property / cites work: Q3351355 / rank @@
+Normal rank
@@ Property / cites work @@
+On certain formal properties of grammars
@@ Property / cites work: On certain formal properties of grammars / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Regularity in Grammar Logics and Related Modal Logics
+Normal rank
@@ Property / cites work @@
+Deciding regular grammar logics with converse through first-order logic
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of SHIQ with complex role inclusion axioms
+Normal rank
@@ Property / cites work @@
+Pure grammars
@@ Property / cites work: Pure grammars / rank @@
+Normal rank
@@ Property / cites work @@
+On sentential forms of context-free grammars
@@ Property / cites work: On sentential forms of context-free grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank