exported
equivalent
relief valve
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Reliefvalve
Generated on 2026-04-13
Natural Language Definition
EN
A relief valve is a valve that is designed to automatically open at a predetermined pressure setpoint to relieve excess pressure and prevent unsafe pressure levels in a system.
PT-BR
Uma válvula de alívio é uma válvula projetada para abrir automaticamente em um ponto de ajuste de pressão predeterminado para aliviar o excesso de pressão e prevenir níveis de pressão inseguros em um sistema.
Formal Axioms
Semi-formal (Aristotelian)
Every relief valve is a valve that bears a pressure relief function, which realizes a pressure relief process that automatically opens the valve when system pressure exceeds a predetermined setpoint.
First-Order Logic Theory
Loading…
▸ Stored override
∀x (ReliefValve(x) ↔ (Valve(x) ∧ ∃f (PressureReliefFunction(f) ∧ bearerOf(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: ReliefValve
<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_0000169 rdf:type owl:Class ; # PressureReliefFunction
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000610 # PressureReliefProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000610 # PressureReliefProcess
] ;
rdfs:label "pressure relief function"@en ;
rdfs:label "função de alívio de pressão"@pt-br .
### Process type
:COPI_0000610 rdf:type owl:Class ; # PressureReliefProcess
rdfs:subClassOf :COPI_0000010 ; # FlowControl
rdfs:label "pressure relief process"@en ;
rdfs:label "processo de alívio de pressão"@pt-br .
:COPI_0000010 rdf:type owl:Class . # FlowControl
:COPI_0000610 # PressureReliefProcess
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasInput ;
owl:someValuesFrom :COPI_0000037 # PortionOfFluid
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :COPI_0000037 # PortionOfFluid
] .
### Equipment universal: ReliefValve
:COPI_0000145 rdf:type owl:Class ; # ReliefValve
owl:equivalentClass [
rdf:type owl:Class ;
owl:intersectionOf (
:COPI_0000077 # Valve
[
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000169 # PressureReliefFunction
]
)
] ;
rdfs:label "relief valve"@en ;
rdfs:label "válvula de alívio"@pt-br ;
iof-av:naturalLanguageDefinition "A relief valve is a valve that is designed to automatically open at a predetermined pressure setpoint to relieve excess pressure and prevent unsafe pressure levels in a system."@en ;
skos:definition "A relief valve is a valve that is designed to automatically open at a predetermined pressure setpoint to relieve excess pressure and prevent unsafe pressure levels in a system."@en ;
iof-av:naturalLanguageDefinition "Uma válvula de alívio é uma válvula projetada para abrir automaticamente em um ponto de ajuste de pressão predeterminado para aliviar o excesso de pressão e prevenir níveis de pressão inseguros em um sistema."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every relief valve is a valve that bears a pressure relief function, which realizes a pressure relief process that automatically opens the valve when system pressure exceeds a predetermined setpoint."@en ;
iof-av:firstOrderLogicAxiom "∀x (ReliefValve(x) ↔ (Valve(x) ∧ ∃f (PressureReliefFunction(f) ∧ bearerOf(x,f))))"@en ;
skos:definition "[ISO 15926-4] A <RELIEF VALVE> is an <INSTRUMENTATION ITEM> and a <PRESSURE RELIEF DEVICE> that is set to open at a certain pressure level to prevent the pressure in a container or system from reaching unsafe levels"@en ;
skos:definition "[CFIHOS] A self operating valve that is set to open at a certain pressure level to prevent the pressure in a container or system from reaching unsafe levels."@en ;
skos:definition "[SLB Glossary] A quick-acting, spring-loaded valve that opens to relieve pressure when the pressure exceeds the spring setting."@en ;
skos:definition "[OnePetro] A valve in a pressurized system that is set to open and relieve pressure at a certain pressure level."@en ;
skos:definition "[POSC Caesar] A self operating valve that is set to open at a certain pressure level to prevent the pressure in a container or system from reaching unsafe levels."@en .
# Disjointness: ReliefValve and CheckValve
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000145 :COPI_0000103 ) . # ReliefValve, CheckValve
Axiomatization Decision Log
1
Identity-Giving Function
Function class
PressureReliefFunction
⊑ DesignedFunction
Realized in
PressureReliefProcess
⊑ FlowControl
The identity-giving function is the automatic opening at a predetermined pressure setpoint to prevent unsafe pressure levels. This is distinct from general flow control (which is bidirectional and controlled) or pressure reduction (which is continuous). Pressure relief is a safety function that activates only when system pressure exceeds safe limits.
✓
Expert review — Accepted
2
Genus Determination
Valve
All sources consistently identify relief valve as a type of valve. The parent_candidates list includes 'Valve' which is already enriched in our ontology with function FlowControlFunction and genus MaterialArtifact. Relief valve inherits the basic valve characteristics (flow control capability, valve body, closure mechanism) but specializes for automatic pressure relief rather than general flow control.
✓
Expert review — Accepted
3
Necessary Parts
No necessary parts recorded (concept may be primitive at this level).
Beyond the basic valve components inherited from Valve (valve body, closure member), relief valves universally require a pressure set mechanism and pressure sensing element to realize their automatic pressure relief function. The specific implementation varies by subtype (spring vs pilot-operated) but these functional parts are universal.
✓
Expert review — Accepted
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfFluid
— at or above relief pressure setpoint
Outputs (O)
PortionOfFluid
— at reduced pressure, discharged to safe location
Transformation (T)
pressure energy released through controlled discharge
Relief valves transform high-pressure fluid input into lower-pressure discharged output, releasing excess pressure energy to prevent system damage. The transformation is triggered automatically when input pressure exceeds the predetermined setpoint.
✓
Expert review — Accepted
5
Axiom Mode Decision
Necessary + Sufficient
— modelled as a defined class
(≡, EquivalentClass). Automatic classification is
appropriate for this concept.
✓
Expert review — Accepted
Disjointness Axioms
CheckValve
C2: CheckValve, IsolationValve. CheckValve prevents backflow based on pressure differential direction, incompatible with pressure level-triggered opening. IsolationValve provides complete flow blockage, incompatible with automatic pressure relief discharge function.
Cross-Standard Observations
All sources consistently define relief valve as an automatic, pressure-actuated safety device. Minor variations exist: SLB emphasizes spring-loading mechanism while others use more general 'self-operating' language. ISO 15926 adds instrumentation classification which reflects the safety/control function. The core functional definition is remarkably consistent across standards.