Making realizable a disjoint union of disposition and role.

OBOFoundry / COB

An experimental ontology containing key terms from Open Biological and Biomedical Ontologies (OBO)

https://obofoundry.github.io/COB

Creative Commons Zero v1.0 Universal

35 stars 8 forks source link

Making realizable a disjoint union of disposition and role. #221

Open cmungall opened 1 year ago

cmungall commented 1 year ago

See #220 for full context

I have no strong opinions about whether this should be merged, the PR is in part to demonstrate a claim in 220.

I tend to think that if we include a class disposition then we should include complete axioms for it, but it's not clear that high level groupings like disposition do any work in COB, and maybe we should but out this grouping

alanruttenberg commented 10 months ago

I don't think it should be a disjoint union. Realizable was deliberately left open because of the expectation that there would be other subclasses, such as power.