Cardinality restrictions for DBpedia 2016-10

The results of the experiment described in the paper Mining Cardinality Restrictions in OWL (J. Potoniec 2020). Each file corresponds to a single DBpedia class and a single cross-validation fold. Each file consists of the following columns: Grouping criterion: Threshold - the value of threshold theta in the experiment 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) 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) Same cardinality - 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) Fold - number of cross-validation fold, the same value as in the file name Axiom description LHS - the left-hand side of the subsumption axiom, the same value as in the file name Direction - min stands for minimal cardinaly, max for maximal cardinality Property - property used in the cardinality restriction n - cardinality used in the cardinality restriction Type - type used in the cardinality restriction Grouping results: Group - a number of group within the set of axioms defined by the columns in Grouping criterion Most general - true if the axioms is the most general within its group Most specific - true if the axiom is the most specific within its grou