Changes in core/Core.rdf

Added

Classes

Construct Definition
Classifier denoter that classifies some entity
Denoter information content entity that denotes some entity

Object Properties

Construct Definition
categorizedBy relation between a lower-order classifier by a higher-order classifier such that the latter classifier categorizes the former
categorizes relation between classifiers in which a higher-order classifier classifies a lower-order classifier and designates a set that has as members only sets designated by lower-order classifiers that it organizes
classifiedBy relation that holds between an entity y and an information content entity x when the information content entity designates a set whose members are all the entities of a particular type and y is a member of that set
classifies relation that holds between an information content entity x and an entity y when the information content entity designates a set whose members are instances of a particular type and y is a member of that set
generalizes relation between two classifiers such that everything classified by the latter is also classified by the former
specializes relation between two classifiers such that everything classified by the former is also classified by the latter

Changed

Classes

BusinessFunction

  • IRI: https://spec.industrialontologies.org/ontology/construct/BusinessFunction

Axioms

  • bfo:function ⊓ ∃ bfo:has_realization .constr:BusinessProcess ⊓ ∃ constr:functionOf .constr:Organization ⊓ ∃ constr:prescribedBy .(constr:ObjectiveSpecification ⊓ ∃ bfo:generically_depends_on_at_some_time .constr:Organization) ⊑ constr:BusinessFunction
  • constr:BusinessFunction ⊑ ∃ constr:prescribedBy .(constr:ObjectiveSpecification ⊓ ∃ bfo:generically_depends_on_at_some_time .constr:Organization)
  • bfo:function ⊓ ∃ bfo:has_realization .constr:BusinessProcess ⊓ ∃ constr:functionOf .constr:Organization ⊓ ∃ constr:prescribedBy .(constr:ObjectiveSpecification ⊓ ∃ bfo:generically_depends_on .constr:Organization) ⊑ constr:BusinessFunction
  • constr:BusinessFunction ⊑ ∃ constr:prescribedBy .(constr:ObjectiveSpecification ⊓ ∃ bfo:generically_depends_on .constr:Organization)

BusinessProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/BusinessProcess

Axioms

  • constr:BusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:Agent ⊓ ∃ constr:actsOnBehalfOfAtSomeTime .constr:BusinessOrganization)
  • constr:BusinessProcess ⊑ ∃ constr:prescribedBy .(constr:PlanSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .(constr:ObjectiveSpecification ⊓ ∃ bfo:generically_depends_on_at_some_time .constr:BusinessOrganization))
  • constr:BusinessProcess ⊑ ∃ bfo:has_participant .(constr:Agent ⊓ ∃ constr:actsOnBehalfOfAtSomeTime .constr:BusinessOrganization)
  • constr:BusinessProcess ⊑ ∃ constr:prescribedBy .(constr:PlanSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .(constr:ObjectiveSpecification ⊓ ∃ bfo:generically_depends_on .constr:BusinessOrganization))

BuyerRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/BuyerRole

Axioms

  • constr:BuyerRole ⊑ ∃ constr:roleOf .((constr:Organization ⊔ constr:Person) ⊓ ∃ bfo:participates_in_at_some_time .constr:BuyingBusinessProcess)
  • constr:BuyerRole ⊑ ∃ constr:roleOf .((constr:Organization ⊔ constr:Person) ⊓ ∃ bfo:participates_in .constr:BuyingBusinessProcess)

BuyingBusinessProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/BuyingBusinessProcess

Axioms

  • constr:BuyingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:CommercialServiceAgreement ⊔ constr:MaterialProduct)
  • constr:BuyingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:Buyer
  • constr:BuyingBusinessProcess ⊑ ∃ bfo:has_participant .(constr:CommercialServiceAgreement ⊔ constr:MaterialProduct)
  • constr:BuyingBusinessProcess ⊑ ∃ bfo:has_participant .constr:Buyer

CommercialService

  • IRI: https://spec.industrialontologies.org/ontology/construct/CommercialService

Axioms

  • constr:CommercialService ⊑ ∃ bfo:has_participant_at_some_time .constr:ServiceProvider
  • constr:CommercialService ⊑ ∃ bfo:has_participant .constr:ServiceProvider

ComputingProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/ComputingProcess

Axioms

  • constr:ComputingProcess ≡ constr:PlannedProcess ⊓ (∃ constr:achievesAtSomeTime .(constr:ObjectiveSpecification ⊓ ∃ bfo:continuant_part_of_at_all_times .(constr:Algorithm ⊔ constr:EncodedAlgorithm)) ⊔ ∃ constr:hasSpecifiedOutput .constr:InformationContentEntity) ⊓ ∃ bfo:has_participant_at_some_time .constr:Agent ⊓ ∃ bfo:concretizes_at_some_time .((constr:Algorithm ⊔ constr:EncodedAlgorithm) ⊓ ∃ bfo:generically_depends_on_at_some_time .constr:Agent)
  • constr:ComputingProcess ≡ constr:PlannedProcess ⊓ (∃ constr:achievesAtSomeTime .(constr:ObjectiveSpecification ⊓ ∃ bfo:continuant_part_of_at_all_times .(constr:Algorithm ⊔ constr:EncodedAlgorithm)) ⊔ ∃ constr:hasSpecifiedOutput .constr:InformationContentEntity) ⊓ ∃ bfo:has_participant .constr:Agent ⊓ ∃ bfo:concretizes .((constr:Algorithm ⊔ constr:EncodedAlgorithm) ⊓ ∃ bfo:generically_depends_on .constr:Agent)

GroupOfAgents

  • IRI: https://spec.industrialontologies.org/ontology/construct/GroupOfAgents

Axioms

  • constr:GroupOfAgents ≡ bfo:object_aggregate ⊓ ∃ bfo:has_member_part_at_some_time .constr:Agent ⊓ ∀ bfo:has_member_part_at_some_time .constr:Agent
  • constr:GroupOfAgents ≡ bfo:object_aggregate ⊓ ∃ bfo:has_member_part .constr:Agent ⊓ ∀ bfo:has_member_part .constr:Agent

GroupOfPersons

  • IRI: https://spec.industrialontologies.org/ontology/construct/GroupOfPersons

Axioms

  • constr:GroupOfPersons ≡ bfo:object_aggregate ⊓ ∃ bfo:has_member_part_at_some_time .constr:Person ⊓ ∀ bfo:has_member_part_at_some_time .constr:Person
  • constr:GroupOfPersons ≡ bfo:object_aggregate ⊓ ∃ bfo:has_member_part .constr:Person ⊓ ∀ bfo:has_member_part .constr:Person

Identifier

  • IRI: https://spec.industrialontologies.org/ontology/construct/Identifier

Annotations

  • firstOrderLogicAxiom = “Identifier(x) → InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ designates(x,e))”
  • naturalLanguageDefinition = “information content entity that is used to uniquely identify an entity within a particular context”@en-US
  • semiFormalNaturalLanguageAxiom = “if x is an ‘identifier’ then x is an ‘information content entity’ that ‘designates’ some ‘entity’”
  • firstOrderLogicAxiom = “Identifier(x) → Denoter(x) ∧ ∃e(Entity(e) ∧ designates(x,e))”
  • naturalLanguageDefinition = “denoter that is used to uniquely identify an entity within a particular context”@en-US
  • semiFormalNaturalLanguageAxiom = “if x is an ‘identifier’ then x is an ‘denoter’ that ‘designates’ some ‘entity’”

