Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
transducer
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Transducers are primarily defined by their identity-giving function of energy/signal conversion, not by their physical mechanism. The definitions consistently focus on the conversion capability rather than structural details.
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
TransductionFunction → TransductionProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is the capability to convert information or energy from one form or magnitude to another. This conversion/transduction is what makes a transducer a transducer, distinct from simple measurement (which only detects) or transmission (which only conveys).
▸
Expert review
2
Genus Proximus
✓ done
Instrument · 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:
Transducers are fundamentally instrumentation devices that process information signals. While ISO 15926 suggests 'ENERGY CONVERTER' as parent, transducers are more specifically instruments that handle process variables and signals. The existing enriched classes show many instrument subtypes (transmitter, indicator, detector) suggesting Instrument as the appropriate genus level.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.TransductionFunction
▼
Conditions that distinguish
Transducer
from sibling classes under genus
Instrument.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The TransductionFunction captures the essential differentia - the ability to convert between different forms or magnitudes of energy while preserving information content. This is what distinguishes transducers from other instrument types.
▸
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 two parts are fundamental to all transducers - something to sense the input variable and something to convert it to the output form. Specific transducer types will have more specialized parts.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
MeasurementInformationContentEntity → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Transducers accept physical/chemical variables as inputs and produce output signals in different energy forms, with the transformation governed by a definite conversion relationship.
▸
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 Transducer.
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.
