Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
incoherency caused by spatial disjointness axiom between PNS and CNS #1236
Can't see any reason it should be in the mereotopological relationship hierarchy. Oddly - the relationship to has_part doesn't seem to be in the latest RO. Looks like this is making a cycle => inconsistency even in ontologies that don't use determined_by but have (some?) combinations of part of and has part.
determined by is fine http://purl.obolibrary.org/obo/RO_0002507
It seems somewhere (not in RO) we have an axiom that has-developmental-contribution-from http://purl.obolibrary.org/obo/RO_0002254 is being asserted as a subproperty of determined-by.
This is invalid, and furthermore there is no reason at all for these to be connected. It seems like this is leaking in from somwhere else. Can you tell where this subPropertyOf is coming from (I don't have the source module here)