GDC and SDC not asserted as disjoint
Closed this issue · 1 comments
mark-jensen commented
From: https://groups.google.com/forum/#!topic/bfo-discuss/u2h5Dr7raNc.
Stefan noted that
'generically dependent continuant' and 'specifically dependent continuant' are not disjoint.
Using the PURL, which redirects to: https://raw.githubusercontent.com/BFO-ontology/BFO/v2.0/bfo.owl
Please fix.
zhengj2007 commented
Disjoint axioms were added.