Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
rotary actuator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The definition identifies this as a subtype of ACTUATOR specifically characterized by 'causing a rotary motion' - the rotary motion mechanism is the constructive differentia that distinguishes it from other actuator types like linear or oscillating actuators.
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 ActuationFunction from the already-enriched 'actuator' class since rotary actuator is a constructive subtype of actuator with the same identity-giving function - the function to convert control signals into mechanical motion.
▸
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 ISO 15926-4 definition explicitly states 'A ROTARY ACTUATOR is an ACTUATOR', and 'actuator' is already enriched in our ontology as an Assembly with ActuationFunction. This is the most specific appropriate superclass.
▸
Expert review
3
Differentia Specifica
✓ done
∃participatesIn.RotaryMotionProcess
▼
Conditions that distinguish
Rotary 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 definition specifies 'causing a rotary motion' as the key distinguishing feature. Since the genus actuator already provides the basic actuation function, the differentia must capture the rotary motion characteristic that distinguishes this from linear actuators, oscillating actuators, or multi-axis actuators.
▸
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:
No component terms are provided in the Known Component Terms list, and the source definition is too high-level to identify specific necessary parts beyond what the genus actuator would already provide. Any specific parts (motor, gears, output shaft) would be subtype-specific depending on the particular rotary actuator design.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
ControlSignal → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The rotary actuator takes control signals and converts them into mechanical rotational output. This signature distinguishes it from pumps/compressors (which act on fluids) and from linear actuators (which produce linear rather than rotational mechanical output).
▸
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 Rotary 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.
