Changes in Core Ontology

Maturity: Unknown

New ontology in this release, review all classes: Core Ontology

Added

Classes

Construct	Definition
`DesignedFunction`	No natural language definition found
`GainOfRole`	No natural language definition found
`GroupOfPersons`	No natural language definition found
`LossOfRole`	No natural language definition found
`TemporalDurationValueExpression`	No natural language definition found
`TemporalInstantValueExpression`	No natural language definition found

Changed

Classes

`ActionSpecification`

IRI: https://spec.industrialontologies.org/ontology/core/Core/ActionSpecification

Annotations

explanatoryNote = “1. An action specification is typically a part of some plan specification.
1. All actions change the universe in some fashion. That is, they have outcomes, whether desired ones or not. Since desired outcomes are reasons for the existence of an action specification, we might argue that all action specifications are, in fact, plan specifications, with desired outcomes as objectives. However, our intent here is to capture instances of action specifications wherein objectives or desired outcomes are not explicitly stated and to delinate ‘plan specifications’ as cases where the objectives and the corresponding actions are explicitly stated. This is why the class is asserted directly under the information content entity.
2. Although not formalized at this stage, an action specification may prescribe a kind of process in more detail by prescribing the sequence of actions one or more participants are to do or by prescribing the actions persons bearing various roles are to do in bringing about the process. The latter would be relevant in situations where a particular participant bears two (or even more roles) in a process. An example of the latter would be a particular shop floor worker bearing and realizing both the role of the operator and that of the inspector as prescribed by some action specification and as realized in today’s occurrences of some punch-press process.”

explanatoryNote = “1. An action specification is typically a part of some plan specification.
1. All actions change the universe in some fashion. That is, they have outcomes, whether desired ones or not. Since desired outcomes are reasons for the existence of an action specification, we might argue that all action specifications are, in fact, plan specifications, with desired outcomes as objectives. However, our intent here is to capture instances of action specifications wherein objectives or desired outcomes are not explicitly stated and to delinate ‘plan specifications’ as cases where the objectives and the corresponding actions are explicitly stated. This is why the class is asserted directly under the information content entity.
2. Although not formalized at this stage, an action specification may prescribe a kind of process in more detail by prescribing the sequence of actions one or more participants are to do or by prescribing the actions persons bearing various roles are to do in bringing about the process. The latter would be relevant in situations where a particular participant bears two (or even more roles) in a process. An example of the latter would be a particular shop floor worker bearing and realizing both the role of the operator and that of the inspector as prescribed by some action specification and as realized in today’s occurrences of some punch-press process.
3. Action specification can be used together with plan specification to create a hierarchy of work instruction composition.”
synonym = “actionable work instruction”@en-US

`AgentRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/AgentRole

Axioms

SubClassOf: _:roleOf some owl:Nothing

`Assembly`

IRI: https://spec.industrialontologies.org/ontology/core/Core/Assembly

Annotations

firstOrderLogicAxiom = “LA1: Assembly(x) → MaterialArtifact(x) ∧ ∃c,∃c’(MaterialComponent(c) ∧ MaterialComponent(c’) componentPartOfAtAllTimes(c,x) ∧ componentPartOfAtAllTimes(c’,x) ∧ ¬(c=c’∨ (componentPartOfAtAllTimes(c,c’) ∨ componentPartOfAtAllTimes(c’,c))))”

firstOrderLogicAxiom = “LA1: Assembly(x) → MaterialArtifact(x) ∧ ∃c∃c1(MaterialComponent(c) ∧ MaterialComponent(c1) ∧ componentPartOfAtAllTimes(c,x) ∧ componentPartOfAtAllTimes(c1,x) ∧ ¬(c=c1 ∨ (componentPartOfAtAllTimes(c,c1) ∨ componentPartOfAtAllTimes(c1,c))))”

`AssemblyProcess`

IRI: https://spec.industrialontologies.org/ontology/core/Core/AssemblyProcess

Axioms

SubClassOf: _:hasSpecifiedOutput some owl:Nothing

`BuyerRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/BuyerRole

Axioms

SubClassOf: _:roleOf some owl:Nothing

