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 group