← Class ReferenceReferência de Classes
exported equivalent COPI_0000319
Pig Receiver
IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000319
Generated onGerado em 2026-04-16
Natural Language DefinitionDefinição em Linguagem Natural
EN
A pig receiver is a vessel that has the function to receive pipe pigs from a pipeline.
PT-BR
Um recebedor de pig é um vaso que tem a função de receber pigs de tubulação de um duto.
Formal AxiomsAxiomas Formais
Semi-formal (Aristotelian)Semi-formal (Aristotélico)
Every pig receiver is a vessel that bears a pig receiving function.
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Definition]∀x (PigReceiver(x) ↔ Vessel(x) ∧ ∃f (PigReceivingFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function [Function axiom: PigReceivingFunction]∀f (PigReceivingFunction(f) → ∀p (realizedIn(f,p) → PigReceivingProcess(p)) ∧ ∃p (PigReceivingProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Process participation signature]∀x ∀f ((PigReceiver(x) ∧ PigReceivingFunction(f) ∧ bearerOf(x,f)) → ∃m (PigFromPipeline(m) ∧ participatesIn(m,f)) ∧ ∃e1 (CapturedPig(e1) ∧ participatesIn(e1,f)) ∧ ∃e2 (FluidPortion(e2) ∧ participatesIn(e2,f)) ∧ processType(f,Containment)) — Step 5: typed participants in the realising process
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: PigReceiver <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-104-g4d16eff" ; 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-07-13"^^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 :PigReceivingFunction rdf:type owl:Class ; rdfs:subClassOf iof-core:DesignedFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :PigReceivingProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :PigReceivingProcess ] ; rdfs:label "pig receiving function"@en ; rdfs:label "função de recebimento de pig"@pt-br . ### Process type :PigReceivingProcess rdf:type owl:Class ; rdfs:subClassOf iof-core:PlannedProcess ; rdfs:label "pig receiving process"@en ; rdfs:label "processo de recebimento de pig"@pt-br . :PigReceivingProcess rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :PigFromPipeline ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :CapturedPig ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :FluidPortion ] . ### Equipment universal: PigReceiver :PigReceiver rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( :Vessel [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :PigReceivingFunction ] ) ] ; rdfs:label "pig receiver"@en ; rdfs:label "recebedor de pig"@pt-br ; iof-av:naturalLanguageDefinition "A pig receiver is a vessel that has the function to receive pipe pigs from a pipeline."@en ; skos:definition "A pig receiver is a vessel that has the function to receive pipe pigs from a pipeline."@en ; iof-av:naturalLanguageDefinition "Um recebedor de pig é um vaso que tem a função de receber pigs de tubulação de um duto."@pt-br ; iof-av:semiFormalNaturalLanguageAxiom "Every pig receiver is a vessel that bears a pig receiving function."@en ; iof-av:firstOrderLogicAxiom "∀x (PigReceiver(x) ↔ (Vessel(x) ∧ ∃f(PigReceivingFunction(f) ∧ bearerOf(x,f))))"@en ; # Disjointness: PigReceiver and PigLauncher [] rdf:type owl:AllDisjointClasses ; owl:members ( :PigReceiver :PigLauncher ) .
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
PigReceivingFunction ⊑ DesignedFunction
Realized in
PigReceivingProcess ⊑ PlannedProcess
The identity-giving function is the capability to receive pipe pigs from a pipeline. This is distinct from general storage or containment functions because it specifically involves the controlled receipt and capture of cleaning/inspection devices traveling through pipelines.
2 Genus DeterminationDeterminação do Gênero
Vesselbfo:Object (BFO_0000030)
All three definitions describe a pig receiver as a pressure vessel or chamber - a containment structure. The genus 'Vessel' is already enriched in the ontology with ContainmentFunction. While 'Receiver' appears in ISO 15926 hierarchy, it's not defined in our ontology, and 'Vessel' captures the essential containment nature while being more specific than Assembly.
3 Differentia SpecificaDiferença Específica
∃bearerOf.PigReceivingFunction

A pig receiver differs from other vessels by its specific function to receive and capture pipe pigs from pipelines.

The differentia is the specific PigReceivingFunction that distinguishes this vessel from all other vessels. The genus already provides general containment capability; the differentia adds the specialized pig-receiving purpose.
4 Necessary PartsPartes Necessárias

No necessary parts recorded.

These parts are essential for the pig receiving function: a chamber to contain the pig, an entry port for pipeline connection, and pressure boundaries for safe operation.
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
{'type': 'PigFromPipeline', 'count': 1, 'constraints': 'traveling pig device with fluid carrier'}
OutputsSaídas
{'type': 'CapturedPig', 'count': 1, 'constraints': 'stationary pig retained in chamber'}, {'type': 'FluidPortion', 'count': 1, 'constraints': 'carrier fluid potentially separated'}
TransformationTransformação
kinetic energy removal from pig, spatial containment
The signature involves receiving a moving pig from the pipeline and transforming it to a captured/stationary state within the receiver chamber.
Disjoint WithDisjunto com
PigLauncher
C2: PigLauncher. Pig receivers and pig launchers have incompatible process signatures: receivers capture incoming pigs while launchers propel outgoing pigs into pipelines.
MetadataMetadados
COPI IDCOPI IDCOPI_0000319
IRIIRIhttps://www.inf.ufrgs.br/ontologies/copi/COPI_0000319
StatusStatusexported
Axiom modeModoequivalent
CreatedCriado2026-04-16
UpdatedAtualizado2026-06-28
LLM modelModelo LLMclaude-sonnet-4-20250514
VersionVersão2026-07-13
Quick factsDados rápidos
GenusGêneroVessel
Root classClasse raizAssembly
Axiom modeModoequivalent
FunctionFunçãoPigReceivingFunction
ProcessProcessoPigReceivingProcess
PartsPartes0
Source DefinitionsDefinições nas Fontes 3 sources
ISO 15926-4 PIG RECEIVER
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.
CFIHOS pig receiver
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.
POSC Caesar Pig Receiver
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.