Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

2023-06-28 Release #728

Merged
merged 9 commits into from
Jul 3, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 14 additions & 10 deletions core.json
Original file line number Diff line number Diff line change
Expand Up @@ -7,12 +7,12 @@
"val" : "https://creativecommons.org/publicdomain/zero/1.0/"
}, {
"pred" : "http://www.w3.org/2002/07/owl#versionInfo",
"val" : "2023-02-22"
"val" : "2023-06-28"
}, {
"pred" : "http://xmlns.com/foaf/0.1/homepage",
"val" : "https://github.com/oborel/obo-relations/wiki/ROCore"
} ],
"version" : "http://purl.obolibrary.org/obo/ro/releases/2023-02-22/core.json"
"version" : "http://purl.obolibrary.org/obo/ro/releases/2023-06-28/core.json"
},
"nodes" : [ {
"id" : "http://purl.obolibrary.org/obo/BFO_0000002",
Expand All @@ -38,8 +38,9 @@
"type" : "CLASS",
"meta" : {
"definition" : {
"val" : "A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything."
}
"val" : "b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])"
},
"comments" : [ "A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything." ]
}
}, {
"id" : "http://purl.obolibrary.org/obo/BFO_0000006",
Expand All @@ -51,8 +52,9 @@
"type" : "CLASS",
"meta" : {
"definition" : {
"val" : "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t."
}
"val" : "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])"
},
"comments" : [ "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t." ]
}
}, {
"id" : "http://purl.obolibrary.org/obo/BFO_0000016",
Expand All @@ -77,8 +79,9 @@
"type" : "CLASS",
"meta" : {
"definition" : {
"val" : "A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same."
}
"val" : "b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])"
},
"comments" : [ "A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same." ]
}
}, {
"id" : "http://purl.obolibrary.org/obo/BFO_0000023",
Expand All @@ -95,8 +98,9 @@
"type" : "CLASS",
"meta" : {
"definition" : {
"val" : "A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time."
}
"val" : "b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])"
},
"comments" : [ "A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time." ]
}
}, {
"id" : "http://purl.obolibrary.org/obo/BFO_0000034",
Expand Down
16 changes: 10 additions & 6 deletions core.obo
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
format-version: 1.2
data-version: ro/releases/2023-02-22/core.owl
data-version: ro/releases/2023-06-28/core.owl
ontology: ro/core
property_value: http://purl.org/dc/elements/1.1/license https://creativecommons.org/publicdomain/zero/1.0/
property_value: http://xmlns.com/foaf/0.1/homepage "https://github.com/oborel/obo-relations/wiki/ROCore" xsd:anyURI
property_value: owl:versionInfo "2023-02-22" xsd:string
property_value: owl:versionInfo "2023-06-28" xsd:string

[Term]
id: BFO:0000002
Expand All @@ -19,7 +19,8 @@ def: "An entity that has temporal parts and that happens, unfolds or develops th
[Term]
id: BFO:0000004
name: independent continuant
def: "A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything." []
def: "b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])" []
comment: A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
is_a: BFO:0000002 ! continuant
disjoint_from: BFO:0000020 ! specifically dependent continuant
disjoint_from: BFO:0000031 ! generically dependent continuant
Expand All @@ -32,7 +33,8 @@ is_a: BFO:0000141 ! immaterial entity
[Term]
id: BFO:0000015
name: process
def: "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t." []
def: "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])" []
comment: An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.
is_a: BFO:0000003 ! occurrent

[Term]
Expand All @@ -56,7 +58,8 @@ is_a: BFO:0000020 ! specifically dependent continuant
[Term]
id: BFO:0000020
name: specifically dependent continuant
def: "A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same." []
def: "b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])" []
comment: A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.
is_a: BFO:0000002 ! continuant
disjoint_from: BFO:0000031 ! generically dependent continuant

Expand All @@ -69,7 +72,8 @@ is_a: BFO:0000017 ! realizable entity
[Term]
id: BFO:0000031
name: generically dependent continuant
def: "A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time." []
def: "b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])" []
comment: A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time.
is_a: BFO:0000002 ! continuant

[Term]
Expand Down
16 changes: 10 additions & 6 deletions core.owl
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,9 @@
xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
xmlns:terms="http://purl.org/dc/terms/">
<owl:Ontology rdf:about="http://purl.obolibrary.org/obo/ro/core.owl">
<owl:versionIRI rdf:resource="http://purl.obolibrary.org/obo/ro/releases/2023-02-22/core.owl"/>
<owl:versionIRI rdf:resource="http://purl.obolibrary.org/obo/ro/releases/2023-06-28/core.owl"/>
<dc:license rdf:resource="https://creativecommons.org/publicdomain/zero/1.0/"/>
<owl:versionInfo>2023-02-22</owl:versionInfo>
<owl:versionInfo>2023-06-28</owl:versionInfo>
<foaf:homepage rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://github.com/oborel/obo-relations/wiki/ROCore</foaf:homepage>
</owl:Ontology>

Expand Down Expand Up @@ -682,7 +682,8 @@ A continuant cannot have an occurrent as part: use &apos;participates in&apos;.
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
<owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
<owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000031"/>
<obo:IAO_0000115 xml:lang="en">A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.</obo:IAO_0000115>
<obo:IAO_0000115 xml:lang="en">b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])</obo:IAO_0000115>
<rdfs:comment xml:lang="en">A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.</rdfs:comment>
<rdfs:label xml:lang="en">independent continuant</rdfs:label>
</owl:Class>

Expand All @@ -701,7 +702,8 @@ A continuant cannot have an occurrent as part: use &apos;participates in&apos;.

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000015">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
<obo:IAO_0000115 xml:lang="en">An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.</obo:IAO_0000115>
<obo:IAO_0000115 xml:lang="en">p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])</obo:IAO_0000115>
<rdfs:comment xml:lang="en">An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.</rdfs:comment>
<rdfs:label xml:lang="en">process</rdfs:label>
</owl:Class>

Expand Down Expand Up @@ -742,7 +744,8 @@ A continuant cannot have an occurrent as part: use &apos;participates in&apos;.
<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000020">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
<owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000031"/>
<obo:IAO_0000115 xml:lang="en">A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.</obo:IAO_0000115>
<obo:IAO_0000115 xml:lang="en">b is a specifically dependent continuant = Def. b is a continuant &amp; there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])</obo:IAO_0000115>
<rdfs:comment xml:lang="en">A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.</rdfs:comment>
<rdfs:label xml:lang="en">specifically dependent continuant</rdfs:label>
</owl:Class>

Expand All @@ -762,7 +765,8 @@ A continuant cannot have an occurrent as part: use &apos;participates in&apos;.

<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000031">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
<obo:IAO_0000115 xml:lang="en">A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time.</obo:IAO_0000115>
<obo:IAO_0000115 xml:lang="en">b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])</obo:IAO_0000115>
<rdfs:comment xml:lang="en">A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time.</rdfs:comment>
<rdfs:label xml:lang="en">generically dependent continuant</rdfs:label>
</owl:Class>

Expand Down
Loading