exported
equivalent
dehumidifier
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Dehumidifier
Generated on 2026-04-16
Natural Language Definition
EN
A dehumidifier is an assembly that bears the function to remove moisture from air.
PT-BR
Um desumidificador é um conjunto que possui a função de remover umidade do ar.
Formal Axioms
Semi-formal (Aristotelian)
Every dehumidifier is an assembly that has the function to perform dehumidification.
First-Order Logic Theory
Loading…
▸ Stored override
∀x(Dehumidifier(x) ↔ Assembly(x) ∧ ∃f(DehumidificationFunction(f) ∧ bearerOf(x,f)))
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: Dehumidifier
<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_0000457 rdf:type owl:Class ; # DehumidificationFunction
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000458 # DehumidificationProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000458 # DehumidificationProcess
] ;
rdfs:label "dehumidification function"@en ;
rdfs:label "função de desumidificação"@pt-br .
### Process type
:COPI_0000458 rdf:type owl:Class ; # DehumidificationProcess
rdfs:subClassOf :COPI_0000005 ; # MassTransfer
rdfs:label "dehumidification process"@en ;
rdfs:label "processo de desumidificação"@pt-br .
:COPI_0000005 rdf:type owl:Class . # MassTransfer
:COPI_0000458 # DehumidificationProcess
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasInput ;
owl:someValuesFrom :COPI_0000386 # PortionOfAir
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :COPI_0000386 # PortionOfAir
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :COPI_0000387 # PortionOfWater
] .
### Equipment universal: Dehumidifier
:COPI_0000242 rdf:type owl:Class ; # Dehumidifier
owl:equivalentClass [
rdf:type owl:Class ;
owl:intersectionOf (
iof-core:Assembly
[
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000457 # DehumidificationFunction
]
)
] ;
rdfs:label "dehumidifier"@en ;
rdfs:label "desumidificador"@pt-br ;
iof-av:naturalLanguageDefinition "A dehumidifier is an assembly that bears the function to remove moisture from air."@en ;
skos:definition "A dehumidifier is an assembly that bears the function to remove moisture from air."@en ;
iof-av:naturalLanguageDefinition "Um desumidificador é um conjunto que possui a função de remover umidade do ar."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every dehumidifier is an assembly that has the function to perform dehumidification."@en ;
iof-av:firstOrderLogicAxiom "∀x(Dehumidifier(x) ↔ Assembly(x) ∧ ∃f(DehumidificationFunction(f) ∧ bearerOf(x,f)))"@en ;
skos:definition "[ISO 15926-4] A <DEHUMIDIFIER> is a <FunctionalObject> that is capable of <DEHUMIDIFYING>"@en ;
skos:definition "[CFIHOS] A piece of equipment specifically designed to remove moisture from air."@en .
Axiomatization Decision Log
1
Identity-Giving Function
Function class
DehumidificationFunction
⊑ DesignedFunction
Realized in
DehumidificationProcess
⊑ MassTransfer
The identity of a dehumidifier is grounded in its designed capability to remove moisture from air. This is what distinguishes it from other air processing equipment like heaters, filters, or fans.
2
Genus Determination
Assembly
bfo:Object (BFO_0000030)
Causally unified material artefact composed of physically connected,
separable MaterialComponent parts. Satisfies
Assembly ⊑ MaterialArtifact ⊑ bfo:Object.
No domain-specific superclass like AirProcessingEquipment exists in the parent candidates or enriched classes. The concept represents a causally unified artifact with multiple interacting components (fan, cooling coils, moisture collection system) that function as a single maintainable unit, making Assembly the appropriate genus.
3
Necessary Parts
No necessary parts recorded (concept may be primitive at this level).
These parts represent the minimum physical components required for any dehumidifier to perform its function, regardless of the specific moisture removal mechanism employed.
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfAir
— elevated moisture content
Outputs (O)
PortionOfAir
— reduced moisture content
PortionOfWater
— extracted moisture
Transformation (T)
moisture extraction from air phase to liquid water phase
The signature reflects the essential transformation: humid air enters, moisture is extracted as liquid water, and dry air exits. This distinguishes dehumidifiers from other air processing equipment.
5
Axiom Mode Decision
Necessary + Sufficient
— modelled as a defined class
(≡, EquivalentClass). Automatic classification is
appropriate for this concept.
Cross-Standard Observations
ISO 15926 provides the functional relationship (capable of dehumidifying) while CFIHOS adds the specific design purpose (specifically designed to remove moisture from air). Both align on the functional identity but CFIHOS is more explicit about design intent.
