Updated <LINK> scopenote with temporal extension link

BFO-ontology · Feb 7, 2024 · 5ed4687 · 5ed4687
1 parent 3b7e1df
commit 5ed4687
Show file tree

Hide file tree

Showing 22 changed files with 50 additions and 57 deletions.
diff --git a/...irst-order-logic-axiomatization/README.md → documentation/axiomatization-pds/README.md b/...irst-order-logic-axiomatization/README.md → documentation/axiomatization-pds/README.md
diff --git a/...c-axiomatization/continuant-mereology.pdf → ...iomatization-pds/continuant-mereology.pdf b/...c-axiomatization/continuant-mereology.pdf → ...iomatization-pds/continuant-mereology.pdf
diff --git a/...xiomatization/existence-instantiation.pdf → ...atization-pds/existence-instantiation.pdf b/...xiomatization/existence-instantiation.pdf → ...atization-pds/existence-instantiation.pdf
diff --git a/...gic-axiomatization/generic-dependence.pdf → ...axiomatization-pds/generic-dependence.pdf b/...gic-axiomatization/generic-dependence.pdf → ...axiomatization-pds/generic-dependence.pdf
diff --git a/...st-order-logic-axiomatization/history.pdf → documentation/axiomatization-pds/history.pdf b/...st-order-logic-axiomatization/history.pdf → documentation/axiomatization-pds/history.pdf
diff --git a/...-logic-axiomatization/material-entity.pdf → ...on/axiomatization-pds/material-entity.pdf b/...-logic-axiomatization/material-entity.pdf → ...on/axiomatization-pds/material-entity.pdf
diff --git a/...ic-axiomatization/occurrent-mereology.pdf → ...xiomatization-pds/occurrent-mereology.pdf b/...ic-axiomatization/occurrent-mereology.pdf → ...xiomatization-pds/occurrent-mereology.pdf
diff --git a/...irst-order-logic-axiomatization/order.pdf → documentation/axiomatization-pds/order.pdf b/...irst-order-logic-axiomatization/order.pdf → documentation/axiomatization-pds/order.pdf
diff --git a/...er-logic-axiomatization/participation.pdf → ...tion/axiomatization-pds/participation.pdf b/...er-logic-axiomatization/participation.pdf → ...tion/axiomatization-pds/participation.pdf
diff --git a/...ation/profiles/temporalized-relations.pdf → ...n-pds/profiles/temporalized-relations.pdf b/...ation/profiles/temporalized-relations.pdf → ...n-pds/profiles/temporalized-relations.pdf
diff --git a/...st-order-logic-axiomatization/spatial.pdf → documentation/axiomatization-pds/spatial.pdf b/...st-order-logic-axiomatization/spatial.pdf → documentation/axiomatization-pds/spatial.pdf
diff --git a/...r-logic-axiomatization/spatiotemporal.pdf → ...ion/axiomatization-pds/spatiotemporal.pdf b/...r-logic-axiomatization/spatiotemporal.pdf → ...ion/axiomatization-pds/spatiotemporal.pdf
diff --git a/...ic-axiomatization/specific-dependency.pdf → ...xiomatization-pds/specific-dependency.pdf b/...ic-axiomatization/specific-dependency.pdf → ...xiomatization-pds/specific-dependency.pdf
diff --git a/...-logic-axiomatization/temporal-region.pdf → ...on/axiomatization-pds/temporal-region.pdf b/...-logic-axiomatization/temporal-region.pdf → ...on/axiomatization-pds/temporal-region.pdf
diff --git a/...-axiomatization/universal-declaration.pdf → ...omatization-pds/universal-declaration.pdf b/...-axiomatization/universal-declaration.pdf → ...omatization-pds/universal-declaration.pdf
diff --git a/...tation/sparql/min-1_ontology_title.sparql → ...tation/sparql/min_1_ontology_title.sparql b/...tation/sparql/min-1_ontology_title.sparql → ...tation/sparql/min_1_ontology_title.sparql
diff --git a/src/owl/bfo-core.ofn b/src/owl/bfo-core.ofn
diff --git a/src/owl/bfo-core.owl b/src/owl/bfo-core.owl
diff --git a/src/owl/bfo-core.ttl b/src/owl/bfo-core.ttl
diff --git a/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.ofn b/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.ofn
@@ -139,7 +139,6 @@ AnnotationAssertion(dc11:identifier <http://purl.obolibrary.org/obo/BFO_0000055>
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/BFO_0000055> "realizes"@en)
 AnnotationAssertion(skos:definition <http://purl.obolibrary.org/obo/BFO_0000055> "(Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c"@en)
 AnnotationAssertion(skos:example <http://purl.obolibrary.org/obo/BFO_0000055> "A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart"@en)
-AnnotationAssertion(skos:scopeNote <http://purl.obolibrary.org/obo/BFO_0000055> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link>"@en)
 ObjectPropertyDomain(<http://purl.obolibrary.org/obo/BFO_0000055> <http://purl.obolibrary.org/obo/BFO_0000015>)
 ObjectPropertyRange(<http://purl.obolibrary.org/obo/BFO_0000055> <http://purl.obolibrary.org/obo/BFO_0000017>)
 

diff --git a/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.owl b/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.owl
@@ -142,7 +142,6 @@
         <rdfs:label xml:lang="en">realizes</rdfs:label>
         <skos:definition xml:lang="en">(Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d &amp; for all t, if b has participant d then c exists &amp; the type instantiated by b is correlated with the type instantiated by c</skos:definition>
         <skos:example xml:lang="en">A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart</skos:example>
-        <skos:scopeNote xml:lang="en">Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: &lt;Link&gt;</skos:scopeNote>
     </owl:ObjectProperty>
 
 

diff --git a/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.ttl b/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.ttl
@@ -104,8 +104,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty .
                                              dc11:identifier "059-BFO" ;
                                              rdfs:label "realizes"@en ;
                                              skos:definition "(Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c"@en ;
-                                             skos:example "A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart"@en ;
-                                             skos:scopeNote "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link>"@en .
+                                             skos:example "A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart"@en .
 
 
 ###  http://purl.obolibrary.org/obo/BFO_0000062