Asiyah Lin, Avi Shaked: Utilizing PROVE Tool to Evaluate Ontologies. ER (Companion) 2024: 146-150