exported
equivalent
gas detector
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Gasdetector
Generated on 2026-04-16
Natural Language Definition
EN
A gas detector is a detector designed to signal when a given gas reaches a defined concentration in the surrounding atmosphere.
PT-BR
Um detector de gás é um detector projetado para sinalizar quando um gás atinge uma concentração definida na atmosfera ao redor.
Formal Axioms
Semi-formal (Aristotelian)
Every gas detector is a detector that bears a GasDetectionFunction and has a GasDetectingMeasuringElement as component part at all times.
First-Order Logic Theory
Loading…
▸ Stored override
∀x(GasDetector(x) ↔ (Detector(x) ∧ ∃f(GasDetectionFunction(f) ∧ bearerOf(x,f)) ∧ ∃p(GasDetectingMeasuringElement(p) ∧ hasComponentPartAtAllTimes(x,p))))
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: GasDetector
<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-09"^^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_0000543 rdf:type owl:Class ; # GasDetectionFunction
rdfs:subClassOf :COPI_0000465 ; # DetectionFunction
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000544 # GasDetectionProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000544 # GasDetectionProcess
] ;
rdfs:label "gas detection function"@en ;
rdfs:label "função de detecção de gás"@pt-br ;
iof-av:naturalLanguageDefinition "A detection function borne by petroleum production equipment whose realization constitutes the sensing and identification of the presence or concentration of a specific gas or vapour in the surrounding atmosphere."@en ;
skos:definition "A detection function borne by petroleum production equipment whose realization constitutes the sensing and identification of the presence or concentration of a specific gas or vapour in the surrounding atmosphere."@en ;
iof-av:naturalLanguageDefinition "Uma função de detecção portada por equipamento de produção de petróleo cuja realização consiste em detectar e identificar a presença ou a concentração de um gás ou vapor específico na atmosfera ao redor."@pt-br .
:COPI_0000465 rdf:type owl:Class ; # DetectionFunction
rdfs:label "função de detecção"@pt-br ;
iof-av:naturalLanguageDefinition "A designed function borne by petroleum production equipment whose realization constitutes the sensing and identification of the presence, concentration, or state of a physical or chemical entity."@en ;
skos:definition "A designed function borne by petroleum production equipment whose realization constitutes the sensing and identification of the presence, concentration, or state of a physical or chemical entity."@en ;
iof-av:naturalLanguageDefinition "Uma função projetada portada por equipamento de produção de petróleo cuja realização consiste em detectar e identificar a presença, a concentração ou o estado de uma entidade física ou química."@pt-br .
### Process type
:COPI_0000544 rdf:type owl:Class ; # GasDetectionProcess
rdfs:subClassOf :COPI_0000466 ; # DetectionProcess
rdfs:label "gas detection process"@en ;
rdfs:label "processo de detecção de gás"@pt-br ;
iof-av:naturalLanguageDefinition "A detection process in which the presence or concentration of a specific gas or vapour in the surrounding atmosphere is sensed and identified."@en ;
skos:definition "A detection process in which the presence or concentration of a specific gas or vapour in the surrounding atmosphere is sensed and identified."@en ;
iof-av:naturalLanguageDefinition "Um processo de detecção em que a presença ou a concentração de um gás ou vapor específico na atmosfera ao redor é detectada e identificada."@pt-br .
:COPI_0000466 rdf:type owl:Class ; # DetectionProcess
rdfs:label "processo de detecção"@pt-br ;
iof-av:naturalLanguageDefinition "A planned process in which the presence, concentration, or state of a physical or chemical entity is sensed and identified by petroleum production equipment."@en ;
skos:definition "A planned process in which the presence, concentration, or state of a physical or chemical entity is sensed and identified by petroleum production equipment."@en ;
iof-av:naturalLanguageDefinition "Um processo planejado em que a presença, a concentração ou o estado de uma entidade física ou química é detectado e identificado por equipamentos de produção de petróleo."@pt-br .
:COPI_0000544 # GasDetectionProcess
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasInput ;
owl:someValuesFrom :COPI_0000039 # PortionOfGas
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom iof-core:InformationContentEntity
] .
### Equipment universal: GasDetector
:COPI_0000284 rdf:type owl:Class ; # GasDetector
owl:equivalentClass [
rdf:type owl:Class ;
owl:intersectionOf (
:COPI_0000246 # Detector
[
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000543 # GasDetectionFunction
]
[
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasComponentPartAtAllTimes ;
owl:someValuesFrom :COPI_0000727 # GasDetectingMeasuringElement
]
)
] ;
rdfs:label "gas detector"@en ;
rdfs:label "detector de gás"@pt-br ;
iof-av:naturalLanguageDefinition "A gas detector is a detector designed to signal when a given gas reaches a defined concentration in the surrounding atmosphere."@en ;
skos:definition "A gas detector is a detector designed to signal when a given gas reaches a defined concentration in the surrounding atmosphere."@en ;
iof-av:naturalLanguageDefinition "Um detector de gás é um detector projetado para sinalizar quando um gás atinge uma concentração definida na atmosfera ao redor."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every gas detector is a detector that bears a GasDetectionFunction and has a GasDetectingMeasuringElement as component part at all times."@en ;
iof-av:firstOrderLogicAxiom "∀x(GasDetector(x) ↔ (Detector(x) ∧ ∃f(GasDetectionFunction(f) ∧ bearerOf(x,f)) ∧ ∃p(GasDetectingMeasuringElement(p) ∧ hasComponentPartAtAllTimes(x,p))))"@en ;
dcterms:source <https://standards.iso.org/iso/15926/-4/reference-data-item/GAS_DETECTOR> ;
dcterms:source <http://rds.posccaesar.org/ontology/plm/rdl/PCA_100005924> .
:COPI_0000727 rdf:type owl:Class ; # GasDetectingMeasuringElement
rdfs:subClassOf :COPI_0000573 ; # MeasuringElement
rdfs:label "gas detecting measuring element"@en ;
rdfs:label "elemento de medição de detecção de gás"@pt-br .
Axiomatization Decision Log
1
Identity-Giving Function
Function class
GasDetectionFunction
⊑ DetectionFunction
Realized in
GasDetectionProcess
⊑ DetectionProcess
The identity-giving function is gas detection - sensing the presence of a specified concentration of gas. This is a specialization of the general DetectionFunction already established in the ontology for the detector class.
2
Genus Determination
Detector
The parent_candidates and all source definitions consistently identify this as a specialized type of detector. The detector class is already enriched in our ontology with DetectionFunction and Assembly genus, making it the appropriate immediate superclass.
3
Necessary Parts
| Part class | Parent | Relation |
|---|---|---|
| GasDetectingMeasuringElement | MeasuringElement | hasComponentPartAtAllTimes |
Gas detectors require a specialized gas-detecting measuring element as their core sensing component. General sensing elements inherited from detector are too broad for this specialized detection function.
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfGas
— ambient atmosphere containing target gas species
Outputs (O)
InformationContentEntity
— indicates gas concentration level
Transformation (T)
chemical/physical sensing - converts gas concentration to detection signal
Gas detectors take atmospheric gas portions as input and produce detection signals indicating concentration levels. The transformation involves chemical or physical sensing mechanisms.
5
Axiom Mode Decision
Necessary + Sufficient
— modelled as a defined class
(≡, EquivalentClass). Automatic classification is
appropriate for this concept.
Cross-Standard Observations
Definitions are highly consistent across ISO 15926, CFIHOS, and POSC Caesar. All emphasize the core function of sensing gas presence at specified concentrations. ISO 15926 provides additional detail about the gas detecting measuring element component.
Reviewer Notes
Definition reworded 2026-09-24 (pre-deposit copyright review): the previous wording reused the source standard's phrasing.
Source Definitions
3 sources
ISO 15926-4
GAS DETECTOR ↗
Definition text withheld (copyrighted standard) — follow the source link above.
CFIHOS
gas detector
Definition text withheld (copyrighted standard) — follow the source link above.
POSC Caesar
Gas Detector ↗
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 | #194 |
| Cluster | gas detector |
| Status | exported |
| Axiom mode | equivalent |
| Created | 2026-04-16 |
| Updated | 2026-09-24 |
ISA 5.1-2022 P&ID Symbol
5_1_1/002_located_in_field.png
