Open GordianDziwis opened 2 years ago
WIP:
Hi, inverseOf has been added to the library, you can get it from here: https://github.com/oeg-upm/chowlk_spec/blob/master/resources/chowlk-library-ontologist.xml The rest of the axioms are WIP.
WIP: