exported
equivalent
condenser
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Condenser
Generated on 2026-04-16
Natural Language Definition
EN
A condenser is a heat exchanger that bears a designed function to condense vapor to liquid by removing latent heat of vaporization.
PT-BR
Um condensador é um trocador de calor que possui uma função projetada para condensar vapor em líquido removendo o calor latente de vaporização.
Formal Axioms
Semi-formal (Aristotelian)
Every condenser is a heat exchanger that bears a condensation function, and every heat exchanger that bears a condensation function is a condenser.
First-Order Logic Theory
Loading…
▸ Stored override
∀x (Condenser(x) ↔ (HeatExchanger(x) ∧ ∃f(CondensationFunction(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: Condenser
<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_0000437 rdf:type owl:Class ; # CondensationFunction
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000438 # CondensationProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000438 # CondensationProcess
] ;
rdfs:label "condensation function"@en ;
rdfs:label "função de condensação"@pt-br .
### Process type
:COPI_0000438 rdf:type owl:Class ; # CondensationProcess
rdfs:subClassOf :COPI_0000008 ; # PhaseChange
rdfs:label "condensation process"@en ;
rdfs:label "processo de condensação"@pt-br .
:COPI_0000008 rdf:type owl:Class . # PhaseChange
:COPI_0000438 # CondensationProcess
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:hasInput ;
owl:someValuesFrom :COPI_0000397 # HeatTransferMedium
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :COPI_0000038 # PortionOfLiquid
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :COPI_0000397 # HeatTransferMedium
] .
### Equipment universal: Condenser
:COPI_0000232 rdf:type owl:Class ; # Condenser
owl:equivalentClass [
rdf:type owl:Class ;
owl:intersectionOf (
:COPI_0000092 # HeatExchanger
[
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000437 # CondensationFunction
]
)
] ;
rdfs:label "condenser"@en ;
rdfs:label "condensador"@pt-br ;
iof-av:naturalLanguageDefinition "A condenser is a heat exchanger that bears a designed function to condense vapor to liquid by removing latent heat of vaporization."@en ;
skos:definition "A condenser is a heat exchanger that bears a designed function to condense vapor to liquid by removing latent heat of vaporization."@en ;
iof-av:naturalLanguageDefinition "Um condensador é um trocador de calor que possui uma função projetada para condensar vapor em líquido removendo o calor latente de vaporização."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every condenser is a heat exchanger that bears a condensation function, and every heat exchanger that bears a condensation function is a condenser."@en ;
iof-av:firstOrderLogicAxiom "∀x (Condenser(x) ↔ (HeatExchanger(x) ∧ ∃f(CondensationFunction(f) ∧ bearerOf(x,f))))"@en ;
skos:definition "[ISO 15926-4] A <CONDENSER> is a <COOLER> that has a capability of <CONDENSING> a <FLUID> from <VAPOUR> to <LIQUID>"@en ;
skos:definition "[CFIHOS] A cooler that is intended to change a vapour to liquid."@en .
Axiomatization Decision Log
1
Identity-Giving Function
Function class
CondensationFunction
⊑ DesignedFunction
Realized in
CondensationProcess
⊑ PhaseChange
The identity-giving function is the designed capability to condense vapor to liquid by removing latent heat of vaporization, which distinguishes condensers from other heat exchangers that may heat, cool without phase change, or evaporate
2
Genus Determination
HeatExchanger
Both sources identify condenser as a subtype of cooler/heat exchanger. The enriched 'heat exchanger' class is the most specific appropriate genus, as condensers are specialized heat exchangers that remove heat to achieve phase change from vapor to liquid
3
Necessary Parts
No necessary parts recorded (concept may be primitive at this level).
These parts are universally necessary for condensation function regardless of specific design (shell-tube, surface, etc.)
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfGas
— saturated or superheated vapor
HeatTransferMedium
— lower temperature than vapor saturation temperature
Outputs (O)
PortionOfLiquid
— condensed from input vapor
HeatTransferMedium
— heated coolant carrying removed latent heat
Transformation (T)
latent heat of vaporization removed from vapor causing phase change to liquid
Signature captures the essential vapor-to-liquid transformation with heat removal to coolant stream
5
Axiom Mode Decision
Necessary + Sufficient
— modelled as a defined class
(≡, EquivalentClass). Automatic classification is
appropriate for this concept.
Cross-Standard Observations
Both ISO 15926 and CFIHOS consistently define condenser as a cooler/heat exchanger specialized for vapor-to-liquid conversion. The definitions align well in identifying the phase change capability as the distinguishing characteristic.
