From 5ed468765ea5655a0ff9a93877fd059f294a152d Mon Sep 17 00:00:00 2001 From: John Beverley Date: Wed, 7 Feb 2024 02:03:44 -0500 Subject: [PATCH] Updated scopenote with temporal extension link --- .../README.md | 0 .../continuant-mereology.pdf | Bin .../existence-instantiation.pdf | Bin .../generic-dependence.pdf | Bin .../history.pdf | Bin .../material-entity.pdf | Bin .../occurrent-mereology.pdf | Bin .../order.pdf | Bin .../participation.pdf | Bin .../profiles/temporalized-relations.pdf | Bin .../spatial.pdf | Bin .../spatiotemporal.pdf | Bin .../specific-dependency.pdf | Bin .../temporal-region.pdf | Bin .../universal-declaration.pdf | Bin ...tle.sparql => min_1_ontology_title.sparql} | 0 src/owl/bfo-core.ofn | 33 ++++++++-------- src/owl/bfo-core.owl | 33 ++++++++-------- src/owl/bfo-core.ttl | 36 +++++++++--------- .../bfo-2020-without-some-all-times.ofn | 1 - .../bfo-2020-without-some-all-times.owl | 1 - .../bfo-2020-without-some-all-times.ttl | 3 +- 22 files changed, 50 insertions(+), 57 deletions(-) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/README.md (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/continuant-mereology.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/existence-instantiation.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/generic-dependence.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/history.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/material-entity.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/occurrent-mereology.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/order.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/participation.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/profiles/temporalized-relations.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/spatial.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/spatiotemporal.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/specific-dependency.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/temporal-region.pdf (100%) rename documentation/{first-order-logic-axiomatization => axiomatization-pds}/universal-declaration.pdf (100%) rename documentation/sparql/{min-1_ontology_title.sparql => min_1_ontology_title.sparql} (100%) diff --git a/documentation/first-order-logic-axiomatization/README.md b/documentation/axiomatization-pds/README.md similarity index 100% rename from documentation/first-order-logic-axiomatization/README.md rename to documentation/axiomatization-pds/README.md diff --git a/documentation/first-order-logic-axiomatization/continuant-mereology.pdf b/documentation/axiomatization-pds/continuant-mereology.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/continuant-mereology.pdf rename to documentation/axiomatization-pds/continuant-mereology.pdf diff --git a/documentation/first-order-logic-axiomatization/existence-instantiation.pdf b/documentation/axiomatization-pds/existence-instantiation.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/existence-instantiation.pdf rename to documentation/axiomatization-pds/existence-instantiation.pdf diff --git a/documentation/first-order-logic-axiomatization/generic-dependence.pdf b/documentation/axiomatization-pds/generic-dependence.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/generic-dependence.pdf rename to documentation/axiomatization-pds/generic-dependence.pdf diff --git a/documentation/first-order-logic-axiomatization/history.pdf b/documentation/axiomatization-pds/history.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/history.pdf rename to documentation/axiomatization-pds/history.pdf diff --git a/documentation/first-order-logic-axiomatization/material-entity.pdf b/documentation/axiomatization-pds/material-entity.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/material-entity.pdf rename to documentation/axiomatization-pds/material-entity.pdf diff --git a/documentation/first-order-logic-axiomatization/occurrent-mereology.pdf b/documentation/axiomatization-pds/occurrent-mereology.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/occurrent-mereology.pdf rename to documentation/axiomatization-pds/occurrent-mereology.pdf diff --git a/documentation/first-order-logic-axiomatization/order.pdf b/documentation/axiomatization-pds/order.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/order.pdf rename to documentation/axiomatization-pds/order.pdf diff --git a/documentation/first-order-logic-axiomatization/participation.pdf b/documentation/axiomatization-pds/participation.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/participation.pdf rename to documentation/axiomatization-pds/participation.pdf diff --git a/documentation/first-order-logic-axiomatization/profiles/temporalized-relations.pdf b/documentation/axiomatization-pds/profiles/temporalized-relations.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/profiles/temporalized-relations.pdf rename to documentation/axiomatization-pds/profiles/temporalized-relations.pdf diff --git a/documentation/first-order-logic-axiomatization/spatial.pdf b/documentation/axiomatization-pds/spatial.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/spatial.pdf rename to documentation/axiomatization-pds/spatial.pdf diff --git a/documentation/first-order-logic-axiomatization/spatiotemporal.pdf b/documentation/axiomatization-pds/spatiotemporal.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/spatiotemporal.pdf rename to documentation/axiomatization-pds/spatiotemporal.pdf diff --git a/documentation/first-order-logic-axiomatization/specific-dependency.pdf b/documentation/axiomatization-pds/specific-dependency.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/specific-dependency.pdf rename to documentation/axiomatization-pds/specific-dependency.pdf diff --git a/documentation/first-order-logic-axiomatization/temporal-region.pdf b/documentation/axiomatization-pds/temporal-region.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/temporal-region.pdf rename to documentation/axiomatization-pds/temporal-region.pdf diff --git a/documentation/first-order-logic-axiomatization/universal-declaration.pdf b/documentation/axiomatization-pds/universal-declaration.pdf similarity index 100% rename from documentation/first-order-logic-axiomatization/universal-declaration.pdf rename to documentation/axiomatization-pds/universal-declaration.pdf diff --git a/documentation/sparql/min-1_ontology_title.sparql b/documentation/sparql/min_1_ontology_title.sparql similarity index 100% rename from documentation/sparql/min-1_ontology_title.sparql rename to documentation/sparql/min_1_ontology_title.sparql diff --git a/src/owl/bfo-core.ofn b/src/owl/bfo-core.ofn index 7948556..e79eed8 100644 --- a/src/owl/bfo-core.ofn +++ b/src/owl/bfo-core.ofn @@ -155,7 +155,6 @@ AnnotationAssertion(dc11:identifier AnnotationAssertion(rdfs:label "realizes"@en) AnnotationAssertion(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) AnnotationAssertion(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) -AnnotationAssertion(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: "@en) ObjectPropertyDomain( ) ObjectPropertyRange( ) @@ -164,7 +163,7 @@ ObjectPropertyRange( "250-BFO") AnnotationAssertion(rdfs:label "participates in"@en) AnnotationAssertion(skos:definition "(Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) InverseObjectProperties( ) ObjectPropertyDomain( ObjectUnionOf( ObjectIntersectionOf( ObjectComplementOf()))) ObjectPropertyRange( ) @@ -174,7 +173,7 @@ ObjectPropertyRange( "248-BFO") AnnotationAssertion(rdfs:label "has participant"@en) AnnotationAssertion(skos:definition "p has participant c =Def c participates in p"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) ObjectPropertyDomain( ) ObjectPropertyRange( ObjectUnionOf( ObjectIntersectionOf( ObjectComplementOf()))) @@ -183,7 +182,7 @@ ObjectPropertyRange( ObjectUnionOf(< AnnotationAssertion(dc11:identifier "258-BFO") AnnotationAssertion(rdfs:label "is concretized by"@en) AnnotationAssertion(skos:definition "c is concretized by b =Def b concretizes c"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) InverseObjectProperties( ) ObjectPropertyDomain( ) ObjectPropertyRange( ObjectUnionOf( )) @@ -193,7 +192,7 @@ ObjectPropertyRange( ObjectUnionOf(< AnnotationAssertion(dc11:identifier "256-BFO") AnnotationAssertion(rdfs:label "concretizes"@en) AnnotationAssertion(skos:definition "b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) ObjectPropertyDomain( ObjectUnionOf( )) ObjectPropertyRange( ) @@ -236,7 +235,7 @@ AnnotationAssertion(dc11:identifier AnnotationAssertion(rdfs:label "generically depends on"@en) AnnotationAssertion(skos:altLabel "g-depends on"@en) AnnotationAssertion(skos:definition "b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) InverseObjectProperties( ) ObjectPropertyDomain( ) ObjectPropertyRange( ObjectIntersectionOf( ObjectComplementOf())) @@ -246,7 +245,7 @@ ObjectPropertyRange( ObjectIntersect AnnotationAssertion(dc11:identifier "254-BFO") AnnotationAssertion(rdfs:label "is carrier of"@en) AnnotationAssertion(skos:definition "b is carrier of c =Def there is some time t such that c generically depends on b at t"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) ObjectPropertyDomain( ObjectIntersectionOf( ObjectComplementOf())) ObjectPropertyRange( ) @@ -264,7 +263,7 @@ ObjectPropertyRange( "230-BFO") AnnotationAssertion(rdfs:label "has member part"@en) AnnotationAssertion(skos:definition "b has member part c =Def c member part of b"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) SubObjectPropertyOf( ) InverseObjectProperties( ) ObjectPropertyDomain( ) @@ -298,7 +297,7 @@ ObjectPropertyRange( "236-BFO") AnnotationAssertion(rdfs:label "location of"@en) AnnotationAssertion(skos:definition "b location of c =Def c located in b"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) InverseObjectProperties( ) ObjectPropertyDomain( ObjectIntersectionOf( ObjectComplementOf())) ObjectPropertyRange( ObjectIntersectionOf( ObjectComplementOf())) @@ -308,7 +307,7 @@ ObjectPropertyRange( ObjectIntersect AnnotationAssertion(dc11:identifier "244-BFO") AnnotationAssertion(rdfs:label "material basis of"@en) AnnotationAssertion(skos:definition "b material basis of c =Def c has material basis b"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) InverseObjectProperties( ) ObjectPropertyDomain( ) ObjectPropertyRange( ) @@ -318,7 +317,7 @@ ObjectPropertyRange( "228-BFO") AnnotationAssertion(rdfs:label "member part of"@en) AnnotationAssertion(skos:definition "b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n)"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) SubObjectPropertyOf( ) ObjectPropertyDomain( ) ObjectPropertyRange( ) @@ -359,7 +358,7 @@ ObjectPropertyRange( "234-BFO") AnnotationAssertion(rdfs:label "located in"@en) AnnotationAssertion(skos:definition "b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) ObjectPropertyDomain( ObjectIntersectionOf( ObjectComplementOf())) ObjectPropertyRange( ObjectIntersectionOf( ObjectComplementOf())) @@ -369,7 +368,7 @@ AnnotationAssertion(dc11:identifier AnnotationAssertion(rdfs:label "continuant part of"@en) AnnotationAssertion(skos:definition "b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t"@en) AnnotationAssertion(skos:example "Milk teeth continuant part of human; surgically removed tumour continuant part of organism"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) InverseObjectProperties( ) ObjectPropertyDomain( ) ObjectPropertyRange( ) @@ -379,7 +378,7 @@ ObjectPropertyRange( "271-BFO") AnnotationAssertion(rdfs:label "has continuant part"@en) AnnotationAssertion(skos:definition "b has continuant part c =Def c continuant part of b"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) ObjectPropertyDomain( ) ObjectPropertyRange( ) @@ -482,7 +481,7 @@ ObjectPropertyRange( "232-BFO") AnnotationAssertion(rdfs:label "occupies spatial region"@en) AnnotationAssertion(skos:definition "b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) ObjectPropertyDomain( ObjectIntersectionOf( ObjectComplementOf())) ObjectPropertyRange( ) @@ -491,7 +490,7 @@ ObjectPropertyRange( "246-BFO") AnnotationAssertion(rdfs:label "spatially projects onto"@en) AnnotationAssertion(skos:definition "(Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) ObjectPropertyDomain( ) ObjectPropertyRange( ) @@ -500,7 +499,7 @@ ObjectPropertyRange( "242-BFO") AnnotationAssertion(rdfs:label "has material basis"@en) AnnotationAssertion(skos:definition "b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t"@en) -AnnotationAssertion(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: "@en) +AnnotationAssertion(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: "@en) ObjectPropertyDomain( ) ObjectPropertyRange( ) diff --git a/src/owl/bfo-core.owl b/src/owl/bfo-core.owl index 0d41ba6..41c1b45 100644 --- a/src/owl/bfo-core.owl +++ b/src/owl/bfo-core.owl @@ -161,7 +161,6 @@ realizes (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 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 - 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> @@ -190,7 +189,7 @@ 250-BFO participates in (Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -218,7 +217,7 @@ 248-BFO has participant p has participant c =Def c participates in p - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -239,7 +238,7 @@ 258-BFO is concretized by c is concretized by b =Def b concretizes c - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -259,7 +258,7 @@ 256-BFO concretizes b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -342,7 +341,7 @@ generically depends on g-depends on b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -364,7 +363,7 @@ 254-BFO is carrier of b is carrier of c =Def there is some time t such that c generically depends on b at t - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -392,7 +391,7 @@ 230-BFO has member part b has member part c =Def c member part of b - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -455,7 +454,7 @@ 236-BFO location of b location of c =Def c located in b - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -469,7 +468,7 @@ 244-BFO material basis of b material basis of c =Def c has material basis b - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -483,7 +482,7 @@ 228-BFO member part of b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n) - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -557,7 +556,7 @@ 234-BFO located in b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -572,7 +571,7 @@ continuant part of b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t Milk teeth continuant part of human; surgically removed tumour continuant part of organism - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -585,7 +584,7 @@ 271-BFO has continuant part b has continuant part c =Def c continuant part of b - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -811,7 +810,7 @@ 232-BFO occupies spatial region b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -824,7 +823,7 @@ 246-BFO spatially projects onto (Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> @@ -837,7 +836,7 @@ 242-BFO has material basis b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t - 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> + 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: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions> diff --git a/src/owl/bfo-core.ttl b/src/owl/bfo-core.ttl index 768c070..b58a604 100644 --- a/src/owl/bfo-core.ttl +++ b/src/owl/bfo-core.ttl @@ -117,9 +117,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: "@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_0000056 rdf:type owl:ObjectProperty ; @@ -140,7 +138,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "250-BFO" ; rdfs:label "participates in"@en ; skos:definition "(Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000057 @@ -161,7 +159,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "248-BFO" ; rdfs:label "has participant"@en ; skos:definition "p has participant c =Def c participates in p"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000058 @@ -176,7 +174,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "258-BFO" ; rdfs:label "is concretized by"@en ; skos:definition "c is concretized by b =Def b concretizes c"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000059 @@ -190,7 +188,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "256-BFO" ; rdfs:label "concretizes"@en ; skos:definition "b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000062 @@ -252,7 +250,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . rdfs:label "generically depends on"@en ; skos:altLabel "g-depends on"@en ; skos:definition "b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000101 @@ -268,7 +266,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "254-BFO" ; rdfs:label "is carrier of"@en ; skos:definition "b is carrier of c =Def there is some time t such that c generically depends on b at t"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000108 @@ -290,7 +288,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "230-BFO" ; rdfs:label "has member part"@en ; skos:definition "b has member part c =Def c member part of b"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000117 @@ -338,7 +336,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "236-BFO" ; rdfs:label "location of"@en ; skos:definition "b location of c =Def c located in b"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000127 @@ -349,7 +347,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "244-BFO" ; rdfs:label "material basis of"@en ; skos:definition "b material basis of c =Def c has material basis b"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000129 @@ -360,7 +358,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "228-BFO" ; rdfs:label "member part of"@en ; skos:definition "b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n)"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000132 @@ -416,7 +414,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "234-BFO" ; rdfs:label "located in"@en ; skos:definition "b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000176 @@ -428,7 +426,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . rdfs:label "continuant part of"@en ; skos:definition "b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t"@en ; skos:example "Milk teeth continuant part of human; surgically removed tumour continuant part of organism"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000178 @@ -438,7 +436,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "271-BFO" ; rdfs:label "has continuant part"@en ; skos:definition "b has continuant part c =Def c continuant part of b"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000183 @@ -605,7 +603,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "232-BFO" ; rdfs:label "occupies spatial region"@en ; skos:definition "b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000216 @@ -615,7 +613,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "246-BFO" ; rdfs:label "spatially projects onto"@en ; skos:definition "(Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000218 @@ -625,7 +623,7 @@ skos:scopeNote rdf:type owl:AnnotationProperty . dc11:identifier "242-BFO" ; rdfs:label "has material basis"@en ; skos:definition "b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t"@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: "@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: "@en . ### http://purl.obolibrary.org/obo/BFO_0000221 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 index f7c1218..aba8728 100644 --- 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 AnnotationAssertion(rdfs:label "realizes"@en) AnnotationAssertion(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) AnnotationAssertion(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) -AnnotationAssertion(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: "@en) ObjectPropertyDomain( ) ObjectPropertyRange( ) 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 index a45f426..8dd3e17 100644 --- 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 @@ realizes (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 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 - 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> 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 index 35ea321..ae3715e 100644 --- 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: "@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