Changes in 🟢 Core Ontology

Maturity: 🟢 Released

Added

Classes

Construct	Definition
`Consumable`	material entity which has the consumable role
`ConsumableRole`	role held by a material entity when it is planned to be, or is partially or fully used up in a planned process
`InputSpecification`	information content entity that prescribes the entities to be used as inputs to a planned process or the attributes they must posses to serve as valid inputs
`OutputObjectiveSpecification`	objective specification that prescribes the entities to be produced or modified in a planned process or the attributes they must posses to serve as valid outputs

Object Properties

Construct	Definition
`hasProcessProfile`	relation that holds between a process and a process profile that is part of the process such that the part is temporally coextensive with another proper part that is mutually dependent on it and has no parts in common with it
`isMadeOfAtAllTimes`	relation between material entity b and material entity that is not a fiat object c such that b has continuant part at all times c and if portion of c is removed from b, that portion stops being part of b, while the remaining c continues to exist as the same material entity and b remains to have continuant part c
`isMadeOfAtSomeTime`	relation between material entity b and material entity that is not a fiat object c such that b has continuant part at some time c and if portion of c is removed from b, that portion stops being part of b, while the remaining c continues to exist as the same material entity and b remains to have continuant part c
`processProfileOf`	relation that holds between a process profile and a process that it is part of such that the source process is a proper part of the target process and is temporally coextensive with another proper part of the target process that is mutually dependent on it and shares no parts with it.

Changed

Classes

`MeasuredValueExpression`

IRI: https://spec.industrialontologies.org/ontology/construct/MeasuredValueExpression

Annotations

firstOrderLogicDefinition = “MeasuredValueSpecification(x) ↔ ValueExpression(x) ∧ ∃e((TemporalRegion(e) ∨ ProcessCharacteristic(e) ∨ SpecificallyDependentContinuant(e)) ∧ isMeasuredValueOfAtSomeTime(x,e))”
naturalLanguageDefinition = “value expression that contains the measured value of an attribute (specifically dependent continuant or process characteristic or temporal region)”@en-US
semiFormalNaturalLanguageDefinition = “every instance of ‘measured value expression’ is defined exactly as an instance of ‘information content entity’ that ‘is measured value of at some time’ some ‘process characteristic’ or ‘temporal region’ or ‘specifically dependent continuant’”

firstOrderLogicDefinition = “MeasuredValueSpecification(x) ↔ ValueExpression(x) ∧ ∃e((TemporalRegion(e) ∨ ProcessCharacteristic(e) ∨ ProcessProfile(e) ∨ SpecificallyDependentContinuant(e)) ∧ isMeasuredValueOfAtSomeTime(x,e))”
naturalLanguageDefinition = “value expression that contains the measured value of an attribute (specifically dependent continuant or process characteristic or process profile or temporal region)”@en-US
semiFormalNaturalLanguageDefinition = “every instance of ‘measured value expression’ is defined exactly as an instance of ‘information content entity’ that ‘is measured value of at some time’ some ‘process characteristic’ or ‘process profile’ or ‘temporal region’ or ‘specifically dependent continuant’”

Axioms

EquivalentTo: constr:ValueExpression and constr:isMeasuredValueOfAtSomeTime some (bfo:temporal_region or bfo:specifically_dependent_continuant or constr:ProcessCharacteristic)

EquivalentTo: constr:ValueExpression and constr:isMeasuredValueOfAtSomeTime some (bfo:temporal_region or bfo:specifically_dependent_continuant or bfo:process_profile or constr:ProcessCharacteristic)

`MeasurementInformationContentEntity`

IRI: https://spec.industrialontologies.org/ontology/construct/MeasurementInformationContentEntity

