Verifying Ontology Restrictions: Pizza Axioms

<p>Data created fot the experimental investigations performed in [1] and [2].&nbsp;</p> <ul> <li><strong><em>PizzaExperiment-Dataset-HIT-Sources.xlsx</em></strong> contains 90 Examples (30 Ontology Axioms, represented in 3 formalism) [1] <ul> <li>For each axioms a correct and a corrupted version is provided with indication of the concrete defect type</li> </ul> </li> <li><em><strong>PizzaExperiment-Dataset-GPT Annottaions.xlsx </strong>-</em> an extension of the previuos dataset, inlcuding an additional TTL-representational formalism as well as GPT-4 annotations of each axiom [2].</li> </ul> <p>[1] <span>S. Tsaneva</span> and <span>M. Sabou</span>, &ldquo;Enhancing Human-in-the-Loop Ontology Curation Results through Task Design,&rdquo; Journal of Data and Information Quality, 2023.</p> <p>[2] <span>S. Tsaneva</span>, S. Vasic, and <span>M. Sabou</span>, &ldquo;LLM-driven Ontology Evaluation: Verifying Ontology Restrictions with ChatGPT,&rdquo; in The Semantic Web: ESWC Satellite Events, 2024.</p> <p>&nbsp;</p>