exported equivalent COPI_0000270
Fired Heater
IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000270
Generated onGerado em 2026-04-16
Natural Language DefinitionDefinição em Linguagem Natural
EN
A fired heater is a heater that burns fuel (solid, liquid, or gas) to generate heat for transfer to a process fluid medium.
PT-BR
Um aquecedor a combustão é um aquecedor que queima combustível (sólido, líquido ou gasoso) para gerar calor para transferência para um fluido de processo.
Formal AxiomsAxiomas Formais
Semi-formal (Aristotelian)Semi-formal (Aristotélico)
Every fired heater is a heater that bears a FiredHeatingFunction
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Definition]∀x (FiredHeater(x) ↔ Heater(x) ∧ ∃f (FiredHeatingFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function [Function axiom: FiredHeatingFunction]∀f (FiredHeatingFunction(f) → ∀p (realizedIn(f,p) → FiredHeatingProcess(p)) ∧ ∃p (FiredHeatingProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Process participation signature]∀x ∀f ((FiredHeater(x) ∧ FiredHeatingFunction(f) ∧ bearerOf(x,f)) → ∃m1 (FluidPortion(m1) ∧ participatesIn(m1,f)) ∧ ∃m2 (FluidPortion(m2) ∧ participatesIn(m2,f)) ∧ ∃m3 (FluidPortion(m3) ∧ participatesIn(m3,f)) ∧ ∃e1 (FluidPortion(e1) ∧ participatesIn(e1,f)) ∧ ∃e2 (FluidPortion(e2) ∧ participatesIn(e2,f)) ∧ processType(f,ThermalEnergyTransfer)) — 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: FiredHeater <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 :FiredHeatingFunction rdf:type owl:Class ; rdfs:subClassOf :HeatingFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :FiredHeatingProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :FiredHeatingProcess ] ; rdfs:label "fired heating function"@en ; rdfs:label "função de aquecimento a combustão"@pt-br . :HeatingFunction rdf:type owl:Class . ### Process type :FiredHeatingProcess rdf:type owl:Class ; rdfs:subClassOf :HeatingProcess ; rdfs:label "fired heating process"@en ; rdfs:label "processo de aquecimento a combustão"@pt-br . :HeatingProcess rdf:type owl:Class . :FiredHeatingProcess rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :FluidPortion ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :FluidPortion ] ; 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 :FluidPortion ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :FluidPortion ] . ### Equipment universal: FiredHeater :FiredHeater rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( :Heater [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :FiredHeatingFunction ] ) ] ; rdfs:label "fired heater"@en ; rdfs:label "aquecedor a combustão"@pt-br ; iof-av:naturalLanguageDefinition "A fired heater is a heater that burns fuel (solid, liquid, or gas) to generate heat for transfer to a process fluid medium."@en ; skos:definition "A fired heater is a heater that burns fuel (solid, liquid, or gas) to generate heat for transfer to a process fluid medium."@en ; iof-av:naturalLanguageDefinition "Um aquecedor a combustão é um aquecedor que queima combustível (sólido, líquido ou gasoso) para gerar calor para transferência para um fluido de processo."@pt-br ; iof-av:semiFormalNaturalLanguageAxiom "Every fired heater is a heater that bears a FiredHeatingFunction"@en ; iof-av:firstOrderLogicAxiom "∀x(FiredHeater(x) ↔ (Heater(x) ∧ ∃f(FiredHeatingFunction(f) ∧ bearerOf(x,f))))"@en ;
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
FiredHeatingFunction ⊑ HeatingFunction
Realized in
FiredHeatingProcess ⊑ HeatingProcess
The identity-giving function is the conversion of chemical energy from burning fuel (solids, liquids, or gas) into thermal energy that is transferred to a process fluid. This distinguishes fired heaters from other heating equipment that uses electrical energy, steam, or hot oil as the heating medium.
2 Genus DeterminationDeterminação do Gênero
heaterbfo:Object (BFO_0000030)
The parent_candidates list does not include 'heater' but the already-enriched classes show that 'heater' exists with HeatingFunction and Assembly genus. Both ISO 15926 and the natural classification hierarchy confirm that fired heater is a subtype of heater. This is the most specific appropriate genus - more specific than 'heat transfer equipment' and correctly captures the shared heating function.
3 Differentia SpecificaDiferença Específica
∃bearerOf.FiredHeatingFunction

Uses combustion of fuel as the heat source, distinguishing it from electric heaters, steam heaters, or other non-combustion heating methods.

The differentia is the specific subtype of HeatingFunction that involves fuel combustion. This is both necessary (all fired heaters burn fuel) and sufficient (any heater that burns fuel to heat process fluid is by definition a fired heater).
4 Necessary PartsPartes Necessárias

No necessary parts recorded.

These parts constitute the minimal necessary components for any fired heater: a combustion space, fuel burning device, heat transfer surface, and exhaust system. Specific configurations vary by subtype but these elements are universal.
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
{'type': 'FluidPortion', 'count': 1, 'constraints': 'process fluid to be heated'}, {'type': 'FluidPortion', 'count': 1, 'constraints': 'fuel (gas, liquid, or solid)'}, {'type': 'FluidPortion', 'count': 1, 'constraints': 'combustion air'}
OutputsSaídas
{'type': 'FluidPortion', 'count': 1, 'constraints': 'heated process fluid at target temperature'}, {'type': 'FluidPortion', 'count': 1, 'constraints': 'combustion products/flue gas'}
TransformationTransformação
chemical energy from fuel combustion converted to thermal energy and transferred to process fluid
Signature reflects the fundamental process: fuel and air combine in combustion to heat a separate process stream, with flue gas as exhaust. This distinguishes from direct heating where combustion products mix with the heated fluid.
MetadataMetadados
COPI IDCOPI IDCOPI_0000270
IRIIRIhttps://www.inf.ufrgs.br/ontologies/copi/COPI_0000270
StatusStatusexported
Axiom modeModoequivalent
CreatedCriado2026-04-16
UpdatedAtualizado2026-06-28
LLM modelModelo LLMclaude-sonnet-4-20250514
VersionVersão2026-07-13