Automating OntoClean Ontology Verification. - Shathika Kularatne; Wolfgang Mayer; Markus Stumptner (IEA/AIE (1), 2025)

Automating OntoClean - Subsumption Hierarchy Construction. - Shathika Kularatne; Wolfgang Mayer; Markus Stumptner (IEA/AIE (1), 2025)