Merge pull request #348 from avsculley/181-owlequivalentClass-for-Cause-and-Effect-do-not-match-definitions

Issue #181 fix
This commit is contained in:
J. Neil Otte
2024-08-18 15:56:16 -04:00
committed by GitHub

View File

@@ -1266,7 +1266,7 @@ cco:Cause rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000015
[ rdf:type owl:Restriction ;
owl:onProperty cco:is_cause_of ;
owl:someValuesFrom obo:BFO_0000003
owl:someValuesFrom obo:BFO_0000015
]
) ;
rdf:type owl:Class
@@ -1461,7 +1461,7 @@ cco:Effect rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000015
[ rdf:type owl:Restriction ;
owl:onProperty cco:caused_by ;
owl:someValuesFrom obo:BFO_0000003
owl:someValuesFrom obo:BFO_0000015
]
) ;
rdf:type owl:Class