Annotations

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))”
semiFormalNaturalLanguageDefinition = “every instance of ‘measurement information content entity is defined as exactly an instance of ‘information content entity’ that is ‘output of’ some ‘measurement process’ that ‘describes’ some ‘specifically dependent continuant’ or ‘temporal region’ or ‘process characteristic’ y that are an attribute of (‘inhere in’ or ‘process characteristic of’ or temporally occupied by) a ‘process’ or ‘process boundary’ or ‘independent continuant’(that is not a ‘spatial region’) the ‘measurement information content entity’ ‘is about’ and that ‘has continuant part at all times’ some ‘measured value expression’ that ‘is measured value of’ y”

firstOrderLogicDefinition = “LA1: 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)) ∨ (ProcessProfile(z) ∧ processProfileOf(z,y))) ∧ MeasuredValueExpression(m) ∧ MeasurementProcess(p) ∧ isAbout(x,y) ∧ describes(x,z) ∧ hasContinuantPartAtAllTimes(x,m) ∧ isMeasuredValueOf(m,y) ∧ isOutputOf(x,p))”
semiFormalNaturalLanguageDefinition = “every instance of ‘measurement information content entity’ is defined as exactly an instance of ‘information content entity’ that ‘is about’ some ‘independent continuant’ or ‘process’ or ‘process boundary’, and ‘describes’ some ‘specifically dependent continuant’, ‘temporal region’, ‘process characteristic’, or ‘process profile’, and ‘has continuant part at all times’ some ‘measured value expression’, and ‘is measured value of’ that entity, and ‘is output of’ some ‘measurement process’”

Axioms

EquivalentTo: constr:InformationContentEntity and bfo:has_continuant_part_at_all_times some constr:MeasuredValueExpression and constr:describes some (bfo:temporal_region or bfo:specifically_dependent_continuant or constr:ProcessCharacteristic) and constr:isAbout some (bfo:process or bfo:process_boundary or (bfo:independent_continuant and not bfo:spatial_region)) and constr:isOutputOf some constr:MeasurementProcess

EquivalentTo: constr:InformationContentEntity and bfo:has_continuant_part_at_all_times some constr:MeasuredValueExpression and constr:describes some (bfo:temporal_region or bfo:specifically_dependent_continuant or bfo:process_profile or constr:ProcessCharacteristic) and constr:isAbout some (bfo:process or bfo:process_boundary or (bfo:independent_continuant and not bfo:spatial_region)) and constr:isOutputOf some constr:MeasurementProcess

`MeasurementProcess`

IRI: https://spec.industrialontologies.org/ontology/construct/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) ∨ ∃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))”
semiFormalNaturalLanguageAxiom = “if x is a ‘measurement process’ then x is a ‘planned process’ that ‘has participant at some time’ some ‘material entity’ y that ‘has measurement capability’ and y ‘measures at some time’ either 1) ‘process characteristic’ that is ‘process characteristic of’ a ‘process’ that ‘preceedes’ or (partially or fully) temporally coincides with x) or 2)’specifically dependent continuant’ that ‘inheres in’ an ‘independent continuant’ (that is not a ‘spatial region’) which ‘participates in at some time’ x or 3) ‘temporal region’ that is temporally occupied by some ‘process’ or ‘process boundary’ and that ‘has occurrent part’ or ‘occurent part of’ a ‘temporal region’ temporally occupied by x and whenever x ‘has specified output’ b that b must be a ‘measurement information content entity’”

firstOrderLogicAxiom = “LA1: MeasurementProcess(x) ↔ 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))) ∨ (ProcessCharacteristic(z) ∧ processCharacteristicOf(z,y)) ∨ (ProcessProfile(z) ∧ processProfileOf(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))”
semiFormalNaturalLanguageAxiom = “if x is a ‘measurement process’ then x is a ‘planned process’ that ‘has participant at some time’ some ‘material entity’ y that ‘has capability’ some ‘measurement capability’ and y ‘measures at some time’ either (1) a ‘process characteristic’ that is ‘process characteristic of’ a ‘process’ that ‘precedes’ or temporally overlaps with x, or (2) a ‘specifically dependent continuant’ that ‘inheres in’ an ‘independent continuant’ (not a ‘spatial region’) which ‘participates in at some time’ x, or (3) a ‘temporal region’ that is ‘occupied by’ some ‘process’ or ‘process boundary’ and that ‘has occurrent part’ or is ‘occurrent part of’ a ‘temporal region’ that is ‘occupied by’ x, or (4) a ‘process profile’ that is ‘process profile of’ a ‘process’ that ‘precedes’ or temporally overlaps with x, and whenever x ‘has specified output’ b, b must be a ‘measurement information content entity’.”

