Merge pull request #24 from obophenotype/lateral-swrl

obophenotype · Feb 5, 2021 · c18e138 · c18e138
2 parents 29d0530 + 4aaac6a
commit c18e138
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/ontology/bspo-edit.ofn b/src/ontology/bspo-edit.ofn
@@ -2662,4 +2662,7 @@ AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/CARO_0000010> "an
 SubClassOf(<http://purl.obolibrary.org/obo/CARO_0000010> <http://purl.obolibrary.org/obo/CARO_0000007>)
 
 
+DLSafeRule(Annotation(rdfs:comment "This can't be added as a property chain because it causes a circularity violation for 'part of'.") Body(ObjectPropertyAtom(<http://purl.obolibrary.org/obo/BSPO_0000120> Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)) ObjectPropertyAtom(<http://purl.obolibrary.org/obo/BFO_0000050> Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ObjectPropertyAtom(<http://purl.obolibrary.org/obo/BSPO_0000120> Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
+DLSafeRule(Annotation(rdfs:comment "This can't be added as a property chain because it causes a circularity violation for 'part of'.") Body(ObjectPropertyAtom(<http://purl.obolibrary.org/obo/BSPO_0000121> Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)) ObjectPropertyAtom(<http://purl.obolibrary.org/obo/BFO_0000050> Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ObjectPropertyAtom(<http://purl.obolibrary.org/obo/BSPO_0000121> Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
+DLSafeRule(Annotation(rdfs:comment "This can't be added as a property chain because it causes a circularity violation for 'part of'.") Body(ObjectPropertyAtom(<http://purl.obolibrary.org/obo/BSPO_0000126> Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)) ObjectPropertyAtom(<http://purl.obolibrary.org/obo/BFO_0000050> Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ObjectPropertyAtom(<http://purl.obolibrary.org/obo/BSPO_0000126> Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
 )