exported
equivalent
filter
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Filter
Generated on 2026-04-13
Natural Language Definition
EN
A filter is a separator that bears a filtration function to selectively remove unwanted constituents from a fluid stream using a filter element within a filter housing.
PT-BR
Um filtro é um separador que possui uma função de filtração para remover seletivamente constituintes indesejados de um fluxo de fluido usando um elemento filtrante dentro de um alojamento de filtro.
Formal Axioms
Semi-formal (Aristotelian)
Every filter is a separator that has a filtration function and has a filter element as component part and has a filter housing as component part
First-Order Logic Theory
Loading…
▸ Stored override
∀x(Filter(x) ↔ (Separator(x) ∧ ∃f(FiltrationFunction(f) ∧ bearerOf(x,f)) ∧ ∃e(FilterElement(e) ∧ hasComponentPartAtAllTimes(x,e)) ∧ ∃h(FilterHousing(h) ∧ hasComponentPartAtAllTimes(x,h))))
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: Filter
<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 .
### 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 .
:COPI_0000006 rdf:type owl:Class . # MechanicalSeparation
:COPI_0000510 # FiltrationProcess
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
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :COPI_0000400 # RemovedMaterial
] .
### Equipment universal: Filter
:COPI_0000081 rdf:type owl:Class ; # Filter
owl:equivalentClass [
rdf:type owl:Class ;
owl:intersectionOf (
:COPI_0000084 # Separator
[
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000194 # FiltrationFunction
]
)
] ;
rdfs:label "filter"@en ;
rdfs:label "filtro"@pt-br ;
iof-av:naturalLanguageDefinition "A filter is a separator that bears a filtration function to selectively remove unwanted constituents from a fluid stream using a filter element within a filter housing."@en ;
skos:definition "A filter is a separator that bears a filtration function to selectively remove unwanted constituents from a fluid stream using a filter element within a filter housing."@en ;
iof-av:naturalLanguageDefinition "Um filtro é um separador que possui uma função de filtração para remover seletivamente constituintes indesejados de um fluxo de fluido usando um elemento filtrante dentro de um alojamento de filtro."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every filter is a separator that has a filtration function and has a filter element as component part and has a filter housing as component part"@en ;
iof-av:firstOrderLogicAxiom "∀x(Filter(x) ↔ (Separator(x) ∧ ∃f(FiltrationFunction(f) ∧ bearerOf(x,f)) ∧ ∃e(FilterElement(e) ∧ hasComponentPartAtAllTimes(x,e)) ∧ ∃h(FilterHousing(h) ∧ hasComponentPartAtAllTimes(x,h))))"@en ;
skos:definition "[ISO 15926-4] A <FILTER> is a <FunctionalObject> that is capable of <FILTERING>"@en ;
skos:definition "[CFIHOS] A separator intended to remove solids from vapour or liquid."@en ;
skos:definition "[DEXPI] An apparatus or machine that is capable of filtering (from ``_)."@en ;
skos:definition "[SLB Glossary] A process or algorithm using a set of limits used to eliminate unwanted portions of seismic data, commonly on the basis of frequency or amplitude, to enhance the signal-to-noise ratio of the data or to achieve deconvolution."@en ;
skos:definition "[SLB Glossary] Devices for selecting or excluding data from a data stream or dataset."@en ;
skos:definition "[POSC Caesar] A separator intended to remove solids from vapour or liquid"@en .
# Disjointness: Filter and Pump
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000081 :COPI_0000072 ) . # Filter, Pump
# Disjointness: Filter and Compressor
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000081 :COPI_0000073 ) . # Filter, Compressor
# Disjointness: Filter and HeatExchanger
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000081 :COPI_0000092 ) . # Filter, HeatExchanger
Axiomatization Decision Log
1
Identity-Giving Function
Function class
FiltrationFunction
⊑ DesignedFunction
Realized in
FiltrationProcess
⊑ MechanicalSeparation
Filtration is the identity-giving function that distinguishes filters from other separation equipment. It specifically involves selective removal of unwanted constituents (typically solids from fluids) based on physical barriers, size exclusion, or other selective mechanisms. This function encompasses both physical filtration (removing particles) and signal filtration (removing unwanted data components).
2
Genus Determination
Separator
Filter is a specialized type of separator - the CFIHOS and POSC Caesar definitions explicitly state 'A separator intended to remove solids from vapour or liquid'. The already-enriched separator class (SeparationFunction, genus: Vessel) exists in the ontology. However, filters are more generally Assembly-level equipment that can be standalone units with multiple components (filter housing, filter element, cleaning mechanisms, etc.), not necessarily vessel-based like bulk separators.
3
Necessary Parts
No necessary parts recorded (concept may be primitive at this level).
These are the minimal essential parts that any filter must possess - a filtering element to perform the separation and a housing to contain and direct the process. More complex filters will have additional components (cleaning mechanisms, differential pressure indicators, etc.) but these two are universal.
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfFluid
— contains unwanted constituents to be removed
Outputs (O)
PortionOfFluid
— reduced concentration of target constituents
RemovedMaterial
— separated unwanted materials (may be retained in filter or discharged)
Transformation (T)
selective constituent removal - physical separation of unwanted components from fluid stream based on discriminating properties
Filters transform a contaminated input stream into a cleaned output stream plus separated waste/retained material. Unlike bulk separators that separate phases, filters selectively remove specific constituents while preserving the primary fluid phase.
5
Axiom Mode Decision
Necessary + Sufficient
— modelled as a defined class
(≡, EquivalentClass). Automatic classification is
appropriate for this concept.
Disjointness Axioms
Pump
Compressor
HeatExchanger
C4: Pump, Compressor, HeatExchanger. Filters have incompatible process signatures with pumps (no energy addition), compressors (no compression), and heat exchangers (no thermal transformation). The selective removal transformation is distinct from energy transfer, compression, or thermal processes.
Cross-Standard Observations
ISO 15926 and DEXPI focus on the functional capability ('capable of filtering'), while CFIHOS and POSC Caesar provide more specific definition as separator for solid removal. SLB Glossary introduces signal/data filtering context, showing the broader application domain. The convergence on separation function with selective removal is consistent across physical equipment standards.
