exported
equivalent
COPI_0000155
Temperature Transmitter
IRI:
https://www.inf.ufrgs.br/ontologies/copi/COPI_0000155
Generated onGerado em 2026-04-13
Natural Language DefinitionDefinição em Linguagem Natural
EN
A temperature transmitter is a transmitter that measures temperature and produces a standardized output signal dependent on the received input signal from a temperature element.PT-BR
Um transmissor de temperatura é um transmissor que mede temperatura e produz um sinal de saída padronizado dependente do sinal de entrada recebido de um elemento de temperatura.Formal AxiomsAxiomas Formais
Semi-formal (Aristotelian)Semi-formal (Aristotélico)
Every temperature transmitter is a transmitter that has the function to measure temperature and transmit standardized signals based on temperature input.First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Definition]∀x (TemperatureTransmitter(x) ↔ Transmitter(x) ∧ ∃f (TemperatureMeasurementAndTransmissionFunction(f) ∧ bearerOf(x,f)) ∧ ∃bearerOf.TemperatureMeasurementCapability ⊓ ∃hasInput.TemperatureSignal) — Steps 1–3: genus + identity-giving function
[Function axiom: TemperatureMeasurementAndTransmissionFunction]∀f (TemperatureMeasurementAndTransmissionFunction(f) → ∀p (realizedIn(f,p) → TemperatureMeasurementAndTransmissionProcess(p)) ∧ ∃p (TemperatureMeasurementAndTransmissionProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised
[Process participation signature]∀x ∀f ((TemperatureTransmitter(x) ∧ TemperatureMeasurementAndTransmissionFunction(f) ∧ bearerOf(x,f)) →
∃m (TemperatureSignal(m) ∧ participatesIn(m,f)) ∧
∃e (StandardizedSignal(e) ∧ participatesIn(e,f)) ∧
processType(f,MeasurementTransduction)) — Step 5: typed participants in the realising process
OWL 2 / Turtle
@prefix copi: <https://www.inf.ufrgs.br/ontologies/copi/> .
@prefix : <https://www.inf.ufrgs.br/ontologies/copi/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix bfo: <http://purl.obolibrary.org/obo/> .
@prefix iof-core: <https://spec.industrialontologies.org/ontology/construct/> .
@prefix iof-av: <https://spec.industrialontologies.org/ontology/annotation/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix qudt: <http://qudt.org/schema/qudt/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix apv: <http://inf.ufrgs.br/ontologies/apv#> .
### COPI — Core Ontology for Petroleum Installations
### Class module: TemperatureTransmitter
<https://www.inf.ufrgs.br/ontologies/copi>
rdf:type owl:Ontology ;
dcterms:title "Core Ontology for Petroleum Installations (COPI)"@en ;
dcterms:title "Ontologia Core para Instalações de Petróleo (COPI)"@pt-br ;
dcterms:description "BFO/IOF-Core conformant ontology of equipment classes for petroleum production plants, developed using the five-step RDL enrichment method."@en ;
skos:scopeNote "Material artifacts (bfo:material_entity) that (i) are part of a petroleum production plant, and (ii) bear at least one function whose realization involves the transport (e.g. production and injection), processing (separation and other processes), control, monitoring, measurement, containment or offloading of material or energy."@en ;
skos:scopeNote "Artefatos materiais (bfo:material_entity) que (i) fazem parte de uma planta de produção de petróleo, e (ii) possuem ao menos uma função cuja realização envolve o transporte (p. ex. produção e injeção), processamento (separação e outros processos), controle, monitoramento, medição, contenção ou escoamento de material ou energia."@pt-br ;
skos:scopeNote "COPI provides high-level equipment categories defined by function to demonstrate the defined-class mechanism. Equipment subtypes are annotated with references to CFIHOS and PCA RDL terms. COPI is not a reference data library; organizations should use CFIHOS, PCA RDL, or ISO 14224 for comprehensive equipment classification."@en ;
skos:scopeNote "COPI fornece categorias de alto nível de equipamentos definidas por função para demonstrar o mecanismo de classe definida. Os subtipos de equipamentos são anotados com referências aos termos do CFIHOS e do PCA RDL. COPI não é uma biblioteca de dados de referência; organizações devem utilizar o CFIHOS, o PCA RDL ou a ISO 14224 para classificação abrangente de equipamentos."@pt-br ;
owl:versionInfo "1.1.0-104-g4d16eff" ;
owl:imports <https://spec.industrialontologies.org/ontology/core/Core/> ;
owl:imports <http://purl.obolibrary.org/obo/bfo/2020/bfo.owl> ;
dcterms:creator "Nicolau Oyhenard dos Santos"@en ;
dcterms:contributor "Cauã Antunes" ;
dcterms:contributor "Haroldo Rojas" ;
dcterms:contributor "Rafael Petry" ;
dcterms:contributor "Régis Romeu" ;
dcterms:contributor "Mara Abel" ;
dcterms:isPartOf <https://inf.ufrgs.br/projetos/OntoKG> ;
dcterms:publisher "Universidade Federal do Rio Grande do Sul (UFRGS)"@en ;
dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
dcterms:created "2026-04-08"^^xsd:date ;
dcterms:modified "2026-07-13"^^xsd:date ;
apv:GlobalMinLanguageCoverage "en pt-br" ;
apv:ClassURIFormationRule "https://www[.]inf[.]ufrgs[.]br/ontologies/copi/(COPI_[0-9]{7}|[A-Z][A-Za-z0-9]*)" ;
apv:ClassMinAnnotationCoverage "rdfs:label https://spec.industrialontologies.org/ontology/annotation/naturalLanguageDefinition" .
iof-av:naturalLanguageDefinition rdf:type owl:AnnotationProperty ;
apv:MinAnnotationLength 20 .
### Identity-giving function
:TemperatureMeasurementAndTransmissionFunction rdf:type owl:Class ;
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :TemperatureMeasurementAndTransmissionProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :TemperatureMeasurementAndTransmissionProcess
] ;
rdfs:label "temperature measurement and transmission function"@en ;
rdfs:label "função de medição e transmissão de temperatura"@pt-br .
### Process type
:TemperatureMeasurementAndTransmissionProcess rdf:type owl:Class ;
rdfs:subClassOf iof-core:PlannedProcess ;
rdfs:label "temperature measurement and transmission process"@en ;
rdfs:label "processo de medição e transmissão de temperatura"@pt-br .
:TemperatureMeasurementAndTransmissionProcess
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasInput ;
owl:someValuesFrom :TemperatureSignal
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :StandardizedSignal
] .
### Equipment universal: TemperatureTransmitter
:TemperatureTransmitter rdf:type owl:Class ;
owl:equivalentClass [
rdf:type owl:Class ;
owl:intersectionOf (
:Transmitter
[
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :TemperatureMeasurementAndTransmissionFunction
]
)
] ;
rdfs:label "temperature transmitter"@en ;
rdfs:label "transmissor de temperatura"@pt-br ;
iof-av:naturalLanguageDefinition "A temperature transmitter is a transmitter that measures temperature and produces a standardized output signal dependent on the received input signal from a temperature element."@en ;
skos:definition "A temperature transmitter is a transmitter that measures temperature and produces a standardized output signal dependent on the received input signal from a temperature element."@en ;
iof-av:naturalLanguageDefinition "Um transmissor de temperatura é um transmissor que mede temperatura e produz um sinal de saída padronizado dependente do sinal de entrada recebido de um elemento de temperatura."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every temperature transmitter is a transmitter that has the function to measure temperature and transmit standardized signals based on temperature input."@en ;
iof-av:firstOrderLogicAxiom "∀x(TemperatureTransmitter(x) ↔ Transmitter(x) ∧ ∃f(TemperatureMeasurementAndTransmissionFunction(f) ∧ bearerOf(x,f)))"@en ;
# Disjointness: TemperatureTransmitter and PressureTransmitter
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :TemperatureTransmitter :PressureTransmitter ) .
# Disjointness: TemperatureTransmitter and FlowTransmitter
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :TemperatureTransmitter :FlowTransmitter ) .
# Disjointness: TemperatureTransmitter and LevelTransmitter
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :TemperatureTransmitter :LevelTransmitter ) .
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
TemperatureMeasurementAndTransmissionFunction
⊑ DesignedFunction
Realized in
TemperatureMeasurementAndTransmissionProcess
⊑ PlannedProcess
The identity-giving function combines temperature measurement with signal transmission. While SignalTransmissionFunction already exists in the ontology for generic transmitters, temperature transmitters have a more specific function that includes the temperature sensing capability - they don't just transmit arbitrary signals but specifically measure and transmit temperature data.
2 Genus DeterminationDeterminação do Gênero
transmitterbfo:Object (BFO_0000030)
The parent_candidates include 'transmitter' which is already enriched in our ontology with function SignalTransmissionFunction. ISO 15926 shows temperature transmitter as both a PROCESS VARIABLE TRANSMITTER and TEMPERATURE MEASURING INSTRUMENT, but 'transmitter' is the most specific appropriate superclass that exists in our system. Temperature transmitters inherit signal transmission capability and add temperature measurement specificity.
3 Differentia SpecificaDiferença Específica
∃bearerOf.TemperatureMeasurementCapability ⊓ ∃hasInput.TemperatureSignalA temperature transmitter differs from other transmitters by having the capability to measure temperature and accepting temperature signals as input.
The genus 'transmitter' already provides signal transmission functionality. The differentia adds the temperature measurement capability that distinguishes this from other process variable transmitters. The temperature signal input requirement captures that these devices specifically process temperature-related inputs from temperature elements.
4 Necessary PartsPartes Necessárias
No necessary parts recorded.
All temperature transmitters require these core components: a temperature sensor to measure temperature and signal conversion electronics to produce the standardized output signal. These are universal requirements regardless of specific temperature sensing technology used.
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
{'type': 'TemperatureSignal', 'count': 1, 'constraints': 'from temperature element'}
OutputsSaídas
{'type': 'StandardizedSignal', 'count': 1, 'constraints': '4-20mA, digital, or other standard format'}
TransformationTransformação
temperature measurement converted to standardized signal
Temperature transmitters receive temperature input signals from temperature elements (thermocouples, RTDs, etc.) and output standardized signals for process control systems. This signature distinguishes them from other transmitter types.
Disjoint WithDisjunto com
PressureTransmitter FlowTransmitter LevelTransmitter
C2: PressureTransmitter, FlowTransmitter, LevelTransmitter. These transmitter types have incompatible process signatures - each measures a different process variable and cannot simultaneously be temperature transmitters
MetadataMetadados
| COPI IDCOPI ID | COPI_0000155 |
| IRIIRI | https://www.inf.ufrgs.br/ontologies/copi/COPI_0000155 |
| StatusStatus | exported |
| Axiom modeModo | equivalent |
| CreatedCriado | 2026-04-13 |
| UpdatedAtualizado | 2026-06-25 |
| LLM modelModelo LLM | claude-sonnet-4-20250514 |
| VersionVersão | 2026-07-13 |
ISA 5.1-2022 — 5_2_1/001_transmitter_with_integral_primary_element_bubble_format.png
Quick factsDados rápidos
| GenusGênero | transmitter |
| Root classClasse raiz | MaterialArtifact |
| Axiom modeModo | equivalent |
| FunctionFunção | TemperatureMeasurementAndTransmissionFunction |
| ProcessProcesso | TemperatureMeasurementAndTransmissionProcess |
| PartsPartes | 0 |
Source DefinitionsDefinições nas Fontes
4 sources
ISO 15926-4
TEMPERATURE TRANSMITTER
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.
CFIHOS
temperature transmitter
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.
ISA5_1
Temperature Transmitter
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.
POSC Caesar
Temperature Transmitter
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.