Verifying Ontology Restrictions: Pizza Axioms

Data created fot the experimental investigations performed in [1] and [2]. PizzaExperiment-Dataset-HIT-Sources.xlsx contains 90 Examples (30 Ontology Axioms, represented in 3 formalism) [1] For each axioms a correct and a corrupted version is provided with indication of the concrete defect type PizzaExperiment-Dataset-GPT Annottaions.xlsx - an extension of the previuos dataset, inlcuding an additional TTL-representational formalism as well as GPT-4 annotations of each axiom [2]. [1] S. Tsaneva and M. Sabou, “Enhancing Human-in-the-Loop Ontology Curation Results through Task Design,” Journal of Data and Information Quality, 2023. [2] S. Tsaneva, S. Vasic, and M. Sabou, “LLM-driven Ontology Evaluation: Verifying Ontology Restrictions with ChatGPT,” in The Semantic Web: ESWC Satellite Events, 2024.本数据集为[1]与[2]中所述实验研究所创建。 PizzaExperiment-Dataset-HIT-Sources.xlsx 包含90条示例（含30条本体公理(Ontology Axioms)，以3种形式化表示）[1]。针对每条公理，均提供了正确版本与损坏版本，并标注了具体的缺陷类型。 PizzaExperiment-Dataset-GPT Annottaions.xlsx 为前述数据集的扩展版本，新增了TTL（Turtle）形式化表示格式，并为每条公理添加了GPT-4标注结果[2]。 [1] S. Tsaneva和M. Sabou，《通过任务设计提升人机协同本体编辑效果》，《数据与信息质量期刊》，2023年。 [2] S. Tsaneva、S. Vasic和M. Sabou，《大语言模型驱动的本体评估：借助ChatGPT验证本体约束》，载于《语义网：ESWC卫星会议》，2024年。