CA-Provinces

该数据集概述了加拿大10个省的模型，并添加了需要11个加拿大省的名义数据。在其他信息方面，相比于FaCT++，Cicada在识别不一致性方面显著更快。该任务的目的是进行本体一致性检查。

This dataset outlines models for 10 Canadian provinces, and adds nominal data that necessitates the inclusion of all 11 Canadian provinces. In other aspects, Cicada is significantly faster than FaCT++ in identifying inconsistencies. The objective of this task is to perform ontology consistency checking.