Parents

  • InformationContentEntity (https://spec.industrialontologies.org/ontology/construct/InformationContentEntity)
  • Denoter (https://spec.industrialontologies.org/ontology/construct/Denoter)

Axioms

  • constr:Identifier ⊑ constr:InformationContentEntity
  • constr:Identifier ⊑ constr:Denoter

ManufacturerRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/ManufacturerRole

Axioms

  • constr:ManufacturerRole ⊑ ∃ constr:roleOf .(constr:Organization ⊓ ∃ bfo:participates_in_at_some_time .constr:ProductProductionProcess)
  • constr:ManufacturerRole ⊑ ∃ constr:roleOf .(constr:Organization ⊓ ∃ bfo:participates_in .constr:ProductProductionProcess)

ManufacturingProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/ManufacturingProcess

Axioms

  • constr:ManufacturingProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:Agent ⊓ ∃ bfo:is_carrier_of_at_some_time .constr:PlanSpecification)
  • constr:ManufacturingProcess ⊑ ∃ bfo:has_participant .(constr:Agent ⊓ ∃ bfo:is_carrier_of .constr:PlanSpecification)

MaterialLocationChangeProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/MaterialLocationChangeProcess

Axioms

  • constr:MaterialLocationChangeProcess ⊑ ∃ bfo:has_participant_at_some_time .(bfo:material_entity ⊓ ∃ bfo:location_of_at_all_times⁻ .(bfo:independent_continuant ⊓ ∃ bfo:located_in_at_all_times .bfo:site ⊓ ∃ bfo:exists_at .(bfo:temporal_instant ⊓ (∃ bfo:first_instant_of .bfo:temporal_region ⊓ ∃ bfo:occupies_temporal_region⁻ .constr:PlannedProcess))) ⊓ ∃ bfo:location_of_at_all_times⁻ .(bfo:independent_continuant ⊓ ∃ bfo:located_in_at_all_times .bfo:site ⊓ ∃ bfo:exists_at .(bfo:temporal_instant ⊓ ∃ bfo:last_instant_of .(bfo:temporal_region ⊓ ∃ bfo:occupies_temporal_region⁻ .constr:PlannedProcess))))
  • constr:MaterialLocationChangeProcess ⊑ ∃ bfo:has_participant .(bfo:material_entity ⊓ ∃ bfo:location_of_at_all_times⁻ .(bfo:independent_continuant ⊓ ∃ bfo:located_in_at_all_times .bfo:site ⊓ ∃ bfo:exists_at .(bfo:temporal_instant ⊓ (∃ bfo:first_instant_of .bfo:temporal_region ⊓ ∃ bfo:occupies_temporal_region⁻ .constr:PlannedProcess))) ⊓ ∃ bfo:location_of_at_all_times⁻ .(bfo:independent_continuant ⊓ ∃ bfo:located_in_at_all_times .bfo:site ⊓ ∃ bfo:exists_at .(bfo:temporal_instant ⊓ ∃ bfo:last_instant_of .(bfo:temporal_region ⊓ ∃ bfo:occupies_temporal_region⁻ .constr:PlannedProcess))))

MaterialProductRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/MaterialProductRole

Axioms

  • constr:MaterialProductRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in_at_some_time .(constr:BuyingBusinessProcess ⊔ constr:SellingBusinessProcess ⊔ constr:SupplyingBusinessProcess))
  • constr:MaterialProductRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in .(constr:BuyingBusinessProcess ⊔ constr:SellingBusinessProcess ⊔ constr:SupplyingBusinessProcess))

MeasurementProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/MeasurementProcess

Axioms

  • constr:MeasurementProcess ⊑ ∃ bfo:has_participant_at_some_time .((bfo:material_entity ⊓ ∃ constr:hasCapability .constr:MeasurementCapability) ⊓ ∃ constr:measuresAtSomeTime .(bfo:temporal_region ⊔ bfo:specifically_dependent_continuant ⊔ bfo:process_profile ⊔ constr:ProcessCharacteristic))
  • constr:MeasurementProcess ⊑ ∃ bfo:has_participant .((bfo:material_entity ⊓ ∃ constr:hasCapability .constr:MeasurementCapability) ⊓ ∃ constr:measuresAtSomeTime .(bfo:temporal_region ⊔ bfo:specifically_dependent_continuant ⊔ bfo:process_profile ⊔ constr:ProcessCharacteristic))

Organization

  • IRI: https://spec.industrialontologies.org/ontology/construct/Organization

Axioms

  • constr:Organization ⊑ ∀ bfo:has_member_part_at_some_time .(constr:Organization ⊔ constr:Person)
  • constr:Organization ⊑ ∀ bfo:has_member_part .(constr:Organization ⊔ constr:Person)

RawMaterialRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/RawMaterialRole

Axioms

  • constr:RawMaterialRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in_at_some_time .(constr:BuyingBusinessProcess ⊓ ∃ bfo:has_participant_at_some_time .(constr:Organization ⊓ ∃ constr:hasRole .constr:BuyerRole)))
  • constr:RawMaterialRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in .(constr:BuyingBusinessProcess ⊓ ∃ bfo:has_participant .(constr:Organization ⊓ ∃ constr:hasRole .constr:BuyerRole)))

SellingBusinessProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/SellingBusinessProcess

Axioms

  • constr:SellingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:CommercialServiceAgreement ⊔ constr:MaterialProduct)
  • constr:SellingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:Supplier
  • constr:SellingBusinessProcess ⊑ ∃ bfo:has_participant .(constr:CommercialServiceAgreement ⊔ constr:MaterialProduct)
  • constr:SellingBusinessProcess ⊑ ∃ bfo:has_participant .constr:Supplier

ServiceProviderRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/ServiceProviderRole

Axioms

  • constr:ServiceProviderRole ⊑ ∃ constr:roleOf .((constr:Organization ⊔ constr:Person) ⊓ ∃ bfo:participates_in_at_some_time .(constr:CommercialService ⊔ (constr:SellingBusinessProcess ⊓ ∃ bfo:has_participant_at_some_time .constr:CommercialServiceAgreement)))
  • constr:ServiceProviderRole ⊑ ∃ constr:roleOf .((constr:Organization ⊔ constr:Person) ⊓ ∃ bfo:participates_in .(constr:CommercialService ⊔ (constr:SellingBusinessProcess ⊓ ∃ bfo:has_participant .constr:CommercialServiceAgreement)))

SupplierRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/SupplierRole

Axioms

  • constr:SupplierRole ⊑ ∃ constr:roleOf .((constr:Organization ⊔ constr:Person) ⊓ ∃ bfo:participates_in_at_some_time .(constr:SellingBusinessProcess ⊔ constr:SupplyingBusinessProcess))
  • constr:SupplierRole ⊑ ∃ constr:roleOf .((constr:Organization ⊔ constr:Person) ⊓ ∃ bfo:participates_in .(constr:SellingBusinessProcess ⊔ constr:SupplyingBusinessProcess))

SupplyingBusinessProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/SupplyingBusinessProcess

Axioms

  • constr:SupplyingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:MaterialProduct ⊔ ∃ bfo:occurrent_part_of .constr:CommercialService
  • constr:SupplyingBusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:Supplier
  • constr:SupplyingBusinessProcess ⊑ ∃ bfo:has_participant .constr:MaterialProduct ⊔ ∃ bfo:occurrent_part_of .constr:CommercialService
  • constr:SupplyingBusinessProcess ⊑ ∃ bfo:has_participant .constr:Supplier

Object Properties

achievesAtSomeTime

  • IRI: https://spec.industrialontologies.org/ontology/construct/achievesAtSomeTime

