Cardinality restrictions for DBpedia 2016-10

<p>The results of the experiment described in the paper&nbsp;<em>Mining Cardinality Restrictions in OWL</em>&nbsp;(J. Potoniec 2020). Each file corresponds to a single DBpedia class and a single cross-validation fold. Each file consists of the following columns:</p> <ul> <li>Grouping criterion: <ul> <li>Threshold - the value of threshold&nbsp;<em>theta</em> in the experiment</li> <li>Same type - true if grouping of axioms required equivalence of types in the right-hand side of the axioms, false if subsumption was allowed (see Sect. 4.5 of the paper)</li> <li>Same property - true if grouping of axioms required equivalence of properties in the right-hand side of the axioms, false if subsumption was allowed (see Sect. 4.5 of the paper)</li> <li>Same cardinality -&nbsp;true if grouping of axioms required equivalence of cardinalities in the right-hand side of the axioms, false if inequality was allowed (see Sect. 4.5 of the paper)</li> <li>Fold - number of cross-validation fold, the same value as in the file name</li> </ul> </li> <li>Axiom description <ul> <li>LHS - the left-hand side of the subsumption axiom, the same value as in the file name</li> <li>Direction - <em>min</em> stands for minimal cardinaly, <em>max</em> for maximal cardinality</li> <li>Property - property used in the cardinality restriction</li> <li>n - cardinality used in the cardinality restriction</li> <li>Type - type used in the cardinality restriction</li> </ul> </li> <li>Grouping results: <ul> <li>Group - a number of group within the set of axioms defined by the columns in Grouping criterion</li> <li>Most general - true if the axioms is the most general within its group</li> <li>Most specific - true if the axiom is the most specific within its group</li> </ul> </li> </ul> <p>&nbsp;</p> <p>&nbsp;</p>