Combining Horn rules and description logics in CARIN (Q1274681): Difference between revisions

@@ Property / author @@
+Alon Y. Halevy
@@ Property / author: Alon Y. Halevy / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287474
@@ Property / cites work: Q4287474 / rank @@
+Normal rank
@@ Property / cites work @@
+Cardinality restrictions on concepts
@@ Property / cites work: Cardinality restrictions on concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256516
@@ Property / cites work: Q4256516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386924
@@ Property / cites work: Q4386924 / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution principle for constrained logics
@@ Property / cites work: A resolution principle for constrained logics / rank @@
+Normal rank
@@ Property / cites work @@
+Trends in artificial intelligence. 2nd congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy; October 29-31, 1991. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4028788
@@ Property / cites work: Q4028788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028805
@@ Property / cites work: Q4028805 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of knowledge bases based on containment checking
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank
@@ Property / cites work @@
+The implication and finite implication problems for typed template dependencies
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(98)00048-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2059572645
@@ Property / OpenAlex ID: W2059572645 / rank @@
+Normal rank