obo-relations icon indicating copy to clipboard operation
obo-relations copied to clipboard

Published 20 hours ago • verified publisher icon oborel

Remove redundant domain in `occurs in` (BFO:0000066)

Open anitacaron opened this issue 1 year ago • 1 comments

Yes, but the result is that the actual domain is the intersection of the two. In this case BFO:0000015 is a subclass of BFO:0000003, so the actual domain is just BFO:0000015.

Originally posted by @balhoff in https://github.com/oborel/obo-relations/pull/795#discussion_r1551958498

anitacaron avatar Apr 05 '24 11:04 anitacaron

The domain BFO:0000015 comes from COB import. I found this PR when it was added in cob.owl and cob-base-reasoned.owl three years ago.

Today, it's only available in cob.owl.

https://github.com/OBOFoundry/COB/blob/9bf639a1ebff2f06988938f74681984a5f6d59ca/cob.owl#L129-L135

The domain defined in RO core.owl is BFO:0000003.

https://github.com/oborel/obo-relations/blob/f0994da3b621d7284848abb02803d5f7f27a3ac0/src/ontology/components/core.owl#L193-L213

Should we update the domain in RO or remove the inferred one in COB?

anitacaron avatar Apr 05 '24 11:04 anitacaron