Skip to content

Commit 9008f47

Browse files
committed
bug fix with inferencing equivalence under cubis symmetry
1 parent e63a73f commit 9008f47

1 file changed

Lines changed: 1 addition & 10 deletions

File tree

src/ontology/components/cryo-entities.owl

Lines changed: 1 addition & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -119,22 +119,13 @@
119119

120120

121121

122-
<!-- https://w3id.org/pmd/cryo/CRYO_0000167 -->
123-
124-
<owl:ObjectProperty rdf:about="https://w3id.org/pmd/cryo/CRYO_0000167">
125-
<rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000050"/>
126-
<rdfs:label xml:lang="en">member of</rdfs:label>
127-
</owl:ObjectProperty>
128-
129-
130-
131122
<!-- https://w3id.org/pmd/cryo/CRYO_0000168 -->
132123

133124
<owl:ObjectProperty rdf:about="https://w3id.org/pmd/cryo/CRYO_0000168">
134125
<rdfs:subPropertyOf rdf:resource="https://w3id.org/pmd/cryo/CRYO_0000164"/>
135126
<owl:propertyChainAxiom rdf:parseType="Collection">
136127
<rdf:Description rdf:about="http://purl.obolibrary.org/obo/IAO_0000235"/>
137-
<rdf:Description rdf:about="https://w3id.org/pmd/cryo/CRYO_0000167"/>
128+
<rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002350"/>
138129
<rdf:Description rdf:about="https://w3id.org/pmd/cryo/CRYO_0000162"/>
139130
</owl:propertyChainAxiom>
140131
<rdfs:label xml:lang="en">denoted by family under cubic symmetry</rdfs:label>

0 commit comments

Comments
 (0)