Axioms

SubClassOf: bfo:has_participant_at_some_time some ((bfo:material_entity and constr:hasCapability some constr:MeasurementCapability) and constr:measuresAtSomeTime some (bfo:temporal_region or bfo:specifically_dependent_continuant or constr:ProcessCharacteristic))

SubClassOf: bfo:has_participant_at_some_time some ((bfo:material_entity and constr:hasCapability some constr:MeasurementCapability) and constr:measuresAtSomeTime some (bfo:temporal_region or bfo:specifically_dependent_continuant or bfo:process_profile or constr:ProcessCharacteristic))

`ObjectiveSpecification`

IRI: https://spec.industrialontologies.org/ontology/construct/ObjectiveSpecification

Annotations

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’”

firstOrderLogicAxiom = “InformationContentEntity(x) ∧ ∃y∃p(Process(p) ∧ isAchievedByAtSomeTime(x,p) ∧ ((ProcessCharacteristic(y) ∧ processCharacteristicOf(y,p)) ∨ (ProcessProfile(y) ∧ processProfileOf(y,p)) ∨ (Capability(y) ∧ hasRealization(x,y)) ∨ (Continuant(y) ∧ isOutputOf(y,p))) ∧ prescribes(x,y)) → ObjectiveSpecification(x)”
semiFormalNaturalLanguageAxiom = “if x is an ‘information content entity’ and x ‘is achieved by at some time’ some ‘process’ p, and x ‘prescribes’ some y that is either a ‘process characteristic’ that is ‘process characteristic of’ p, or a ‘process profile’ that is ‘process profile of’ p, or a ‘capability’ that x ‘has realization’ of, or a ‘continuant’ that ‘is output of’ p, then x is an ‘objective specification’.”

Axioms

constr:InformationContentEntity and constr:isAchievedByAtSomeTime some bfo:process and constr:prescribes some (constr:Capability or constr:ProcessCharacteristic or (bfo:continuant and constr:isOutputOf some bfo:process)) SubClassOf: constr:ObjectiveSpecification

constr:InformationContentEntity and constr:isAchievedByAtSomeTime some bfo:process and constr:prescribes some (bfo:process_profile or constr:Capability or constr:ProcessCharacteristic or (bfo:continuant and constr:isOutputOf some bfo:process)) SubClassOf: constr:ObjectiveSpecification

`ProcessCharacteristic`

IRI: https://spec.industrialontologies.org/ontology/construct/ProcessCharacteristic

Annotations

example = “the rate of production of a product production process, heart rate, the rate of temperature change resulting from a heating process”@en-US
explanatoryNote = “Here ‘attribute’ is not a technical term.”
firstOrderLogicAxiom = “ProcessCharacteristic(x) → Occurrent(x)”
naturalLanguageDefinition = “attribute of a process”@en-US
primitiveRationale = “This term is expected to remain primitive as it is highly unlikely that a a set of conditions will be created such that no circularity is introduced.”
semiFormalNaturalLanguageAxiom = “if x is a ‘process characteristic’ then x is an ‘occurrent’”

