Disjoints of upper level classes to detect inconsistencies
Opened this issue · 0 comments
bpeters42 commented
To detect inconsistencies like issue #182, we could insert disjoints for (most) upper level classes. I believe the following are all pairwise disjoint
- material entity
- characteristic
- process
- information
A potentially problematic class where I would be more careful is 'immaterial entity' - which might overlap with characteristic - and we simply haven't fully defined it. But we could minimally add disjoints with process and material entity.