exported
equivalent
ups unit
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Upsunit
Generated on 2026-04-16
Natural Language Definition
EN
A UPS unit is electrical equipment that bears the designed function of maintaining uninterrupted AC electric power supply to protected equipment during power disturbances.
PT-BR
Uma unidade UPS é um equipamento elétrico que possui a função projetada de manter o fornecimento ininterrupto de energia elétrica AC para equipamentos protegidos durante distúrbios de energia.
Formal Axioms
Semi-formal (Aristotelian)
Every UPS unit is electrical equipment that has the function of maintaining uninterrupted AC electric power supply.
First-Order Logic Theory
Loading…
▸ Stored override
∀x(UPSUnit(x) ↔ ElectricalEquipment(x) ∧ ∃f(UninterruptedPowerSupplyFunction(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: UpsUnit
<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_0000682 rdf:type owl:Class ; # UninterruptedPowerSupplyFunction
rdfs:subClassOf iof-core:DesignedFunction ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000683 # UninterruptedPowerSupplyProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000683 # UninterruptedPowerSupplyProcess
] ;
rdfs:label "uninterrupted power supply function"@en ;
rdfs:label "função de fornecimento ininterrupto de energia"@pt-br .
### Process type
:COPI_0000683 rdf:type owl:Class ; # UninterruptedPowerSupplyProcess
rdfs:subClassOf iof-core:PlannedProcess ;
rdfs:label "uninterrupted power supply process"@en ;
rdfs:label "processo de fornecimento ininterrupto de energia"@pt-br .
### Equipment universal: UpsUnit
:COPI_0000368 rdf:type owl:Class ; # UpsUnit
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_0000682 # UninterruptedPowerSupplyFunction
]
)
] ;
rdfs:label "ups unit"@en ;
rdfs:label "unidade UPS"@pt-br ;
iof-av:naturalLanguageDefinition "A UPS unit is electrical equipment that bears the designed function of maintaining uninterrupted AC electric power supply to protected equipment during power disturbances."@en ;
skos:definition "A UPS unit is electrical equipment that bears the designed function of maintaining uninterrupted AC electric power supply to protected equipment during power disturbances."@en ;
iof-av:naturalLanguageDefinition "Uma unidade UPS é um equipamento elétrico que possui a função projetada de manter o fornecimento ininterrupto de energia elétrica AC para equipamentos protegidos durante distúrbios de energia."@pt-br ;
rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000196 ; owl:someValuesFrom :COPI_0000058 ] ;
skos:definition "[ISO 15926-4] An <UPS UNIT> is an <AC ELECTRIC POWER SUPPLY UNIT> that maintains a uninterrupted supply of electric power to the equipment it protects"@en ;
skos:definition "[CFIHOS] An ac power supply unit that maintains a continuous supply of electric power to the equipment it protects."@en ;
skos:definition "[POSC Caesar] An A.C. power supply unit that maintains a continuous supply of electric power to the equipment it protects."@en .
# Disjointness: UpsUnit and Transformer
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000368 :COPI_0000086 ) . # UpsUnit, Transformer
# Disjointness: UpsUnit and CircuitBreaker
[] rdf:type owl:AllDisjointClasses ;
owl:members ( :COPI_0000368 :COPI_0000106 ) . # UpsUnit, CircuitBreaker
Axiomatization Decision Log
1
Identity-Giving Function
Function class
UninterruptedPowerSupplyFunction
⊑ DesignedFunction
Realized in
UninterruptedPowerSupplyProcess
⊑ PlannedProcess
The identity-giving function is maintaining continuous AC electric power to protected equipment during power disturbances. This is distinct from basic power supply functions as it specifically includes continuity assurance and backup capability.
2
Genus Determination
Assembly
bfo:Object (BFO_0000030)
Causally unified material artefact composed of physically connected,
separable MaterialComponent parts. Satisfies
Assembly ⊑ MaterialArtifact ⊑ bfo:Object.
Based on parent candidates, 'AC ELECTRIC POWER SUPPLY UNIT' would be most specific but is not in our enriched classes. 'electrical equipment class' is too generic. ElectricalEquipment captures that this is AC electrical apparatus without being overly broad like MaterialArtifact.
3
Necessary Parts
No necessary parts recorded (concept may be primitive at this level).
These parts are necessary for any UPS unit regardless of technology (battery, flywheel, etc.) to fulfill its uninterrupted power supply function.
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
—
Outputs (O)
—
Transformation (T)
electrical power conditioning with continuity assurance via backup energy storage
UPS units take AC electrical power input and provide conditioned AC output with guaranteed continuity through backup systems during power disturbances.
5
Axiom Mode Decision
Necessary + Sufficient
— modelled as a defined class
(≡, EquivalentClass). Automatic classification is
appropriate for this concept.
Disjointness Axioms
Transformer
CircuitBreaker
C2: Transformer. C4: CircuitBreaker. UPS units provide backup power capability which is incompatible with the pure transformation function of transformers or the pure protection function of circuit breakers.
Cross-Standard Observations
All three sources consistently define UPS units by their uninterrupted/continuous power supply function. ISO 15926 explicitly relates it to AC ELECTRIC POWER SUPPLY UNIT as parent class.
