Published September 11, 2024 | Version v1
Dataset Open

Verifying Ontology Restrictions: Pizza Axioms

Creators

  • 1. Vienna University of Economics and Business

Description

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.

 

Files

Files (5.3 MB)

Name Size Download all
md5:1f5ef094e0f518903e48202a83c2e4f4
34.6 kB Download
md5:32830ee914e8b0300f6db95a8bd2edf3
5.3 MB Download

Additional details

Related works

Is required by
Other: 10.5281/zenodo.7643357 (DOI)

Funding

FWF Austrian Science Fund
HOnEst project V745

Dates

Created
2023
GPT-4 Experiment Annotations
Created
2020
Dataset Creation for HiL Experiments

References

  • S. Tsaneva, S. Vasic, and M. Sabou, "LLM-driven Ontology Evaluation: Verifying Ontology Restrictions with ChatGPT," in The Semantic Web: ESWC Satellite Events, 2024, 2024.
  • S. Tsaneva and M. Sabou, "Enhancing Human-in-the-Loop Ontology Curation Results through Task Design," Journal of Data and Information Quality, 2023. https://doi.org/10.1145/3626960
  • Stefani Tsaneva, Klemens Käsznar, & Marta Sabou. (2023). HERO- a Human-centric ontology Evaluation pROcess. Zenodo. https://doi.org/10.5281/zenodo.7643357