`BuyingBusinessProcess`

IRI: https://spec.industrialontologies.org/ontology/core/Core/BuyingBusinessProcess

Axioms

SubClassOf: bfo:None some owl:Nothing

`CustomerRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/CustomerRole

Annotations

firstOrderLogicAxiom = “CustomerRole(x) → AgentRole(x) ∧ ∃y((Person(y) ∨ Organization(y)) ∧ roleOf(y,x))”

firstOrderLogicAxiom = “CustomerRole(x) → AgentRole(x) ∧ ∃y((Person(y) ∨ Organization(y)) ∧ roleOf(x,y))”

Axioms

SubClassOf: _:roleOf some owl:Nothing

`DesignSpecification`

IRI: https://spec.industrialontologies.org/ontology/core/Core/DesignSpecification

Annotations

firstOrderLogicAxiom = “LA2: InformationContentEntity(x) ∧ ∃c, ∃r (Continuant(c) ∧ RequirementSpecification(r) ∧ satisfiesRequirement(x,r) ∧ prescribes(x,c)) ∧ ∀c’(prescribes(x,c’) → Continuant(c’)) → DesignSpecification(x)”

firstOrderLogicAxiom = “LA2: InformationContentEntity(x) ∧ ∃c∃r(Continuant(c) ∧ RequirementSpecification(r) ∧ satisfiesRequirement(x,r) ∧ prescribes(x,c)) ∧ ∀c1(prescribes(x,c1) → Continuant(c1)) → DesignSpecification(x)”

`EngineeredSystem`

IRI: https://spec.industrialontologies.org/ontology/core/Core/EngineeredSystem

Annotations

firstOrderLogicDefinition = “EngineeredSystem(x) ↔ System(x) ∧ ∃d,∃c(DesignSpecification(d) ∧ Function(f) ∧ prescribes(d,f) ∧ bearerOf(x,f))”
semiFormalNaturalLanguageDefinition = “every instance of ‘engineered system’ is defined as exactly an instance of ‘system’ that is the ‘bearer of’ some ‘function’ which is ‘prescribed by’ a ‘design specification’”

firstOrderLogicDefinition = “EngineeredSystem(x) ↔ System(x) ∧ ∃f(DesignedFunction(f) ∧ bearerOf(x,f))”
semiFormalNaturalLanguageDefinition = “every instance of ‘engineered system’ is defined as exactly an instance of ‘system’ that is the ‘bearer of’ some ‘designed function’”

Disjoint With

MaterialArtifact (https://spec.industrialontologies.org/ontology/core/Core/MaterialArtifact)
Organization (https://spec.industrialontologies.org/ontology/core/Core/Organization)

Axioms

EquivalentTo: _:System and (bfo:None some bfo:None and _:prescribedBy some _:DesignSpecification)

EquivalentTo: _:System and bfo:None some _:DesignedFunction
_:EngineeredSystem DisjointWith: (_:MaterialArtifact, _:Organization)

`EquipmentRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/EquipmentRole

Annotations

