MOWLCorp Rule Sets

该数据集包含了来自MOWLCorp的TBoxes，这些TBoxes已经过标准化处理，以获得等价的存在规则集。在565个规则集中，有387个被认定为具有EMFA特性，而使用不同的公理化技术，分别有73个和384个被认定为具有MFA特性。任务是对EMFA和MFA的主张进行验证。

This dataset contains TBoxes sourced from MOWLCorp, which have been standardized to yield an equivalent collection of existential rules. Out of the 565 total rule sets, 387 are classified as exhibiting the EMFA property. Using distinct axiomatization techniques, 73 and 384 of the rule sets are respectively identified as possessing the MFA property. The core task of this dataset is to validate the claims regarding the EMFA and MFA properties.