Axiomatisation of general concept inclusions from finite interpretations (Q4586152): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model
+Normal rank
@@ Property / cites work @@
+An Approach to Exploring Description Logic Knowledge Bases
+Normal rank
@@ Property / cites work @@
+Q2754245
@@ Property / cites work: Q2754245 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Basic Algorithms in Concept Analysis
@@ Property / cites work: Two Basic Algorithms in Concept Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3149779
@@ Property / cites work: Q3149779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5058462
@@ Property / cites work: Q5058462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15--18, 2010. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3189480
@@ Property / cites work: Q3189480 / rank @@
+Normal rank
@@ Property / cites work @@
+Attribute-incremental construction of the canonical implication basis
+Normal rank
@@ Property / cites work @@
+Q4939250
@@ Property / cites work: Q4939250 / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptual Structures at Work
@@ Property / cites work: Conceptual Structures at Work / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395033
@@ Property / cites work: Q4395033 / rank @@
+Normal rank
@@ Property / cites work @@
+Lexico-Logical Acquisition of OWL DL Axioms
@@ Property / cites work: Lexico-Logical Acquisition of OWL DL Axioms / rank @@
+Normal rank