firstOrderLogicAxiom = “EquipmentRole(x) → Role(x) ∧ ∃p,∃y(PlanSpecification(p) ∧ MaterialArtifact(y) ∧ (prescribes(p,y) ∨ ∃i((InformationContentEntity(i) ∨ RequirementSpecification(i)) ∧ continuantPartOfAtAllTimes(i,p) ∧ (prescribes(i,y) ∨ satisfiesRequirement(y,i))) ∧ roleOf(x,y)) ∧ ∀z(hasRealization(x,z) → (PlannedProcess(z) ∧ (prescribedBy(z,p) ∨ ∃i’(InformationContentEntity(i’) ∧ continuantPartOfAtAllTimes(i’,p) ∧ prescribes(i’,z)) ∧ ∃f(Function(f) ∧ hasFunction(y,f) ∧ realizes(z,f)))))”

firstOrderLogicAxiom = “EquipmentRole(x) → Role(x) ∧ ∃p∃y(PlanSpecification(p) ∧ MaterialArtifact(y) ∧ roleOf(x,y) ∧ (prescribes(p,y) ∨ ∃i((InformationContentEntity(i) ∨ RequirementSpecification(i)) ∧ continuantPartOfAtAllTimes(i,p) ∧ (prescribes(i,y) ∨ satisfiesRequirement(y,i)))) ∧ ∀z(hasRealization(x,z) → (PlannedProcess(z) ∧ (prescribedBy(z,p) ∨ ∃i1(InformationContentEntity(i1) ∧ continuantPartOfAtAllTimes(i1,p) ∧ prescribes(i1,z))) ∧ ∃f(Function(f) ∧ hasFunction(y,f) ∧ realizes(z,f)))))”

`GroupOfAgents`

IRI: https://spec.industrialontologies.org/ontology/core/Core/GroupOfAgents

Annotations

firstOrderLogicDefinition = “GroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃y (Agent(y) ∧ memberPartOfAtAllTimes(y, x)) ∧ ∀z (memberPartOfAtAllTimes(z, x) → Agent(z))”

firstOrderLogicDefinition = “GroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃y(Agent(y) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z (hasMemberPartAtSomeTime(x, z) → Agent(z))”

`ManufacturerRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/ManufacturerRole

Axioms

SubClassOf: _:roleOf some owl:Nothing

`ManufacturingProcess`

IRI: https://spec.industrialontologies.org/ontology/core/Core/ManufacturingProcess

Annotations

firstOrderLogicAxiom = “ManufacturingProcess(x) → PlannedProcess(x) ∧ ∃m,∃y,∃p,∃z (MaterialEntity(m) ∧ (MaterialArtifact(y) ∨ ∃d( MaterialEntity(y) ∧ DesignSpecification(d) ∧ prescribes(d,y)) ∧ PlanSpecification(p) ∧ prescribes(p,x) ∧ Agent(z) ∧ isCarrierOfAtSomeTime(z,p) ∧ particiaptesInAtSomeTime(z,x) ∧ isInputOf(m,x) ∧ hasSpecifiedOutput(x,y))”

firstOrderLogicAxiom = “ManufacturingProcess(x) → PlannedProcess(x) ∧ ∃m∃y∃p∃z(MaterialEntity(m) ∧ (MaterialArtifact(y) ∨ ∃d(MaterialEntity(y) ∧ DesignSpecification(d) ∧ prescribes(d,y))) ∧ PlanSpecification(p) ∧ prescribes(p,x) ∧ Agent(z) ∧ isCarrierOfAtSomeTime(z,p) ∧ participatesInAtSomeTime(z,x) ∧ isInputOf(m,x) ∧ hasSpecifiedOutput(x,y))”

`MaterialArtifact`

IRI: https://spec.industrialontologies.org/ontology/core/Core/MaterialArtifact

Annotations

firstOrderLogicDefinition = “MaterialArtifact(x) ↔ Object(x) ∧ ∃f,∃d(Function(f) ∧ DesignSpecification(d) ∧ bearerOf(x,f) ∧ prescribes(d,f))”
semiFormalNaturalLanguageDefinition = “every instance of ‘material artifact’ is defined as exactly an instance of ‘object’ that is the ‘bearer of’ some ‘function’ ‘prescribed by’ some ‘design specification’”

firstOrderLogicDefinition = “MaterialArtifact(x) ↔ Object(x) ∧ ∃f(DesignedFunction(f) ∧ bearerOf(x,f))”
semiFormalNaturalLanguageDefinition = “every instance of ‘material artifact’ is defined as exactly an instance of ‘object’ that is the ‘bearer of’ some ‘designed function’”

Disjoint With

EngineeredSystem (https://spec.industrialontologies.org/ontology/core/Core/EngineeredSystem)
Organization (https://spec.industrialontologies.org/ontology/core/Core/Organization)

Axioms

EquivalentTo: bfo:None and bfo:None some (bfo:None and _:prescribedBy some _:DesignSpecification)

EquivalentTo: bfo:None and bfo:None some _:DesignedFunction
_:MaterialArtifact DisjointWith: (_:EngineeredSystem, _:Organization)

`MaterialLocationChangeProcess`

IRI: https://spec.industrialontologies.org/ontology/core/Core/MaterialLocationChangeProcess

Annotations

firstOrderLogicAxiom = “MaterialLocationChangeProcess(x) → PlannedProcess(x) ∧ ∃y ∃t ∃t′ ∃t’’ ∃s ∃s′ ∃z ∃z′(Material Entity(y) ∧ TemporalInstant(t) ∧ TemporalInstant(t’) ∧ TemporalRegion(t’’) ∧ IndependentContinuant(s) ∧ IndependentContinuant(s’) ∧ Site(z) ∧ Site(z’) ∧ hasParticipantAtSomeTime(x,y) ∧ firstInstantOf(t, t’‘) ∧ lastInstantOf(t’, t’‘) ∧ occupiesTemporalRegion(x,t’’) ∧ existsAt(s,t) ∧ existsAt(s’,t’) ∧ locatedInAtalltimes(s,z) ∧ locatedInAtAlltimes(s’,z’) ∧ locationOfAtAlltimes(s,y) ∧ locationOfAtAllTimes(s’,y))”

firstOrderLogicAxiom = “MaterialLocationChangeProcess(x) → PlannedProcess(x) ∧ ∃y∃t∃t1∃t2∃s∃s1∃z∃z1(MaterialEntity(y) ∧ TemporalInstant(t) ∧ TemporalInstant(t1) ∧ TemporalRegion(t2) ∧ IndependentContinuant(s) ∧ IndependentContinuant(s1) ∧ Site(z) ∧ Site(z1) ∧ hasParticipantAtSomeTime(x,y) ∧ firstInstantOf(t, t2) ∧ lastInstantOf(t1, t2) ∧ occupiesTemporalRegion(x,t2) ∧ existsAt(s,t) ∧ existsAt(s1,t1) ∧ locatedInAtalltimes(s,z) ∧ locatedInAtAlltimes(s1,z1) ∧ locationOfAtAlltimes(s,y) ∧ locationOfAtAllTimes(s1,y))”

`MaterialProductRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/MaterialProductRole

Annotations

firstOrderLogicAxiom = “MaterialProductRole(x) → Role(x) ∧ ∃y,∃z((BuyingBusinessProcess(y) ∨ OfferingForSaleBusinessProcess(y) ∨SupplyingBusinessProcess(y)) ∧ MaterialEntity(z) participatesInAtSomeTime(z,y) ∧ roleOf(x,z))”

firstOrderLogicAxiom = “MaterialProductRole(x) → Role(x) ∧ ∃y∃z((BuyingBusinessProcess(y) ∨ OfferingForSaleBusinessProcess(y) ∨ SupplyingBusinessProcess(y)) ∧ MaterialEntity(z) ∧ participatesInAtSomeTime(z,y) ∧ roleOf(x,z))”

Axioms

SubClassOf: _:roleOf some owl:Nothing

`MaterialResourceRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/MaterialResourceRole

Axioms

SubClassOf: _:roleOf some owl:Nothing

`MaterialState`

IRI: https://spec.industrialontologies.org/ontology/core/Core/MaterialState

Annotations

explanatoryNote = “1. Although the notion of “particular condition”; has not been introduced in this release, the IOF’s approach will be to model this as a dependent entity such that at any timeframe during which it exists, it depends on some material entity – meaning a material state will necessarily “be focused on” a particular condition of some material entity for which the state is ascribed. Condition here would encompass BFO: specifically-dependent continuants (qualities, dispositions and other realizable entities types) as well as site (the absolute or relative location of a material entity). In the future, the coverage will be expanded to include some currently “missing dependent entity types”; including orientation, and cases wherein a material entity is in a particular condition because it has or is in particular composition or configuration (e.g. the setup action of a machine and jig is complete and it is not in a setup/ready-for-run state).
1. Unchanging, is intended to encompass not just having a particular condition for the duration of the state, but potentially being value-bound to some constant or even within a given range as prescribed by some design or requirement specification. Specialized sub-types may be introduced to handle such value-based constant and range-bound states and conditions.
2. The term as introduced here is not intended to be used for modeling what we might call the “state of a process” (e.g., equilibrium state for chemical, physical and biological processes or steady-state or discrete or continuous production processes), nor for modeling the states of non-real entities (e.g., virtual entities participating in virtual simulation program and any other informational or abstract entities, when they are considered to be in a particular condition). Extensions to the BFO framework as well as further work on ‘process characteristic’ may be first needed to handle these use cases and such specialized state classes will be introduced in a future release.”

explanatoryNote = “1. Although the notion of “particular condition”; has not been introduced in this release, the IOF’s approach will be to model this as a dependent entity such that at any timeframe during which it exists, it depends on some material entity – meaning a material state will necessarily “be focused on” a particular condition of some material entity for which the state is ascribed. Condition here would encompass BFO: specifically-dependent continuants (qualities, dispositions and other realizable entities types) as well as site (the absolute or relative location of a material entity). In the future, the coverage will be expanded to include some currently “missing dependent entity types”; including orientation, and cases wherein a material entity is in a particular condition because it has or is in particular composition or configuration (e.g. the setup action of a machine and jig is complete and it is not in a setup/ready-for-run state).
1. Unchanging, is intended to encompass not just having a particular condition for the duration of the state, but potentially being value-bound to some constant or even within a given range as prescribed by some design or requirement specification. Specialized sub-types may be introduced to handle such value-based constant and range-bound states and conditions.
2. The term as introduced here is not intended to be used for modeling what we might call the “state of a process” (e.g., equilibrium state for chemical, physical and biological processes or steady-state or discrete or continuous production processes), nor for modeling the states of non-real entities (e.g., virtual entities participating in virtual simulation program and any other informational or abstract entities, when they are considered to be in a particular condition). Extensions to the BFO framework as well as further work on ‘process characteristic’ may be first needed to handle these use cases and such specialized state classes will be introduced in a future release.”

`MeasurementInformationContentEntity`

IRI: https://spec.industrialontologies.org/ontology/core/Core/MeasurementInformationContentEntity

Annotations

firstOrderLogicDefinition = “MeasurementInformationContentEntity ↔ InformationContentEntity(x) ∧ ∃y,∃z,∃m,∃p(((IndependentContinuant(y) ∧ ¬(SpatialRegion(y)) ∧ SpecificallyDependentContinuant(z) ∧ bearerOf(y,z)) ∨ (Process(y) ∨ ProcessBoundary(y) ∧ TemporalRegion(z) ∧ occupiesTemporalRegion(y,z)) ∨ (Process(y) ∧ ProcessCharacteristic(z) ∧ processCharacteristicOf(z,y)) ∧ MeasuredValueExpression(m) ∧ MeasurementProcess(p) ∧ isAbout(x,y) ∧ describes(x,z) ∧ hasContinuantPartAtAllTimes(x,m) ∧ isMeasuredValueOf(m,y) ∧ isOutputOf(x,p))”

firstOrderLogicDefinition = “MeasurementInformationContentEntity(x) ↔ InformationContentEntity(x) ∧ ∃y∃z∃m∃p(((IndependentContinuant(y) ∧ ¬(SpatialRegion(y)) ∧ SpecificallyDependentContinuant(z) ∧ bearerOf(y,z)) ∨ (Process(y) ∨ ProcessBoundary(y) ∧ TemporalRegion(z) ∧ occupiesTemporalRegion(y,z)) ∨ (Process(y) ∧ ProcessCharacteristic(z) ∧ processCharacteristicOf(z,y))) ∧ MeasuredValueExpression(m) ∧ MeasurementProcess(p) ∧ isAbout(x,y) ∧ describes(x,z) ∧ hasContinuantPartAtAllTimes(x,m) ∧ isMeasuredValueOf(m,y) ∧ isOutputOf(x,p))”

`MeasurementProcess`

IRI: https://spec.industrialontologies.org/ontology/core/Core/MeasurementProcess

Annotations

firstOrderLogicAxiom = “MeasurementProcess ↔ PlannedProcess(x) ∧ ∃m,∃y,∃z,∃c(MaterialEntity(m) ∧ MeasurementCapability(c) ∧ hasCapability(m,c) ∧ ((IndependentContinuant(y) ∧ ¬(SpatialRegion(y) ∧ SpecificallyDependentContinuant(z) ∧ bearerOf(y,z) ∧ participatesInAtSomeTime(y,x)) ∨ (Process(y) ∨ ProcessBoundary(y) ∧ TemporalRegion(z) ∧ occupiesTemporalRegion(y,z) ∧ ∃t(temporalRegion(t) ∧ occupiesTemporalRegion(x,t) ∧ ( occurrentPartOf(t,z) ∨ hasOccurrentPart(t,z))) ∨ (Process(y) ∧ ProcessCharacteristic(z) ∧ processCharacteristicOf(z,y)∧ (preceedes(y,x) ∨ ∃t’(temporalRegion(t’) ∧ occupiesTemporalRegion(x,t’) ∧ ( occurrentPartOf(t’,z) ∨ hasOccurrentPart(t’,z)))) ∧ measuresAtSomeTime(m,z)) ∧ ∀b(hasSpecifiedOutput(x,b) → MeasurementInformationContentEntity(b))”

firstOrderLogicAxiom = “MeasurementProcess ↔ PlannedProcess(x) ∧ ∃m∃y∃z∃c(MaterialEntity(m) ∧ MeasurementCapability(c) ∧ hasCapability(m,c) ∧ (((IndependentContinuant(y) ∧ ¬(SpatialRegion(y))) ∧ SpecificallyDependentContinuant(z) ∧ bearerOf(y,z) ∧ participatesInAtSomeTime(y,x)) ∨ (Process(y) ∨ ProcessBoundary(y) ∧ TemporalRegion(z) ∧ occupiesTemporalRegion(y,z) ∧ ∃t(temporalRegion(t) ∧ occupiesTemporalRegion(x,t) ∧ (occurrentPartOf(t,z) ∨ hasOccurrentPart(t,z)))) ∨ (Process(y) ∧ ProcessCharacteristic(z) ∧ processCharacteristicOf(z,y) ∧ (preceedes(y,x) ∨ ∃t1∃t2(temporalRegion(t1) ∧ temporalRegion(t2) ∧ occupiesTemporalRegion(x,t1) ∧ occupiesTemporalRegion(y,t2) ∧ (occurrentPartOf(t1,t2) ∨ hasOccurrentPart(t1,t2)))))) ∧ measuresAtSomeTime(m,z)) ∧ ∀b(hasSpecifiedOutput(x,b) → MeasurementInformationContentEntity(b))”

`ObjectiveSpecification`

IRI: https://spec.industrialontologies.org/ontology/core/Core/ObjectiveSpecification

Annotations

explanatoryNote = “Typically is part of a plan specification.”
firstOrderLogicAxiom = “InformationContentEntity(x) ∧ ∃y,∃p(Process(p) ∧ isAbout(x,p) ∧ ((ProcessCharacteristic(y) ∧ processCharacteristicOf(y,p))∨ (Capability(y) ∧ hasRealization(x,y)) ∨ (Continuant(c) ∧ isOutputOf(c,p))) ∧ prescribes(x,y)) → ObjectiveSpecification(x)”
semiFormalNaturalLanguageAxiom = “if x is an ‘information content entity’ that ‘is about’ some process p and that ‘prescribes’ some ‘process characteristic’ which is a ‘process characteristic of’ p or ‘capability’ that ‘has realization’ p or ‘continuant’ c that is ‘output of’ p then x is an ‘objective specification’”

explanatoryNote = “1.Typically is part of a plan specification. 2.The NL definition states that the objective specification ‘prescribes’ the outcome of a ‘process’. This does not necessarily imply that a given process exists as an instance during the entire ‘objective specification’ lifecycle. Instead, it should be interpreted as “if an instance of the Process X (X here is intended to represent an OWL:Class that is SubClassOf: Process) exists, then its outcome should be as ‘prescribed by’ the ‘objective specification’.”
firstOrderLogicAxiom = “InformationContentEntity(x) ∧ ∃y∃p(Process(p) ∧ isAchievedByAtSomeTime(x,p) ∧ ((ProcessCharacteristic(y) ∧ processCharacteristicOf(y,p))∨ (Capability(y) ∧ hasRealization(x,y)) ∨ (Continuant(c) ∧ isOutputOf(c,p))) ∧ prescribes(x,y)) → ObjectiveSpecification(x)”
semiFormalNaturalLanguageAxiom = “if x is an ‘information content entity’ that ‘is achieved by at some time’ some ‘process’ p and that ‘prescribes’ some ‘process characteristic’ which is a ‘process characteristic of’ p or ‘capability’ that ‘has realization’ p or ‘continuant’ c that is ‘output of’ p then x is an ‘objective specification’”

`Organization`

IRI: https://spec.industrialontologies.org/ontology/core/Core/Organization

Annotations

firstOrderLogicAxiom = “Organization(x) → ∀y(hasMemberPartAtSomeTime(x,y) → Person(y)) ∧ ∀z(hasContinuantPartAtSomeTime(x,z) → Organization(z))”
semiFormalNaturalLanguageAxiom = “if x is an ‘organization’ then whenever x ‘has member part at some time’ y that y must be a ‘peson’ and whenever x ‘has continuant part at some time’ z that z must be a ‘organization’”
usageNote = “Members of organizations are people. However, an organization may be composed of several sub-organizations (e.g., departments). This composition should be modeled through ‘continuant part’ relations.”

firstOrderLogicAxiom = “Organization(x) → ∀y(hasMemberPartAtSomeTime(x,y) → (Person(y) ∨ Organization(y))) ∧ ∀z(hasProperContinuantPartAtSomeTime(x,z) → Organization(z))”
semiFormalNaturalLanguageAxiom = “if x is an ‘organization’ then whenever x ‘has member part at some time’ y that y must be a ‘peson’ or ‘organization’ and whenever x ‘has proper continuant part at some time’ z that z must be a ‘organization’”
usageNote = “Members of organizations are people or other organizations. However, an organization may be composed of several sub-organizations (e.g., departments). This composition should be modeled through ‘proper continuant part’ relations.”

Disjoint With

EngineeredSystem (https://spec.industrialontologies.org/ontology/core/Core/EngineeredSystem)
MaterialArtifact (https://spec.industrialontologies.org/ontology/core/Core/MaterialArtifact)

`PlanSpecification`

IRI: https://spec.industrialontologies.org/ontology/core/Core/PlanSpecification

Annotations

synonym = “work instruction”@en-US

`ProductProductionProcess`

IRI: https://spec.industrialontologies.org/ontology/core/Core/ProductProductionProcess

Annotations

firstOrderLogicDefinition = “ProductProductionProcess(x) ↔ BusinessProcess(x) ∧ ∃m (ManufacturingProcess(m) ∧ occurentPartOf(m,x)) ∧ ∃y ∃t ∃t′ (MaterialProduct(y) ∧ TemporalRegion(t) ∧ TemporalInstant(t’) ∧ hasSpecifiedOutput(x, y) ∧ occupiesTemporalRegion(x, t) ∧ firstInstant(t′, t) ∧ ¬existsAt(y, t′))”
semiFormalNaturalLanguageDefinition = “every instance of ‘product production process’ is defined as exactly an instance of ‘business process’ that ‘has occurrent part’, some ‘planned process’, including at least one ‘manufacturing process’, and ‘has specified output’ some ‘material product’ and which did not ‘exist at’ the beginning of the ‘product production process’”

firstOrderLogicDefinition = “ProductProductionProcess(x) ↔ BusinessProcess(x) ∧ ∃m(ManufacturingProcess(m) ∧ occurentPartOf(m,x)) ∧ ∃y∃t∃t1(MaterialProduct(y) ∧ TemporalRegion(t) ∧ TemporalRegion(t1) ∧ hasSpecifiedOutput(x, y) ∧ occupiesTemporalRegion(x, t) ∧ temporallyOverlaps(t, t1) ∧ existsAt(y, t1))”
semiFormalNaturalLanguageDefinition = “every instance of ‘product production process’ is defined as exactly an instance of ‘business process’ that ‘has occurrent part’, some ‘manufacturing process’, and ‘has specified output’ some ‘material product’ which did not ‘exist at’ the beginning of the ‘product production process’”

`RawMaterialRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/RawMaterialRole

Annotations

firstOrderLogicAxiom = “RawMaterialRole(x) → Role(x) ∧ ∃y,∃m,∃z,∃b(BuyingBusinessProcess(y) ∧ Organization(m) ∧ MaterialEntity(z) ∧ BuyerRole(b) ∧ roleOf(b,m) ∧ roleOf(x,z) ∧ hasParticipantAtSomeTime(y,m) ∧ hasParticipantAtSomeTime(y,z)) ∧ (∀y(hasRealization(x,y) → (ProductProductionProcess(y) ∨ ManufacturingProcess(y))”

firstOrderLogicAxiom = “RawMaterialRole(x) → Role(x) ∧ ∃y∃m∃z∃b(BuyingBusinessProcess(y) ∧ Organization(m) ∧ MaterialEntity(z) ∧ BuyerRole(b) ∧ roleOf(b,m) ∧ roleOf(x,z) ∧ hasParticipantAtSomeTime(y,m) ∧ hasParticipantAtSomeTime(y,z)) ∧ ∀y1(hasRealization(x,y1) → (ProductProductionProcess(y1) ∨ ManufacturingProcess(y1)))”

`SellingBusinessProcess`

IRI: https://spec.industrialontologies.org/ontology/core/Core/SellingBusinessProcess

Axioms

SubClassOf: bfo:None some owl:Nothing

`ServiceProviderRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/ServiceProviderRole

Annotations

firstOrderLogicAxiom = “ServiceProvider(x) → AgentRole(x) ∧ ∃y, ∃p ((Organization(y) ∨ Person(y)) ∧ (CommercialService(p) ∨ (OfferingForSaleBusinessProcess(p)) ∧ ∃c(CommercialServiceAgreement(c) ∧ hasParticipantAtSomeTime(p,c)) ∧ participatesInAtSomeTime(y, p) ∧ roleOf(x, y))”

firstOrderLogicAxiom = “ServiceProviderRole(x) → AgentRole(x) ∧ ∃y∃p((Organization(y) ∨ Person(y)) ∧ (CommercialService(p) ∨ (OfferingForSaleBusinessProcess(p) ∧ ∃c(CommercialServiceAgreement(c) ∧ hasParticipantAtSomeTime(p,c)))) ∧ participatesInAtSomeTime(y,p) ∧ roleOf(x,y))”

Axioms

SubClassOf: _:roleOf some owl:Nothing

`SupplierRole`

IRI: https://spec.industrialontologies.org/ontology/core/Core/SupplierRole

Axioms

SubClassOf: _:roleOf some owl:Nothing

`ValueExpression`

IRI: https://spec.industrialontologies.org/ontology/core/Core/ValueExpression

Annotations

explanatoryNote = “1. value expressions comprehend qualitative, semi-quantitative, or quantitative values.
1. This class is intended to provide a single framework for representing unit-value pairs and the connection between a value and a particular classification scheme in the case of qualitative values. While currently, IOF still needs to define classification schemes and quantitative scales, this class is compatible with and thus can be mapped to external ontologies such as the QUDT and the Units Ontology to get the necessary representation of units.”

explanatoryNote = “1. Value expressions comprehend qualitative, semi-quantitative, or quantitative values.
1. All value expressions have a value associated with them through ‘has simple expression value’. This part is not formally captured as we do not want to impose a specific datatype constraint (e.g., xsd:int,rdfs:Literal) with the value expression. Nevertheless, any instance of ‘value expression’ MUST have a ‘has simple expression value’ or its subproperty pointing to a value.
2. This class is intended to provide a single framework for representing unit-value pairs and the connection between a value and a particular classification scheme in the case of qualitative values. While currently, IOF still needs to define classification schemes and quantitative scales, this class is compatible with and thus can be mapped to external ontologies such as the QUDT and the Units Ontology to get the necessary representation of units.”