exported
equivalent
electric generator
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Electricgenerator
Generated on 2026-04-16
Natural Language Definition
EN
An electric generator is an assembly that bears the function of converting non-electric energy into electric energy
PT-BR
Um gerador elétrico é um conjunto que possui a função de converter energia não-elétrica em energia elétrica
Formal Axioms
Semi-formal (Aristotelian)
Every electric generator is an assembly that has the function to convert non-electric energy into electric energy
First-Order Logic Theory
Loading…
▸ Stored override
∀x (ElectricGenerator(x) ↔ (Assembly(x) ∧ ∃f(ElectricEnergyGenerationFunction(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: ElectricGenerator
<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-07"^^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_0000486 rdf:type owl:Class ; # ElectricEnergyGenerationFunction
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000487 # ElectricEnergyGenerationProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000487 # ElectricEnergyGenerationProcess
] ;
rdfs:label "electric energy generation function"@en ;
rdfs:label "função de geração de energia elétrica"@pt-br .
### Process type
:COPI_0000487 rdf:type owl:Class ; # ElectricEnergyGenerationProcess
rdfs:subClassOf iof-core:PlannedProcess ;
rdfs:label "electric energy generation process"@en ;
rdfs:label "processo de geração de energia elétrica"@pt-br .
### Equipment universal: ElectricGenerator
:COPI_0000261 rdf:type owl:Class ; # ElectricGenerator
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_0000486 # ElectricEnergyGenerationFunction
]
)
] ;
rdfs:label "electric generator"@en ;
rdfs:label "gerador elétrico"@pt-br ;
iof-av:naturalLanguageDefinition "An electric generator is an assembly that bears the function of converting non-electric energy into electric energy"@en ;
skos:definition "An electric generator is an assembly that bears the function of converting non-electric energy into electric energy"@en ;
iof-av:naturalLanguageDefinition "Um gerador elétrico é um conjunto que possui a função de converter energia não-elétrica em energia elétrica"@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every electric generator is an assembly that has the function to convert non-electric energy into electric energy"@en ;
iof-av:firstOrderLogicAxiom "∀x (ElectricGenerator(x) ↔ (Assembly(x) ∧ ∃f(ElectricEnergyGenerationFunction(f) ∧ bearerOf(x,f))))"@en ;
skos:definition "[ISO 15926-4] An <ELECTRIC GENERATOR> is a <GENERATOR> that transforms non-electric energy into <ELECTRIC ENERGY>"@en ;
skos:definition "[CFIHOS] An energy transducer that transforms non-electric energy into electric energy."@en .
# Disjointness: ElectricGenerator and ElectricMotor
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000261 :COPI_0000113 ) . # ElectricGenerator, ElectricMotor
# Disjointness: ElectricGenerator and Transformer
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000261 :COPI_0000086 ) . # ElectricGenerator, Transformer
Axiomatization Decision Log
1
Identity-Giving Function
Function class
ElectricEnergyGenerationFunction
⊑ DesignedFunction
Realized in
ElectricEnergyGenerationProcess
⊑ PlannedProcess
The identity-giving function is the conversion of non-electric energy (mechanical, thermal, chemical, etc.) into electric energy. This distinguishes electric generators from other energy conversion devices like motors (electric to mechanical) or transformers (electric to electric at different voltages).
2
Genus Determination
Assembly
bfo:Object (BFO_0000030)
Causally unified material artefact composed of physically connected,
separable MaterialComponent parts. Satisfies
Assembly ⊑ MaterialArtifact ⊑ bfo:Object.
Looking at parent candidates, 'GENERATOR' would be more specific but is not enriched in our ontology. Electric generators are complex mechanical-electrical devices with multiple physically connected components (rotor, stator, bearings, housing, excitation system) that work together as a causally unified whole. They are assembled, maintained, and replaced as single units, making Assembly the appropriate genus.
3
Necessary Parts
No necessary parts recorded (concept may be primitive at this level).
These are the minimal essential components present in all electric generator implementations, from simple hand-crank generators to large turbine-driven units. Bearings, housings, and cooling systems are typically present but may vary significantly by subtype.
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
—
Outputs (O)
—
Transformation (T)
conversion of mechanical energy to electrical energy via electromagnetic induction
The signature captures the fundamental energy conversion process that defines electric generators - mechanical input energy is transformed to electrical output energy through electromagnetic principles.
5
Axiom Mode Decision
Necessary + Sufficient
— modelled as a defined class
(≡, EquivalentClass). Automatic classification is
appropriate for this concept.
Disjointness Axioms
electric motor
transformer
C2: electric motor. C?: transformer [kind_ambiguous]. Electric motors have opposite energy flow direction (electric to mechanical), transformers convert electric to electric energy at same frequency, converters change electric energy characteristics without mechanical input
Cross-Standard Observations
Both ISO 15926 and CFIHOS provide consistent functional definitions focused on energy conversion. The ISO definition emphasizes the generator superclass relationship, while CFIHOS uses 'energy transducer' terminology. Both capture the same essential function.