example = “The maximum temperature of a heating process, the average wind speed of a turbine operation process, total fuel consumed in a boiling process, the peak RPM of a engine running process, overall noise level (good, fair, or poor) of a transmission process, average throughput of a production process”@en-US
counterExample = “temperature curve during heating, heart rate over time during exercise, RPM vs time for an engine, count-per-minute variation during production, daily average temprature over last month”
explanatoryNote = “1) A process characteristic is a continuant rather than an occurrent because it characterizes a process as a single whole rather than as something that unfolds in time. Unlike a process or a process profile, which has different temporal parts occupying different temporal regions, a process characteristic has no part tied to time. The summarization of the target attribute considers all of its temporal parts—for example, the maximum temperature can only be known by considering the entire temperature profile of a heating process.

2) The “attribute” mentioned in the definition is the specific feature of a process whose time-dependent behavior are captured by a ‘process profile’, but which may be summarized by a ‘process characteristic’ over the whole duration of the process.

3) Summarization means describing an attribute of a process with a single overall characterization instead of representing how it varies over time. For example, the speed profile of a car’s movement can be summarized by taking average of all instantaneous speeds over the entire duration the movement occurred, e.g., 45kmph average speed. However, the summarization may also be qualitative for some type process characteristics, e.g., the heartbeat was steady or stuttering.”
firstOrderLogicAxiom = “∀c, c’, x, x′(processCharacteristicOf(c, x) ∧ continuantPartOf(c’, c) ∧ temporalPartOf(x′,x) → ¬ processCharacteristicOf(c’,x′))”
firstOrderLogicDefinition = “ProcessCharacteristic(x) ↔ Continuant(x) ∧ ∃p(Process(p) ∧ processCharacteristicOf(x, p))”
naturalLanguageDefinition = “continuant that summarizes an attribute of a process over its entire duration, providing a time-independent characterization of the process as a whole”@en-US
primitiveRationale = “The construct is primitive because of the following two ideosyncratic design decisions which may require re-evaluation in the future. 1) The construct is defined using a trans-ontological relation ‘process characteristics of’, which relates a ‘continuant’ to a ‘process’, an ‘occurrent’. 2) The consruct is broadly classified as ‘continuant’, without further specialization.”
semiFormalNaturalLanguageAxiom = “if c is ‘process characteristic of’ x and c′ is a ‘continuant part of’ c and x′ is a ‘temporal part of’ x, then c′ is not ‘process characteristic of’ x′”
semiFormalNaturalLanguageDefinition = “every instance of ‘process characteristic’ is defined as exactly an instance of ‘continuant’ that is ‘process characteristic of’ some ‘process’”

Parents

BFO_0000003 (http://purl.obolibrary.org/obo/BFO_0000003)

BFO_0000002 (http://purl.obolibrary.org/obo/BFO_0000002)

Axioms

SubClassOf: bfo:occurrent

EquivalentTo: bfo:continuant and constr:processCharacteristicOf some bfo:process
SubClassOf: bfo:continuant

Object Properties

`hasProcessCharacteristic`

IRI: https://spec.industrialontologies.org/ontology/construct/hasProcessCharacteristic

Annotations

example = “product production process has process characteristic constant production rate; heating process has process characteristic temperature change of 5F/min”@en-US

example = “the water flowing through a pipe during a given period has the average flow rate as a process characteristic, the heating process has the total energy consumed as a process characteristic, the batch sterilization process has the peak temperature as a process characteristic.”@en-US
firstOrderLogicDefinition = “hasProcessCharacteristics(p, c) → processCharacteristicsOf(c, p)”
semiFormalNaturalLanguageDefinition = “if p ‘has process characteristics’ c, then c is ‘process characteristics of’ p”

`processCharacteristicOf`

IRI: https://spec.industrialontologies.org/ontology/construct/processCharacteristicOf

Annotations

example = “constant production rate is the process characteristic of a product production process; temperature change of 1C/min is the process characteristic of a heating process”@en-US

example = “The average flow rate is a process characteristic of the water flowing through a pipe during a given period, the total energy consumed is a process characteristic of the heating process, the peak temperature is a process characteristic of the batch sterilization process.”