Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove property chains inferring develops_from over part_of. #1808

Merged
merged 1 commit into from
Apr 12, 2021
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 1 addition & 9 deletions cl_import.owl
Original file line number Diff line number Diff line change
Expand Up @@ -1057,14 +1057,6 @@ A continuant cannot have an occurrent as part: use 'participates in'.
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000004"/>
<owl:propertyChainAxiom rdf:parseType="Collection">
<rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000050"/>
<rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002202"/>
</owl:propertyChainAxiom>
<owl:propertyChainAxiom rdf:parseType="Collection">
<rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002202"/>
<rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000050"/>
</owl:propertyChainAxiom>
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
<obo:IAO_0000115 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">x develops from y if and only if either (a) x directly develops from y or (b) there exists some z such that x directly develops from z and z develops from y</obo:IAO_0000115>
<obo:IAO_0000117 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Chris Mungall</obo:IAO_0000117>
Expand Down Expand Up @@ -66720,5 +66712,5 @@ plexiform layer using GABA.</obo:IAO_0000115>



<!-- Generated by the OWL API (version 4.5.6) https://github.com/owlcs/owlapi -->
<!-- Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi -->

2 changes: 0 additions & 2 deletions uberon_edit.obo
Original file line number Diff line number Diff line change
Expand Up @@ -195812,11 +195812,9 @@ xref: RO:0002285
id: develops_from
name: develops_from
xref: RO:0002202
holds_over_chain: part_of develops_from
is_transitive: true
is_a: has_developmental_contribution_from ! has developmental contribution from
inverse_of: develops_into ! develops_into
transitive_over: part_of ! part of

[Typedef]
id: develops_from_part_of
Expand Down