exported
necessary
swing check valve
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Swingcheckvalve
Generated on 2026-04-15
Natural Language Definition
EN
A swing check valve is a check valve whose disc hangs from a hinge: forward flow pushes it aside, and when the flow stops or turns back the disc falls onto the seat.
PT-BR
Uma válvula de retenção basculante é uma válvula de retenção cujo disco pende de uma dobradiça: o escoamento direto o afasta, e quando o escoamento cessa ou se inverte o disco cai sobre a sede.
Formal Axioms
Semi-formal (Aristotelian)
Every swing check valve is a check valve that has a backflow prevention function and has a swing check valve body as a component part.
First-Order Logic Theory
Loading…
▸ Stored override
∀x (SwingCheckValve(x) → (CheckValve(x) ∧ ∃f(BackflowPreventionFunction(f) ∧ hasFunction(x,f)) ∧ ∃p(SwingCheckValveBody(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: SwingCheckValve
<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_0000161 rdf:type owl:Class ; # BackflowPreventionFunction
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000415 # BackflowPreventionProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000415 # BackflowPreventionProcess
] ;
rdfs:label "backflow prevention function"@en ;
rdfs:label "função de prevenção de refluxo"@pt-br ;
iof-av:naturalLanguageDefinition "A FlowControlFunction that is realized in a BackflowPreventionProcess and that consists in preventing the reversal of fluid flow direction by physically blocking the flow path when pressure differential indicates potential backflow conditions."@en ;
skos:definition "A FlowControlFunction that is realized in a BackflowPreventionProcess and that consists in preventing the reversal of fluid flow direction by physically blocking the flow path when pressure differential indicates potential backflow conditions."@en ;
iof-av:naturalLanguageDefinition "Uma FlowControlFunction que é realizada em um BackflowPreventionProcess e que consiste em impedir a inversão do sentido de escoamento bloqueando fisicamente a passagem quando o diferencial de pressão indica condição de refluxo."@pt-br .
### Process type
:COPI_0000415 rdf:type owl:Class ; # BackflowPreventionProcess
rdfs:subClassOf :COPI_0000010 ; # FlowControl
rdfs:label "backflow prevention process"@en ;
rdfs:label "processo de prevenção de refluxo"@pt-br ;
iof-av:naturalLanguageDefinition "A PlannedProcess in which fluid flow reversal is prevented by a closure member that moves to block the flow path when upstream pressure falls below downstream pressure or when flow attempts to reverse direction."@en ;
skos:definition "A PlannedProcess in which fluid flow reversal is prevented by a closure member that moves to block the flow path when upstream pressure falls below downstream pressure or when flow attempts to reverse direction."@en ;
iof-av:naturalLanguageDefinition "Um PlannedProcess em que a inversão do escoamento é impedida por um elemento de fechamento que se move para bloquear a passagem quando a pressão a montante cai abaixo da pressão a jusante ou quando o escoamento tende a inverter."@pt-br .
:COPI_0000010 rdf:type owl:Class ; # FlowControl
rdfs:label "processo de controle de fluxo"@pt-br .
:COPI_0000415 # BackflowPreventionProcess
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: SwingCheckValve
:COPI_0000153 rdf:type owl:Class ; # SwingCheckValve
rdfs:subClassOf :COPI_0000103 ; # CheckValve
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000161 # BackflowPreventionFunction
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasComponentPartAtAllTimes ;
owl:someValuesFrom :COPI_0000740 # SwingCheckValveBody
] ;
rdfs:label "swing check valve"@en ;
rdfs:label "válvula de retenção basculante"@pt-br ;
iof-av:naturalLanguageDefinition "A swing check valve is a check valve whose disc hangs from a hinge: forward flow pushes it aside, and when the flow stops or turns back the disc falls onto the seat."@en ;
skos:definition "A swing check valve is a check valve whose disc hangs from a hinge: forward flow pushes it aside, and when the flow stops or turns back the disc falls onto the seat."@en ;
iof-av:naturalLanguageDefinition "Uma válvula de retenção basculante é uma válvula de retenção cujo disco pende de uma dobradiça: o escoamento direto o afasta, e quando o escoamento cessa ou se inverte o disco cai sobre a sede."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every swing check valve is a check valve that has a backflow prevention function and has a swing check valve body as a component part."@en ;
iof-av:firstOrderLogicAxiom "∀x (SwingCheckValve(x) → (CheckValve(x) ∧ ∃f(BackflowPreventionFunction(f) ∧ hasFunction(x,f)) ∧ ∃p(SwingCheckValveBody(p) ∧ hasComponentPartAtAllTimes(x,p))))"@en ;
iof-av:isPrimitive "true"^^xsd:boolean ;
iof-av:primitiveRationale "Using necessary conditions for this constructive type to avoid false positives under OWA. Any artifact with a hinged disc mechanism should not automatically be classified as a swing check valve without domain expert validation, as specialized equipment may contain swing mechanisms but serve different primary functions."@en ;
dcterms:source <https://standards.iso.org/iso/15926/-4/reference-data-item/SWING_CHECK_VALVE> ;
dcterms:source <https://glossary.slb.com/en/terms/s/swing-check-valve> ;
dcterms:source <http://rds.posccaesar.org/ontology/plm/rdl/PCA_100005995> .
:COPI_0000740 rdf:type owl:Class ; # SwingCheckValveBody
rdfs:subClassOf iof-core:MaterialArtifact ;
rdfs:label "swing check valve body"@en ;
rdfs:label "corpo de válvula de retenção portinhola"@pt-br ;
iof-av:naturalLanguageDefinition "A check valve body designed to house the hinged, swinging disc of a swing check valve."@en ;
skos:definition "A check valve body designed to house the hinged, swinging disc of a swing check valve."@en ;
iof-av:naturalLanguageDefinition "Um corpo de válvula de retenção projetado para alojar o disco articulado e oscilante de uma válvula de retenção tipo portinhola."@pt-br .
Axiomatization Decision Log
1
Identity-Giving Function
Function class
BackflowPreventionFunction
⊑ DesignedFunction
Realized in
BackflowPreventionProcess
⊑ FlowControl
The identity-giving function is inherited from check valve - preventing reverse flow. This is the same function as already enriched check valve class, so reusing the exact function name.
✓
Expert review — Accepted
2
Genus Determination
CheckValve
Check valve is the most specific appropriate superclass, already enriched in our ontology with BackflowPreventionFunction. Swing check valve is a structural subtype of check valve, distinguished by its hinged disc mechanism. The parent_candidates list includes CHECK VALVE from iso15926, confirming this genus selection.
✓
Expert review — Accepted
3
Necessary Parts
| Part class | Parent | Relation |
|---|---|---|
| SwingCheckValveBody | MaterialArtifact | hasComponentPartAtAllTimes |
These parts are structurally necessary for the swing check mechanism to function. The hinged disc and swing arm constitute the core differentiating mechanism, while the valve seat is required for sealing.
✓
Expert review — Accepted
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfFluid
— liquid or gas
Outputs (O)
PortionOfFluid
— same fluid, unidirectional flow only
Transformation (T)
backflow prevention through automatic closure
Single inlet/outlet with automatic closure mechanism that prevents reverse flow while allowing forward flow. The transformation is purely directional control without changing fluid properties.
✓
Expert review — Accepted
5
Axiom Mode Decision
Necessary conditions only
— modelled as a primitive universal
(⊑, SubClassOf). Identity is grounded in designed
function and cannot be reduced to a property checklist.
Using necessary conditions for this constructive type to avoid false positives under OWA. Any artifact with a hinged disc mechanism should not automatically be classified as a swing check valve without domain expert validation, as specialized equipment may contain swing mechanisms but serve different primary functions.
✓
Expert review — Accepted
Cross-Standard Observations
All sources consistently describe the same structural mechanism - a disc that swings on a hinge. SLB uses 'clapper' terminology while others use 'disc', but these refer to the same hinged closure element. The definitions are highly aligned across standards.
Reviewer Notes
Definition reworded 2026-09-24 (pre-deposit copyright review): the previous wording reused the source standard's phrasing.
Source Definitions
4 sources
ISO 15926-4
SWING CHECK VALVE ↗
Definition text withheld (copyrighted standard) — follow the source link above.
CFIHOS
swing check valve
Definition text withheld (copyrighted standard) — follow the source link above.
SLB Glossary
swing check valve ↗
Definition text withheld (copyrighted standard) — follow the source link above.
POSC Caesar
Swing Check Valve ↗
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 | #117 |
| Cluster | swing check valve |
| Status | exported |
| Axiom mode | necessary |
| Created | 2026-04-15 |
| Updated | 2026-09-24 |
ISA 5.1-2022 P&ID Symbol
wikimedia/check_valve.svg
