search

oborel / obo-relations

RO is an ontology of relations for use with biological ontologies
http://oborel.github.io/
Other
92 stars 47 forks source link

Removing danging logical axioms on obsoleted relations and add QC #751

Closed matentzn closed 1 year ago

matentzn commented 1 year ago

Fixes #752

anitacaron commented 1 year ago

Checking for more logical axioms on obsolete terms, I found two with the TransitiveObjectProperty. Should we generalise this PR?

matentzn commented 1 year ago

Go ahead. Ideally, we combine this with a generalised version of https://github.com/ontodev/robot/blob/master/robot-core/src/main/resources/report_queries/deprecated_property_reference.rq

which takes into account property characteristics and domain and range axioms

matentzn commented 1 year ago

Good to merge!