validated
necessary
coalescent filter
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Coalescentfilter
Generated on 2026-09-10
Natural Language Definition
EN
A coalescent filter (coalescing filter) is a filter designed to remove liquid particles from a gas stream, using a layered coalescing media pack that merges small droplets into larger drops for gravity drainage.
PT-BR
Um filtro coalescente e um filtro projetado para remover particulas liquidas de uma corrente de gas, usando um pacote de meio filtrante em camadas que funde pequenas goticulas em gotas maiores para drenagem por gravidade.
Formal Axioms
Semi-formal (Aristotelian)
Every coalescent filter is a filter that bears a filtration function and has a coalescing filter media as a component part, which merges entrained liquid droplets for drainage.
First-Order Logic Theory
Loading…
▸ Stored override
∀x (CoalescentFilter(x) → Filter(x) ∧ ∃f (FiltrationFunction(f) ∧ bearerOf(x,f)) ∧ ∃m (CoalescingFilterMedia(m) ∧ hasComponentPartAtAllTimes(x,m)))
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: CoalescentFilter
<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_0000194 rdf:type owl:Class ; # FiltrationFunction
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000510 # FiltrationProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000510 # FiltrationProcess
] ;
rdfs:label "filtration function"@en ;
rdfs:label "função de filtração"@pt-br ;
iof-av:naturalLanguageDefinition "A DesignedFunction that is realized in a FiltrationProcess and that consists in removing entrained contaminant particles or droplets from a fluid stream."@en ;
skos:definition "A DesignedFunction that is realized in a FiltrationProcess and that consists in removing entrained contaminant particles or droplets from a fluid stream."@en .
### Process type
:COPI_0000510 rdf:type owl:Class ; # FiltrationProcess
rdfs:subClassOf :COPI_0000006 ; # MechanicalSeparation
rdfs:label "filtration process"@en ;
rdfs:label "processo de filtração"@pt-br ;
iof-av:naturalLanguageDefinition "A MechanicalSeparation process in which liquid aerosol droplets entrained in a gas stream are made to coalesce into larger drops by passage through a layered media pack, then drained from the stream by gravity."@en ;
skos:definition "A MechanicalSeparation process in which liquid aerosol droplets entrained in a gas stream are made to coalesce into larger drops by passage through a layered media pack, then drained from the stream by gravity."@en .
:COPI_0000006 rdf:type owl:Class . # MechanicalSeparation
:COPI_0000510 # FiltrationProcess
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasInput ;
owl:someValuesFrom :COPI_0000039 # PortionOfGas
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :COPI_0000039 # PortionOfGas
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :COPI_0000038 # PortionOfLiquid
] .
### Equipment universal: CoalescentFilter
:COPI_0000750 rdf:type owl:Class ; # CoalescentFilter
rdfs:subClassOf :COPI_0000081 ; # Filter
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000194 # FiltrationFunction
] ;
rdfs:label "coalescent filter"@en ;
iof-av:naturalLanguageDefinition "A coalescent filter (coalescing filter) is a filter designed to remove liquid particles from a gas stream, using a layered coalescing media pack that merges small droplets into larger drops for gravity drainage."@en ;
skos:definition "A coalescent filter (coalescing filter) is a filter designed to remove liquid particles from a gas stream, using a layered coalescing media pack that merges small droplets into larger drops for gravity drainage."@en ;
iof-av:naturalLanguageDefinition "Um filtro coalescente e um filtro projetado para remover particulas liquidas de uma corrente de gas, usando um pacote de meio filtrante em camadas que funde pequenas goticulas em gotas maiores para drenagem por gravidade."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every coalescent filter is a filter that bears a filtration function and has a coalescing filter media as a component part, which merges entrained liquid droplets for drainage."@en ;
iof-av:firstOrderLogicAxiom "∀x (CoalescentFilter(x) → Filter(x) ∧ ∃f (FiltrationFunction(f) ∧ bearerOf(x,f)) ∧ ∃m (CoalescingFilterMedia(m) ∧ hasComponentPartAtAllTimes(x,m)))"@en ;
iof-av:isPrimitive "true"^^xsd:boolean ;
iof-av:primitiveRationale "Constructive subtype reusing genus and function unchanged: sufficiency is not asserted so any filter incidentally described as having layered media is not automatically classified as a coalescing filter under OWA without the coalescence-specific drainage mechanism being confirmed."@en ;
skos:definition "[ISO 15926-4] A <COALESCENT FILTER> is an <ARTEFACT> and a <GAS FILTER> designed to remove liquid particles from a gas stream"@en .
Axiomatization Decision Log
1
Identity-Giving Function
Function class
FiltrationFunction
⊑ DesignedFunction
Realized in
FiltrationProcess
⊑ MechanicalSeparation
Reused verbatim from the already-enriched genus 'filter' per the constructive-type rule: a coalescent filter removes contaminants from a fluid stream like any filter, differing only in the mechanism (coalescence of liquid droplets vs. straining of solid particulates).
2
Genus Determination
Filter
Parent candidate GAS FILTER is not itself enriched. Filter (already enriched, genus=Separator, function=FiltrationFunction, exported) is the closest enriched supertype, matching the physical form and general purpose (removing contaminants from a fluid) even though the removed-contaminant phase (liquid droplets, not solid particulates) and mechanism differ.
3
Necessary Parts
No necessary parts recorded (concept may be primitive at this level).
Placeholder empty for Phase 3 -- CoalescingFilterMedia added via the Phase 1b follow-up write once source_definitions_used carries the verbatim tertiary patent quotes.
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfGas
— gas stream carrying entrained liquid aerosol droplets
Outputs (O)
PortionOfGas
— cleaned gas, liquid droplets removed
PortionOfLiquid
— coalesced liquid drained from the base of the filter element
Transformation (T)
entrained liquid aerosol droplets coalesced into larger drops within a layered media pack and drained by gravity, separating them from the gas stream
Matches the canonical mechanical_filtration term (size/mechanism-based particle/droplet removal), same category as the genus Filter; two output streams (cleaned gas, drained liquid) reflect the coalescence-specific drainage step.
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.
Constructive subtype reusing genus and function unchanged: sufficiency is not asserted so any filter incidentally described as having layered media is not automatically classified as a coalescing filter under OWA without the coalescence-specific drainage mechanism being confirmed.
Cross-Standard Observations
Only ISO 15926-4 defines this exact term in terms.db (single source, thin). Two independent tertiary patents (US4759782A, US7964010B2) triangulate the layered coalescing media pack construction and gravity-drainage mechanism.
Reviewer Notes
Step 2b/2c (enrich-term skill): ScienceDirect Topics returned HTTP 403; triangulated 2 independent patents (by patent number, per the independence rule for source_type=patent) for the layered coalescing media construction instead.
