exported necessary COPI_0000250
Diesel Engine
IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000250
Generated onGerado em 2026-04-16
Natural Language DefinitionDefinição em Linguagem Natural
EN
A diesel engine is an engine that ignites fuel through compression heat rather than spark ignition, requiring compression ignition and fuel injection systems.
PT-BR
Um motor diesel é um motor que inflama combustível através do calor de compressão em vez de ignição por centelha, requerendo sistemas de ignição por compressão e injeção de combustível.
Formal AxiomsAxiomas Formais
Semi-formal (Aristotelian)Semi-formal (Aristotélico)
A diesel engine is necessarily an engine that has compression ignition system and fuel injection system and participates in compression ignition process.
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Necessary condition]∀x (DieselEngine(x) → Engine(x) ∧ ∃f (MechanicalEnergyGenerationFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function [Function axiom: MechanicalEnergyGenerationFunction]∀f (MechanicalEnergyGenerationFunction(f) → ∀p (realizedIn(f,p) → MechanicalEnergyGenerationProcess(p)) ∧ ∃p (MechanicalEnergyGenerationProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Structural differentia (necessary only)]∀x (DieselEngine(x) → ∃hasPart.CompressionIgnitionSystem ⊓ ∃hasPart.FuelInjectionSystem ⊓ ∃hasProcessCharacteristic.CompressionIgnitionProcess) — Step 3: structural property — necessary condition, not sufficient (OWA prevents ≡) [Necessary part: Piston]∀x (DieselEngine(x) → ∃p (Piston(p) ∧ hasComponentPartAtAllTimes(x,p))) — Step 4: mereological commitment — every instance must have this part [Process participation signature]∀x ∀f ((DieselEngine(x) ∧ MechanicalEnergyGenerationFunction(f) ∧ bearerOf(x,f)) → ∃m1 (DieselFuel(m1) ∧ participatesIn(m1,f)) ∧ ∃m2 (AirPortion(m2) ∧ participatesIn(m2,f)) ∧ ∃e (ExhaustGas(e) ∧ participatesIn(e,f)) ∧ processType(f,ChemicalTransformation)) — 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: DieselEngine <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 :MechanicalEnergyGenerationFunction rdf:type owl:Class ; rdfs:subClassOf iof-core:DesignedFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :MechanicalEnergyGenerationProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :MechanicalEnergyGenerationProcess ] ; rdfs:label "mechanical energy generation function"@en ; rdfs:label "função de geração de energia mecânica"@pt-br . ### Process type :MechanicalEnergyGenerationProcess rdf:type owl:Class ; rdfs:subClassOf iof-core:PlannedProcess ; rdfs:label "mechanical energy generation process"@en ; rdfs:label "processo de geração de energia mecânica"@pt-br . :MechanicalEnergyGenerationProcess rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :DieselFuel ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :AirPortion ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :ExhaustGas ] . ### Equipment universal: DieselEngine :DieselEngine rdf:type owl:Class ; rdfs:subClassOf :Engine ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :MechanicalEnergyGenerationFunction ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasComponentPartAtAllTimes ; owl:someValuesFrom :Piston ] ; rdfs:label "diesel engine"@en ; rdfs:label "motor diesel"@pt-br ; iof-av:naturalLanguageDefinition "A diesel engine is an engine that ignites fuel through compression heat rather than spark ignition, requiring compression ignition and fuel injection systems."@en ; skos:definition "A diesel engine is an engine that ignites fuel through compression heat rather than spark ignition, requiring compression ignition and fuel injection systems."@en ; iof-av:naturalLanguageDefinition "Um motor diesel é um motor que inflama combustível através do calor de compressão em vez de ignição por centelha, requerendo sistemas de ignição por compressão e injeção de combustível."@pt-br ; iof-av:isPrimitive "true"^^xsd:boolean ; iof-av:primitiveRationale "Using necessary conditions for this constructive type. While compression ignition is characteristic of diesel engines, under OWA we cannot be certain that any engine with compression ignition systems is necessarily a diesel engine - there could be hybrid or specialized engines with similar mechanisms that should not be auto-classified as standard diesel engines without expert validation."@en ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000196 ; owl:someValuesFrom :COPI_0000059 ] ; :Piston rdf:type owl:Class ; rdfs:subClassOf iof-core:MaterialArtifact ; rdfs:label "pistão"@pt-br ; rdfs:label "piston"@en . # Disjointness: DieselEngine and GasTurbine [] rdf:type owl:AllDisjointClasses ; owl:members ( :DieselEngine :GasTurbine ) .
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
MechanicalEnergyGenerationFunction ⊑ DesignedFunction
Realized in
MechanicalEnergyGenerationProcess ⊑ PlannedProcess
Like all engines, a diesel engine's identity-giving function is generating mechanical energy. This function is already established in the enriched 'engine' class and should be reused rather than creating a diesel-specific function variant.
2 Genus DeterminationDeterminação do Gênero
enginebfo:Object (BFO_0000030)
The parent_candidates include 'engine' which is already enriched in our ontology. While ISO 15926 lists both 'INTERNAL COMBUSTION ENGINE' and 'RECIPROCATING PISTON ENGINE' as parents, 'engine' is the most specific enriched superclass available. The definitions consistently identify diesel engines as internal combustion engines, which are a subset of engines generally.
3 Differentia SpecificaDiferença Específica
∃hasPart.CompressionIgnitionSystem ⊓ ∃hasPart.FuelInjectionSystem ⊓ ∃hasProcessCharacteristic.CompressionIgnitionProcess

An engine that ignites fuel through compression heat rather than spark ignition, requiring compression ignition and fuel injection systems.

The key differentiating characteristic consistently mentioned across all sources is compression ignition - fuel ignition by heat of compression rather than spark plugs. This requires specific mechanical systems (compression ignition system, fuel injection system) and a specific combustion process characteristic.
4 Necessary PartsPartes Necessárias
Part classParentRelation
PistonMaterialArtifacthasComponentPartAtAllTimes
These parts are essential to the compression ignition mechanism that defines diesel engines, distinguishing them from other engine types
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
{'type': 'DieselFuel', 'count': 1, 'constraints': 'liquid hydrocarbon fuel'}, {'type': 'AirPortion', 'count': 1, 'constraints': 'atmospheric air for combustion'}
OutputsSaídas
{'type': 'ExhaustGas', 'count': 1, 'constraints': 'combustion products'}
TransformationTransformação
chemical energy conversion to mechanical energy via compression ignition combustion
Diesel engines specifically consume diesel fuel and air, converting chemical energy to mechanical power through compression ignition, while producing exhaust gases
Disjoint WithDisjunto com
gas turbine
C?: gas turbine [kind_ambiguous]. Incompatible ignition mechanisms - compression ignition vs spark ignition vs continuous combustion vs external combustion represent mutually exclusive engine technologies
MetadataMetadados
COPI IDCOPI IDCOPI_0000250
IRIIRIhttps://www.inf.ufrgs.br/ontologies/copi/COPI_0000250
StatusStatusexported
Axiom modeModonecessary
CreatedCriado2026-04-16
UpdatedAtualizado2026-07-12
LLM modelModelo LLMclaude-sonnet-4-20250514
VersionVersão2026-07-13