Core Ontology for Petroleum Installations · INF-UFRGS-Ontologies · CNPq INF-UFRGS-ENERGIA inf.ufrgs.br/ontologies/copi dee69df
ISA 5.1 symbol for valve seat
exported necessary
valve seat
IRI: http://www.inf.ufrgs.br/ontologies/copi#Valveseat
Generated on 2026-05-04
Natural Language Definition
EN
A MaterialArtifact that is part of a valve and that provides the seating surface against which the closure member bears to achieve shut-off and control of process fluid flow.
PT-BR
Um MaterialArtifact que é parte de uma válvula e que fornece a superfície de assentamento contra a qual o membro de fechamento se apoia para alcançar o fechamento e controle do fluxo de fluido de processo.
Formal Axioms
Semi-formal (Aristotelian)
ValveSeat ⊑ MaterialArtifact ⊓ ∃partOf.Valve ⊓ ∃adjacentTo.ValveClosureMember ⊓ ∃bearerOf.SealingSurfaceQuality
First-Order Logic Theory
Loading…
▸ Stored override ∀x (ValveSeat(x) → (MaterialArtifact(x) ∧ ∃y(Valve(y) ∧ partOf(x,y)) ∧ ∃z(ValveClosureMember(z) ∧ adjacentTo(x,z)) ∧ ∃q(SealingSurfaceQuality(q) ∧ bearerOf(x,q))))
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: ValveSeat <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-07"^^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_0000630 rdf:type owl:Class ; # SealingFunction rdfs:subClassOf iof-core:DesignedFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :COPI_0000701 # SurfaceSealingProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :COPI_0000701 # SurfaceSealingProcess ] ; rdfs:label "sealing function"@en ; rdfs:label "função de vedação"@pt-br ; iof-av:naturalLanguageDefinition "A DesignedFunction that is realized in a FlowControlProcess and that consists in the capacity to regulate, direct, or interrupt the flow of fluids through a conduit or system by means of movable elements that alter flow passages."@en ; skos:definition "A DesignedFunction that is realized in a FlowControlProcess and that consists in the capacity to regulate, direct, or interrupt the flow of fluids through a conduit or system by means of movable elements that alter flow passages."@en . ### Process type :COPI_0000701 rdf:type owl:Class ; # SurfaceSealingProcess rdfs:subClassOf :COPI_0000010 ; # FlowControl rdfs:label "surface sealing process"@en ; iof-av:naturalLanguageDefinition "A PlannedProcess in which the flow of fluid through a conduit is regulated, directed, or interrupted by mechanical means, typically involving the movement of closure elements against seating surfaces to modify flow passages."@en ; skos:definition "A PlannedProcess in which the flow of fluid through a conduit is regulated, directed, or interrupted by mechanical means, typically involving the movement of closure elements against seating surfaces to modify flow passages."@en . :COPI_0000010 rdf:type owl:Class . # FlowControl :COPI_0000701 # SurfaceSealingProcess 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: ValveSeat :COPI_0000371 rdf:type owl:Class ; # ValveSeat rdfs:subClassOf iof-core:MaterialArtifact ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :COPI_0000630 # SealingFunction ] ; rdfs:label "valve seat"@en ; rdfs:label "assento de válvula"@pt-br ; iof-av:naturalLanguageDefinition "A MaterialArtifact that is part of a valve and that provides the seating surface against which the closure member bears to achieve shut-off and control of process fluid flow."@en ; skos:definition "A MaterialArtifact that is part of a valve and that provides the seating surface against which the closure member bears to achieve shut-off and control of process fluid flow."@en ; iof-av:naturalLanguageDefinition "Um MaterialArtifact que é parte de uma válvula e que fornece a superfície de assentamento contra a qual o membro de fechamento se apoia para alcançar o fechamento e controle do fluxo de fluido de processo."@pt-br ; iof-av:isPrimitive "true"^^xsd:boolean ; iof-av:primitiveRationale "Valve seat is a constructive type defined by its structural configuration and interface role. Under the Open World Assumption, making this an equivalence class could lead to false positives where any artifact that is part of a valve and adjacent to a closure member gets classified as a valve seat, even if it serves a different structural role (such as guides, stops, or supports)."@en ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000196 ; owl:someValuesFrom :COPI_0000059 ] ; skos:definition "[ISO 15926-4] A <VALVE SEAT> is a <VALVE COMPONENT> that is the part of a valve against which the closure member bears to provide shut-off and throughput of process fluids flows"@en .
Axiomatization Decision Log
1 Identity-Giving Function
Function class
SealingFunction ⊑ DesignedFunction
Realized in
SurfaceSealingProcess ⊑ FlowControl
Both source definitions describe sealing, not flow control: SLB "that part of a valve against which the closure element affects a tight shutoff"; ISO 15926 "the part of a valve against which the closure member bears to provide shut-off". The seat provides the sealing surface; controlling flow is the function of the valve as a whole, which the seat is only a part of. Adopted from the merged-away `seat` entry (ODR-022 §15), which carried SealingFunction.
2 Genus Determination
MaterialArtifact bfo:Object (BFO_0000030)

Monolithic causally unified material artefact. MaterialArtifact ≡ Object ⊓ ∃bearerOf.DesignedFunction.

Valve seat is a valve component - a manufactured part within a valve assembly. It is not itself an Assembly (it doesn't have removable subcomponents), but rather a MaterialArtifact that serves as a structural component. No more specific parent exists in the enriched classes - 'valve component' as a class has not been enriched yet.
3 Necessary Parts
Part class Parent Relation
None MaterialArtifact hasComponentPartAtAllTimes
Valve seats can be implemented in various ways - some are integral to the valve body, others are separate components, and some contain inserts. The definition focuses on the functional interface rather than consistent internal parts, so no universal component parts are required at this level.
4 Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfFluid — process fluid flowing through valve
Outputs (O)
PortionOfFluid — controlled fluid flow (may be zero flow in closed position)
Transformation (T)
mechanical interface that enables sealing contact with closure member to control fluid passage through the valve
The valve seat participates in flow regulation by providing the sealing interface. It receives contact force from the closure member and enables controlled fluid passage based on the sealing contact achieved.
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.

Valve seat is a constructive type defined by its structural configuration and interface role. Under the Open World Assumption, making this an equivalence class could lead to false positives where any artifact that is part of a valve and adjacent to a closure member gets classified as a valve seat, even if it serves a different structural role (such as guides, stops, or supports).
Cross-Standard Observations
Only one source (ISO 15926-4) provides a definition. The definition is structurally focused and technically precise. Multiple subtypes are indicated but not defined at this level.

Suggest a change

Opens a pre-filled GitHub issue on the COPI repo — nothing is sent until you submit it there.