COPI · Filter

exported equivalent COPI_0000081

Filter

IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000081

Generated onGerado em 2026-04-13

Natural Language DefinitionDefinição em Linguagem Natural

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 AxiomsAxiomas Formais

Semi-formal (Aristotelian)Semi-formal (Aristotélico)

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 TheoryTeoria em Lógica de Primeira Ordem

[Definition]∀x (Filter(x) ↔ Separator(x) ∧ ∃f (FiltrationFunction(f) ∧ bearerOf(x,f)) ∧ ∃bearerOf.FiltrationFunction ⊓ ∃participatesIn.FiltrationProcess) — Steps 1–3: genus + identity-giving function [Function axiom: FiltrationFunction]∀f (FiltrationFunction(f) → ∀p (realizedIn(f,p) → FiltrationProcess(p)) ∧ ∃p (FiltrationProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Process participation signature]∀x ∀f ((Filter(x) ∧ FiltrationFunction(f) ∧ bearerOf(x,f)) → ∃m (FluidPortion(m) ∧ participatesIn(m,f)) ∧ ∃e1 (FilteredFluidPortion(e1) ∧ participatesIn(e1,f)) ∧ ∃e2 (FilteredConstituents(e2) ∧ participatesIn(e2,f)) ∧ processType(f,MechanicalFiltration)) — 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: 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-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 :FiltrationFunction rdf:type owl:Class ; rdfs:subClassOf iof-core:DesignedFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :FiltrationProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :FiltrationProcess ] ; rdfs:label "filtration function"@en ; rdfs:label "função de filtração"@pt-br . ### Process type :FiltrationProcess rdf:type owl:Class ; rdfs:subClassOf iof-core:PlannedProcess ; rdfs:label "filtration process"@en ; rdfs:label "processo de filtração"@pt-br . :FiltrationProcess rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :FluidPortion ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :FilteredFluidPortion ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :FilteredConstituents ] . ### Equipment universal: Filter :Filter rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( :Separator [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :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 ; # Disjointness: Filter and Pump [] rdf:type owl:AllDisjointClasses ; owl:members ( :Filter :Pump ) . # Disjointness: Filter and Compressor [] rdf:type owl:AllDisjointClasses ; owl:members ( :Filter :Compressor ) . # Disjointness: Filter and HeatExchanger [] rdf:type owl:AllDisjointClasses ; owl:members ( :Filter :HeatExchanger ) .

Axiomatization Decision LogRegistro de Decisões

1 Identity-Giving FunctionFunção Identitária

Function class

FiltrationFunction ⊑ DesignedFunction

Realized in

FiltrationProcess ⊑ PlannedProcess

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 DeterminationDeterminação do Gênero

Separatorbfo:Object (BFO_0000030)

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 Differentia SpecificaDiferença Específica

∃bearerOf.FiltrationFunction ⊓ ∃participatesIn.FiltrationProcess

A filter is distinguished from other separators by its function of selective removal of specific unwanted constituents (typically solids or unwanted signal components) from a continuous input stream, producing a cleaned output stream.

The differentia captures that filters perform a specialized type of separation - selective removal based on barriers, size, or other discriminating properties. This distinguishes them from centrifuges (force-based), scrubbers (absorption-based), or bulk separators (phase-based). The SelectiveRemovalFunction is a subtype of SeparationFunction that specifies the discriminating nature of filtration.

4 Necessary PartsPartes Necessárias

No necessary parts recorded.

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.

Process Participation SignatureAssinatura de Participação em Processo

InputsEntradas

{'type': 'FluidPortion', 'count': 1, 'constraints': 'contains unwanted constituents to be removed'}

OutputsSaídas

{'type': 'FilteredFluidPortion', 'count': 1, 'constraints': 'reduced concentration of target constituents'}, {'type': 'FilteredConstituents', 'count': 1, 'constraints': 'separated unwanted materials (may be retained in filter or discharged)'}

TransformationTransformação

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.

Disjoint WithDisjunto com

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.

MetadataMetadados

COPI IDCOPI ID	COPI_0000081
IRIIRI	https://www.inf.ufrgs.br/ontologies/copi/COPI_0000081
StatusStatus	exported
Axiom modeModo	equivalent
CreatedCriado	2026-04-13
UpdatedAtualizado	2026-06-25
LLM modelModelo LLM	claude-sonnet-4-20250514
VersionVersão	2026-07-13

Quick factsDados rápidos

GenusGênero	Separator
Root classClasse raiz	Assembly
Axiom modeModo	equivalent
FunctionFunção	FiltrationFunction
ProcessProcesso	FiltrationProcess
PartsPartes	0

Source DefinitionsDefinições nas Fontes 6 sources

ISO 15926-4 FILTER