Axioms

  • achievesAtSomeTime) ⊑ bfo:concretizes_at_some_time ([constr:achievesAtSomeTime](https://spec.industrialontologies.org/ontology/construct/achievesAtSomeTime) ⊑ bfo:concretizes_at_some_time)
  • achievesAtSomeTime) ⊑ bfo:concretizes ([constr:achievesAtSomeTime](https://spec.industrialontologies.org/ontology/construct/achievesAtSomeTime) ⊑ bfo:concretizes)

hasInput

  • IRI: https://spec.industrialontologies.org/ontology/construct/hasInput

Axioms

  • hasInput) ⊑ bfo:has_participant_at_some_time ([constr:hasInput](https://spec.industrialontologies.org/ontology/construct/hasInput) ⊑ bfo:has_participant_at_some_time)
  • hasInput) ⊑ bfo:has_participant ([constr:hasInput](https://spec.industrialontologies.org/ontology/construct/hasInput) ⊑ bfo:has_participant)

hasOutput

  • IRI: https://spec.industrialontologies.org/ontology/construct/hasOutput

Axioms

  • hasOutput) ⊑ bfo:has_participant_at_some_time ([constr:hasOutput](https://spec.industrialontologies.org/ontology/construct/hasOutput) ⊑ bfo:has_participant_at_some_time)
  • hasOutput) ⊑ bfo:has_participant ([constr:hasOutput](https://spec.industrialontologies.org/ontology/construct/hasOutput) ⊑ bfo:has_participant)

hasProcessProfile

  • IRI: https://spec.industrialontologies.org/ontology/construct/hasProcessProfile

Domains

  • BFO_0000144 (http://purl.obolibrary.org/obo/BFO_0000144)
  • BFO_0000015 (http://purl.obolibrary.org/obo/BFO_0000015)

Ranges

  • BFO_0000015 (http://purl.obolibrary.org/obo/BFO_0000015)
  • BFO_0000144 (http://purl.obolibrary.org/obo/BFO_0000144)

Axioms

  • domain: bfo:process_profile
  • range: bfo:process
  • domain: bfo:process
  • range: bfo:process_profile

isAchievedByAtSomeTime

  • IRI: https://spec.industrialontologies.org/ontology/construct/isAchievedByAtSomeTime

Axioms

  • isAchievedByAtSomeTime) ⊑ bfo:is_concretized_by_at_some_time ([constr:isAchievedByAtSomeTime](https://spec.industrialontologies.org/ontology/construct/isAchievedByAtSomeTime) ⊑ bfo:is_concretized_by_at_some_time)
  • isAchievedByAtSomeTime) ⊑ bfo:is_concretized_by ([constr:isAchievedByAtSomeTime](https://spec.industrialontologies.org/ontology/construct/isAchievedByAtSomeTime) ⊑ bfo:is_concretized_by)

isInputOf

  • IRI: https://spec.industrialontologies.org/ontology/construct/isInputOf

Axioms

  • isInputOf) ⊑ bfo:participates_in_at_some_time ([constr:isInputOf](https://spec.industrialontologies.org/ontology/construct/isInputOf) ⊑ bfo:participates_in_at_some_time)
  • isInputOf) ⊑ bfo:participates_in ([constr:isInputOf](https://spec.industrialontologies.org/ontology/construct/isInputOf) ⊑ bfo:participates_in)

isMadeOfAtSomeTime

  • IRI: https://spec.industrialontologies.org/ontology/construct/isMadeOfAtSomeTime

Axioms

  • isMadeOfAtSomeTime) ⊑ bfo:has_continuant_part_at_some_time ([constr:isMadeOfAtSomeTime](https://spec.industrialontologies.org/ontology/construct/isMadeOfAtSomeTime) ⊑ bfo:has_continuant_part_at_some_time)
  • isMadeOfAtSomeTime) ⊑ bfo:has_continuant_part ([constr:isMadeOfAtSomeTime](https://spec.industrialontologies.org/ontology/construct/isMadeOfAtSomeTime) ⊑ bfo:has_continuant_part)

isOutputOf

  • IRI: https://spec.industrialontologies.org/ontology/construct/isOutputOf

Axioms

  • isOutputOf) ⊑ bfo:participates_in_at_some_time ([constr:isOutputOf](https://spec.industrialontologies.org/ontology/construct/isOutputOf) ⊑ bfo:participates_in_at_some_time)
  • isOutputOf) ⊑ bfo:participates_in ([constr:isOutputOf](https://spec.industrialontologies.org/ontology/construct/isOutputOf) ⊑ bfo:participates_in)

temporallyFinishedBy

  • IRI: https://spec.industrialontologies.org/ontology/construct/temporallyFinishedBy

Annotations

  • naturalLanguageDefinition = “relation that holds between two intervals or processes i and j when the last instant of the temporal extent of j is the same as the last instant of the temporal extent of i and the first instant of i is precedes the first instant of j”@en-US
  • naturalLanguageDefinition = “relation that holds between two intervals or processes i and j when the last instant of the temporal extent of j is the same as the last instant of the temporal extent of i and the first instant of i is preceded by the first instant of j”@en-US

temporallyFinishes

  • IRI: https://spec.industrialontologies.org/ontology/construct/temporallyFinishes

Annotations

  • naturalLanguageDefinition = “relation that holds between two intervals or processes i and j when the last instant of the temporal extent of i is the same as the last instant of the temporal extent of j and the first instant of j is precedes the first instant of i”@en-US
  • naturalLanguageDefinition = “relation that holds between two intervals or processes i and j when the last instant of the temporal extent of i is the same as the last instant of the temporal extent of j and the first instant of j precedes the first instant of i”@en-US