Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
diaphragm actuator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
This concept is defined by its physical mechanism (diaphragm) rather than a unique function. The definition emphasizes 'using a DIAPHRAGM' as the distinguishing characteristic. While it has an actuation function like all actuators, the identity is given by the specific diaphragm-based mechanism of operation.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
⚠ not anchored
ActuationFunction → ActuationProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
Reusing the existing ActuationFunction from the already-enriched 'actuator' class, as diaphragm actuator is a constructive subtype sharing the same identity-giving function but distinguished by its diaphragm-based mechanism.
▸
Expert review
2
Genus Proximus
✓ done
Actuator · Assembly
▼
Genus (genus proximum)
Most specific superclass — may be a domain class like "Valve" or an IOF-Core root.
BFO/IOF-Core Root
bfo:Object branch
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
The source definition states this is a CONTROLLED ACTUATOR, and 'actuator' is already enriched in our ontology as the most specific appropriate superclass. This follows genus proximum principle - prefer the most specific existing superclass rather than jumping to Assembly directly.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.Diaphragm
▼
Conditions that distinguish
Diaphragm Actuator
from sibling classes under genus
Actuator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The ISO 15926 definition explicitly states it is 'using a DIAPHRAGM' as the key distinguishing feature. This structural component is what makes it a diaphragm actuator rather than other types of actuators that achieve the same function through different mechanisms.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
While the definition mentions diaphragm as essential (included in differentia), no component terms are provided in the Known Component Terms list, and the source definition does not specify other necessary parts. The diaphragm itself cannot be formally added as a part since 'Diaphragm' is not in the Known Component Terms list.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
ControlSignal → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Actuators transform control signals into mechanical output for positioning or operating other equipment. The diaphragm mechanism enables this transformation by deflecting under fluid pressure or other input to produce mechanical motion.
▸
Expert review
More
Alternative labels
none
▼
Synonyms / alternative labels (comma-separated) — skos:altLabel
Language auto-detected on export (PT if the label contains accents, EN otherwise).
Properties as BFO qualities
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Diaphragm Actuator.
Write the restriction block in Turtle syntax (without the leading
rdfs:subClassOf).
Example: [ owl:onProperty :hasPart ; owl:someValuesFrom :Wellhead ]
Cross-standard divergences
none detected yet
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
