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.