search

CIDO-ontology / cido

CIDO: Coronavirus Infectious Disease Ontology
https://obofoundry.org/ontology/cido.html
Creative Commons Attribution 4.0 International
20 stars 11 forks source link

Cyclic dependency #22

Closed mirajaonison closed 3 years ago

mirajaonison commented 3 years ago

Hi, Starting the reasoner for cido.owl with HermIT on Protégé returns An error occurred during reasoning: The given property hierarchy is not regular. There is a cyclic dependency involving property <http://purl.obolibrary.org/obo/BFO_0000050>. java.lang.IllegalArgumentException: The given property hierarchy is not regular. There is a cyclic dependency involving property <http://purl.obolibrary.org/obo/BFO_0000050>

What should be deleted to resolve this issue ?

mirajaonison commented 3 years ago

Resolved the issue by updating the OWL file by removing _partof from SO and update determined by ("RO:0002507") by removing the SubProperty Of _partof.

Yet, the reasoner can't build the class hierarchy (Java Heap Space Error)