exported
equivalent
instrument
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Instrument
Generated on 2026-05-02
Natural Language Definition
EN
An instrument is a material artifact that has the designed function to perform measurement, monitoring, or control of process variables.
PT-BR
Um instrumento é um artefato material que tem a função projetada de realizar medição, monitoramento ou controle de variáveis de processo.
Formal Axioms
Semi-formal (Aristotelian)
Every instrument is a material artifact that has an instrumentation function, and every material artifact that has an instrumentation function is an instrument.
First-Order Logic Theory
Loading…
▸ Stored override
∀x(Instrument(x) ↔ (Assembly(x) ∧ ∃f(InstrumentationFunction(f) ∧ hasFunction(x,f))))
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: Instrument
<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" ;
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-10-08"^^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
:COPI_0000029 rdf:type owl:Class ; # InstrumentationFunction
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000558 # InstrumentationProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000558 # InstrumentationProcess
] ;
rdfs:label "instrumentation function"@en ;
rdfs:label "função de instrumentação"@pt-br .
### Process type
:COPI_0000558 rdf:type owl:Class ; # InstrumentationProcess
rdfs:subClassOf iof-core:MeasurementProcess ;
rdfs:label "instrumentation process"@en ;
rdfs:label "processo de instrumentação"@pt-br .
iof-core:MeasurementProcess rdf:type owl:Class .
:COPI_0000558 # InstrumentationProcess
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasInput ;
owl:someValuesFrom iof-core:MeasurementInformationContentEntity
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom iof-core:InformationContentEntity
] .
### Equipment universal: Instrument
:COPI_0000091 rdf:type owl:Class ; # Instrument
owl:equivalentClass [
rdf:type owl:Class ;
owl:intersectionOf (
iof-core:MaterialArtifact
[
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000029 # InstrumentationFunction
]
)
] ;
rdfs:label "instrument"@en ;
rdfs:label "instrumento"@pt-br ;
iof-av:naturalLanguageDefinition "An instrument is a material artifact that has the designed function to perform measurement, monitoring, or control of process variables."@en ;
skos:definition "An instrument is a material artifact that has the designed function to perform measurement, monitoring, or control of process variables."@en ;
iof-av:naturalLanguageDefinition "Um instrumento é um artefato material que tem a função projetada de realizar medição, monitoramento ou controle de variáveis de processo."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every instrument is a material artifact that has an instrumentation function, and every material artifact that has an instrumentation function is an instrument."@en ;
iof-av:firstOrderLogicAxiom "∀x(Instrument(x) ↔ (Assembly(x) ∧ ∃f(InstrumentationFunction(f) ∧ hasFunction(x,f))))"@en ;
skos:definition "[ISA 5.1] a device used for direct or indirect measurement, monitoring, and/or control of a variable, including primary elements, indicators, controllers, final control elements, computing devices, and electrical devices such as annunciators, switches, and pushbuttons."@en .
Axiomatization Decision Log
1
Identity-Giving Function
Function class
InstrumentationFunction
⊑ DesignedFunction
Realized in
InstrumentationProcess
⊑ MeasurementProcess
The identity-giving function encompasses measurement, monitoring, and control of process variables. This is the broadest instrumentation function that unifies all instrument types - from simple indicators to complex control systems. All instruments exist to participate in instrumentation processes.
✓
Expert review — Accepted
2
Genus Determination
MaterialArtifact
bfo:Object (BFO_0000030)
Monolithic causally unified material artefact.
MaterialArtifact ≡ Object ⊓ ∃bearerOf.DesignedFunction.
No specific instrumentation genus exists in parent_candidates, so we use IOF-Core root directly. Instruments are typically causally unified artifacts with physically connected removable subcomponents (housings, sensing elements, electronics, displays, etc.) that can be assembled, disassembled and maintained as single units.
✓
Expert review — Accepted
"genus corrected from Assembly to MaterialArtifact — instrument class has both monolithic subtypes (thermowell, transmitter) and assembly subtypes (indicator); MaterialArtifact is the correct BFO ceiling"
3
Necessary Parts
No necessary parts recorded (concept may be primitive at this level).
These are the minimal universal parts - every instrument needs to sense variables and process those signals, though the implementation varies greatly across instrument types.
✓
Expert review — Accepted
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
MeasurementInformationContentEntity
— measurable physical property
Outputs (O)
InformationContentEntity
— indication, recording, or control signal
Transformation (T)
variable detection and signal conversion - physical variable states are transduced into information signals
Instruments take measurable process variables as inputs and produce information signals as outputs, enabling measurement, monitoring, and control functions. The core transformation is transduction from physical phenomena to information.
✓
Expert review — Accepted
"both necessary parts marked is_subtype_specific=true — thermowell has neither a sensing element nor a signal processing component"
5
Axiom Mode Decision
Necessary + Sufficient
— modelled as a defined class
(≡, EquivalentClass). Automatic classification is
appropriate for this concept.
✓
Expert review — Accepted
Cross-Standard Observations
Only ISA source provided, but the definition aligns with standard industrial practice. The broad scope (measurement, monitoring, control) correctly captures the instrument category that spans from simple gauges to complex control systems.
Source Definitions
1 source
isa5_1
instrument ↗
Definition text withheld (copyrighted standard) — follow the source link above.
Metadata
| Ontology | COPI |
| Research group | INF-UFRGS-Ontologies |
| Funding | CNPq INF-UFRGS-ENERGIA |
| Project | OntoKG / Petrobras |
| ID | #249 |
| Cluster | instrument |
| Status | exported |
| Axiom mode | equivalent |
| Created | 2026-05-02 |
| Updated | 2026-09-08 |
ISA 5.1-2022 P&ID Symbol
wikimedia/instrument_field.svg
