Skip to content

Commit

Permalink
remove doubled axioms from oeo-shared-axioms #1703
Browse files Browse the repository at this point in the history
  • Loading branch information
stap-m committed Oct 2, 2023
1 parent 99819ef commit e263bc8
Showing 1 changed file with 1 addition and 90 deletions.
91 changes: 1 addition & 90 deletions src/ontology/edits/oeo-shared-axioms.omn
Original file line number Diff line number Diff line change
Expand Up @@ -125,21 +125,6 @@ ObjectProperty: <http://purl.obolibrary.org/obo/IAO_0000136>

ObjectProperty: <http://purl.obolibrary.org/obo/RO_0000053>

Annotations:
<http://purl.obolibrary.org/obo/IAO_0000118> "has characteristic"

Domain:

Annotations: <http://purl.obolibrary.org/obo/IAO_0000233> "issue: https://github.com/OpenEnergyPlatform/ontology/issues/973
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/985"
OEO_00000150 or <http://purl.obolibrary.org/obo/BFO_0000004>

Range:
<http://purl.obolibrary.org/obo/BFO_0000020>

InverseOf:
OEO_00010121


ObjectProperty: <http://purl.obolibrary.org/obo/RO_0000056>

Expand Down Expand Up @@ -174,16 +159,7 @@ ObjectProperty: <http://purl.obolibrary.org/obo/RO_0000086>
ObjectProperty: <http://purl.obolibrary.org/obo/RO_0000087>

Annotations:
<http://purl.obolibrary.org/obo/IAO_0000116> "In contrast to the original RO class, the domain was extended to independent continuant or energy. This is due to the special role that energy plays for the OEO and the difficulty of classifying it properly.",
<http://purl.obolibrary.org/obo/IAO_0000233> "extend domain / definition
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1030
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/1101"

Domain:
OEO_00000150 or <http://purl.obolibrary.org/obo/BFO_0000004>

Range:
<http://purl.obolibrary.org/obo/BFO_0000023>
<http://purl.obolibrary.org/obo/IAO_0000116> "In contrast to the original RO class, the domain was extended to independent continuant or energy. This is due to the special role that energy plays for the OEO and the difficulty of classifying it properly."


ObjectProperty: <http://purl.obolibrary.org/obo/RO_0000091>
Expand Down Expand Up @@ -421,22 +397,6 @@ pull request: https://github.com/OpenEnergyPlatform/ontology/pull/1463",

ObjectProperty: OEO_00000505

Annotations:
<http://purl.obolibrary.org/obo/IAO_0000115> "A relation that holds between a study and the sector it covers."@en,
<http://purl.obolibrary.org/obo/IAO_0000233> "update definition
issue: https://github.com/OpenEnergyPlatform/ontology/issues/846
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/852",
rdfs:label "covers sector"

SubPropertyOf:
OEO_00000522

Domain:
OEO_00020011

Range:
OEO_00000367


ObjectProperty: OEO_00000506

Expand All @@ -449,21 +409,9 @@ ObjectProperty: OEO_00000508

ObjectProperty: OEO_00000509

Annotations:
<http://purl.obolibrary.org/obo/IAO_0000115> "A relation that holds between an entity and its source of funding."@en,
<http://purl.obolibrary.org/obo/IAO_0000233> "issue: https://github.com/OpenEnergyPlatform/ontology/issues/530
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/556",
rdfs:label "has funding source"

SubPropertyOf:
owl:topObjectProperty

Range:

Annotations: rdfs:comment "issue: https://github.com/OpenEnergyPlatform/ontology/issues/850
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/871"
<http://purl.obolibrary.org/obo/RO_0000087> some OEO_00090001


ObjectProperty: OEO_00000510

Expand All @@ -479,16 +427,6 @@ ObjectProperty: OEO_00000516

ObjectProperty: OEO_00000522

Annotations:
<http://purl.obolibrary.org/obo/IAO_0000115> "A relation that holds between a study and the thing it covers.",
<http://purl.obolibrary.org/obo/IAO_0000233> "issue: https://github.com/OpenEnergyPlatform/ontology/issues/66
pull requests: https://github.com/OpenEnergyPlatform/ontology/pull/452 (delete unused subclasses)
pull requests: https://github.com/OpenEnergyPlatform/ontology/pull/584
pull requests: https://github.com/OpenEnergyPlatform/ontology/pull/626 (extend for study)
issue: https://github.com/OpenEnergyPlatform/ontology/issues/415
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/821 (restrict to study)",
rdfs:label "covers"


ObjectProperty: OEO_00000523

Expand Down Expand Up @@ -568,33 +506,6 @@ pull request: https://github.com/OpenEnergyPlatform/ontology/pull/838"

ObjectProperty: OEO_00010121

Annotations:
<http://purl.obolibrary.org/obo/IAO_0000115> "A relation between a specifically dependent continuant (the dependent) and an independent continuant or energy (the bearer), in which the dependent is specifically reliant on the bearer for its existence",
<http://purl.obolibrary.org/obo/IAO_0000233> "issue: https://github.com/OpenEnergyPlatform/ontology/issues/444
pull request: issue: https://github.com/OpenEnergyPlatform/ontology/pull/853

add domains and ranges:
issue: https://github.com/OpenEnergyPlatform/ontology/issues/973
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/985

extend range to energy:
issue: https://github.com/OpenEnergyPlatform/ontology/issues/973
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/985

correct definition with respect to energy:
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1305
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/1484",
rdfs:label "has bearer"@en

Domain:
<http://purl.obolibrary.org/obo/BFO_0000020>

Range:
OEO_00000150 or <http://purl.obolibrary.org/obo/BFO_0000004>

InverseOf:
<http://purl.obolibrary.org/obo/RO_0000053>


ObjectProperty: OEO_00010231

Expand Down

0 comments on commit e263bc8

Please sign in to comment.