Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
actuator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Actuators are primarily defined by their function of converting one form of energy into kinetic motion. While they have different physical implementations (pneumatic, hydraulic, electric), their identity is determined by the ActuationFunction they realize rather than their specific mechanism.
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:
All definitions converge on actuators converting energy into motion/movement. This energy-to-kinetic-motion conversion is the identity-giving function that makes an actuator an actuator, regardless of whether it's pneumatic, hydraulic, or electric.
▸
Expert review
2
Genus Proximus
✓ done
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:
Actuators are causally unified artifacts with physically connected components (housing, moving parts, energy conversion mechanisms) that work together as a single unit. They are more complex than simple MaterialArtifacts. None of the parent candidates (FunctionalObject, general instrument, Artefact) are appropriate domain-specific classes in our ontology. Assembly is the correct IOF-Core root for engineered artifacts with removable subcomponents.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ActuationFunction
▼
Conditions that distinguish
Actuator
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The ActuationFunction is the minimal and necessary differentiating condition. It captures the essence of energy-to-motion conversion that all actuator definitions emphasize, distinguishing actuators from other energy conversion devices.
▸
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:
These are the universal components present in all actuator types - something to convert energy and something to produce motion output.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
ControlSignal → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Actuators convert external energy into controlled motion based on input signals, distinguishing them from simple motors or energy converters.
▸
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
0 of 4 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Actuator as
bfo:Quality subclasses.
Each selected property →
:ActuatorQuality ⊑ bfo:Quality, inheres in :Actuator
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on 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.
