ApolloDev / apollo-sv

Repository for Apollo-SV ontology. Versioning Apollo-SV independently of the software was made easiest by having it as a separate repository.
Creative Commons Attribution 4.0 International
8 stars 4 forks source link

APOLLO_SV:00000161 is deprecated but still has its logical axioms #220

Closed matentzn closed 1 year ago

matentzn commented 1 year ago

Logical axioms need to be removed from deprecated classes.