exported
necessary
reciprocating pump
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Reciprocatingpump
Generated on 2026-04-13
Natural Language Definition
EN
A reciprocating pump is a pump that contains pistons or plungers designed to move in a reciprocating motion within cylindrical chambers to displace fluid through positive displacement action.
PT-BR
Uma bomba alternativa é uma bomba que contém pistões ou êmbolos projetados para se moverem em movimento alternativo dentro de câmaras cilíndricas para deslocar fluido através de ação de deslocamento positivo.
Formal Axioms
Semi-formal (Aristotelian)
Every reciprocating pump is a pump that has a pumping function and has a piston as a component part.
First-Order Logic Theory
Loading…
▸ Stored override
∀x (ReciprocatingPump(x) → (Pump(x) ∧ ∃f(PumpingFunction(f) ∧ hasFunction(x,f)) ∧ ∃p(Piston(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: ReciprocatingPump
<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_0000066 rdf:type owl:Class ; # PumpingFunction
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000616 # PumpingProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000616 # PumpingProcess
] ;
rdfs:label "pumping function"@en ;
rdfs:label "função de bombeamento"@pt-br .
### Process type
:COPI_0000616 rdf:type owl:Class ; # PumpingProcess
rdfs:subClassOf :COPI_0000003 ; # MomentumTransfer
rdfs:label "pumping process"@en ;
rdfs:label "processo de bombeamento"@pt-br .
:COPI_0000003 rdf:type owl:Class . # MomentumTransfer
:COPI_0000616 # PumpingProcess
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: ReciprocatingPump
:COPI_0000337 rdf:type owl:Class ; # ReciprocatingPump
rdfs:subClassOf :COPI_0000072 ; # Pump
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000066 # PumpingFunction
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasComponentPartAtAllTimes ;
owl:someValuesFrom :COPI_0000730 # Piston
] ;
rdfs:label "reciprocating pump"@en ;
rdfs:label "bomba alternativa"@pt-br ;
iof-av:naturalLanguageDefinition "A reciprocating pump is a pump that contains pistons or plungers designed to move in a reciprocating motion within cylindrical chambers to displace fluid through positive displacement action."@en ;
skos:definition "A reciprocating pump is a pump that contains pistons or plungers designed to move in a reciprocating motion within cylindrical chambers to displace fluid through positive displacement action."@en ;
iof-av:naturalLanguageDefinition "Uma bomba alternativa é uma bomba que contém pistões ou êmbolos projetados para se moverem em movimento alternativo dentro de câmaras cilíndricas para deslocar fluido através de ação de deslocamento positivo."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every reciprocating pump is a pump that has a pumping function and has a piston as a component part."@en ;
iof-av:firstOrderLogicAxiom "∀x (ReciprocatingPump(x) → (Pump(x) ∧ ∃f(PumpingFunction(f) ∧ hasFunction(x,f)) ∧ ∃p(Piston(p) ∧ hasComponentPartAtAllTimes(x,p))))"@en ;
iof-av:isPrimitive "true"^^xsd:boolean ;
iof-av:primitiveRationale "Using necessary conditions for this constructive type. Under Open World Assumption, asserting equivalence based on structural differentia could lead to false positives where complex equipment containing reciprocating elements (like reciprocating compressors with auxiliary pumps, or hybrid systems) might be incorrectly classified as standard reciprocating pumps. The structural mechanism is necessary but sufficient conditions require domain expert validation."@en ;
skos:definition "[ISO 15926-4] A <RECIPROCATING PUMP> is a <POSITIVE DISPLACEMENT PUMP> which contains a displacing element intended to be moved in a reciprocating movement to exert pressure on a fluid, typically moving within a cylindrical space."@en ;
skos:definition "[CFIHOS] A positive displacement pump which contains a displacing element intended to be moved in a reciprocating movement to exert pressure on a fluid, typically moving within a cylindrical space."@en ;
skos:definition "[SLB Glossary] A type of fluid pump in which reciprocating pistons or plungers displace the fluid."@en ;
skos:definition "[OnePetro] A piston pump."@en ;
skos:definition "[POSC Caesar] a positive displacement pump which contains a displacing element intended to be moved in a reciprocating movement to exert pressure on a fluid, typically moving within a cylindrical space."@en .
:COPI_0000730 rdf:type owl:Class ; # Piston
rdfs:subClassOf iof-core:MaterialArtifact ;
rdfs:label "pistão"@pt-br ;
rdfs:label "piston"@en .
# Disjointness: ReciprocatingPump and CentrifugalPump
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000337 :COPI_0000102 ) . # ReciprocatingPump, CentrifugalPump
# Disjointness: ReciprocatingPump and GearPump
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000337 :COPI_0000289 ) . # ReciprocatingPump, GearPump
Axiomatization Decision Log
1
Identity-Giving Function
Function class
PumpingFunction
⊑ DesignedFunction
Realized in
PumpingProcess
⊑ MomentumTransfer
Reciprocating pumps share the same identity-giving function as all pumps - they are designed to realize fluid pumping. The differentia is not functional but mechanical (reciprocating displacement mechanism). The PumpingFunction is already established in the enriched 'pump' class.
2
Genus Determination
Pump
All sources consistently identify reciprocating pump as a subtype of pump or positive displacement pump. The enriched 'pump' class exists in our ontology with PumpingFunction and Assembly genus. This is the most specific appropriate superclass, more specific than 'Assembly' or 'MaterialArtifact', and enables inheritance of the PumpingFunction.
3
Necessary Parts
| Part class | Parent | Relation |
|---|---|---|
| Piston | MaterialArtifact | hasComponentPartAtAllTimes |
These parts constitute the essential mechanism for reciprocating positive displacement pumping. The reciprocating motion of pistons/plungers within cylinders, combined with intake/discharge valves, creates the positive displacement pumping action that defines this pump type.
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfFluid
— liquid or compressible fluid at suction conditions
Outputs (O)
PortionOfFluid
— same fluid at elevated pressure and discharge conditions
Transformation (T)
mechanical energy added to fluid through positive displacement by reciprocating action
Reciprocating pumps perform positive displacement pumping, taking fluid at suction conditions and delivering it at higher pressure through mechanical displacement. The transformation is purely mechanical energy addition without phase change or composition alteration.
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. Under Open World Assumption, asserting equivalence based on structural differentia could lead to false positives where complex equipment containing reciprocating elements (like reciprocating compressors with auxiliary pumps, or hybrid systems) might be incorrectly classified as standard reciprocating pumps. The structural mechanism is necessary but sufficient conditions require domain expert validation.
Disjointness Axioms
centrifugal pump
gear pump
C1: centrifugal pump, gear pump. These pump types have mutually exclusive displacement mechanisms - reciprocating pistons/plungers vs rotating impellers vs rotating gears vs rotating screws. The mechanical signatures are incompatible.
Cross-Standard Observations
All sources consistently define reciprocating pumps as positive displacement pumps with reciprocating elements (pistons/plungers) in cylindrical spaces. OnePetro's brief 'piston pump' definition aligns with others but lacks detail. The ISO 15926 and POSC Caesar definitions are nearly identical, suggesting good standardization across the oil & gas industry.