Changes in productionplanning/ProductionPlanning.rdf

Changed

Classes

MachineTransferProcess

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

Axioms

  • constr:MachineTransferProcess ≡ constr:MaterialLocationChangeProcess ⊓ ∃ bfo:has_participant_at_some_time .(bfo:material_entity ⊓ ∃ bfo:location_of_at_all_times⁻ .(constr:ProductionMachine ⊓ ∃ 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⁻ .(constr:ProductionMachine ⊓ ∃ 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:MachineTransferProcess ≡ constr:MaterialLocationChangeProcess ⊓ ∃ bfo:has_participant .(bfo:material_entity ⊓ ∃ bfo:location_of_at_all_times⁻ .(constr:ProductionMachine ⊓ ∃ 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⁻ .(constr:ProductionMachine ⊓ ∃ 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))))

ManufacturingOperation

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

Axioms

  • constr:ManufacturingOperation ⊑ constr:ManufacturingEnterpriseProcess ⊓ ∃ bfo:has_participant_at_some_time .(bfo:material_entity ⊓ ∃ constr:hasRole .(constr:EquipmentRole ⊔ constr:OperatorRole)) ⊓ ∃ bfo:has_proper_occurrent_part .constr:ProcessStep
  • constr:ManufacturingOperation ⊑ constr:ManufacturingEnterpriseProcess ⊓ ∃ bfo:has_participant .(bfo:material_entity ⊓ ∃ constr:hasRole .(constr:EquipmentRole ⊔ constr:OperatorRole)) ⊓ ∃ bfo:has_proper_occurrent_part .constr:ProcessStep

OperatorRole

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

Axioms

  • constr:AgentRole ⊓ ∃ constr:roleOf .(constr:Agent ⊓ ∃ bfo:participates_in_at_some_time .constr:ManufacturingProcess) ⊑ constr:OperatorRole
  • constr:AgentRole ⊓ ∃ constr:roleOf .(constr:Agent ⊓ ∃ bfo:participates_in .constr:ManufacturingProcess) ⊑ constr:OperatorRole