Cardinality restrictions for DBpedia 2016-10

The results of the experiment described in the paper <em>Mining Cardinality Restrictions in OWL</em> (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 <em>theta</em> 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 - <em>min</em> stands for minimal cardinaly, <em>max</em> 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

本数据集对应论文《OWL中的基数限制挖掘》（Mining Cardinality Restrictions in OWL，J. Potoniec 2020）所述实验的结果。每个文件对应一个DBpedia类与单个交叉验证折。每个文件包含以下列：
分组准则：
阈值（Threshold）：实验中阈值θ的取值。
同类型（Same type）：若公理分组需满足公理右侧的类型等价，则取值为真；若允许包含关系（subsumption），则取值为假（详见论文第4.5节）。
同属性（Same property）：若公理分组需满足公理右侧的属性等价，则取值为真；若允许包含关系，则取值为假（详见论文第4.5节）。
同基数（Same cardinality）：若公理分组需满足公理右侧的基数等价，则取值为真；若允许不等关系，则取值为假（详见论文第4.5节）。
交叉验证折编号（Fold）：交叉验证折的编号，与文件名中的取值一致。
公理描述：
左部（LHS，Left-hand side）：包含公理的左侧部分，与文件名中的取值一致。
方向（Direction）：min代表最小基数，max代表最大基数。
属性（Property）：基数限制中使用的属性。
基数取值（n）：基数限制中使用的基数数值。
类型（Type）：基数限制中使用的类型。
分组结果：
分组编号（Group）：由分组准则列定义的公理集合内的分组编号。
最泛化公理（Most general）：若该公理在其所属分组中为最泛化的公理，则取值为真。
最特化公理（Most specific）：若该公理在其所属分组中为最特化的公理，则取值为真。