ISA 5.1 symbol
exported necessary COPI_0000356
Switch Contact
IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000356
Generated onGerado em 2026-05-04
Natural Language DefinitionDefinição em Linguagem Natural
EN
A switch contact is an electrical contact that is one of the conductive parts forming a contact assembly.
PT-BR
Um contato de chave é um contato elétrico que é uma das partes condutoras que formam um conjunto de contato.
Formal AxiomsAxiomas Formais
Semi-formal (Aristotelian)Semi-formal (Aristotélico)
Every switch contact is an electrical contact that is part of an electrical contact assembly and bears an electrical conduction function.
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Necessary condition]∀x (SwitchContact(x) → MaterialArtifact(x) ∧ ∃f (ElectricalConductionFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function [Function axiom: ElectricalConductionFunction]∀f (ElectricalConductionFunction(f) → ∀p (realizedIn(f,p) → ElectricalConductionProcess(p)) ∧ ∃p (ElectricalConductionProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Structural differentia (necessary only)]∀x (SwitchContact(x) → ∃partOf.ElectricalContact) — Step 3: structural property — necessary condition, not sufficient (OWA prevents ≡) [Process participation signature]∀x ∀f ((SwitchContact(x) ∧ ElectricalConductionFunction(f) ∧ bearerOf(x,f)) → processType(f,ElectricalPowerTransmission)) — 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: SwitchContact <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 :ElectricalConductionFunction rdf:type owl:Class ; rdfs:subClassOf iof-core:DesignedFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :ElectricalConductionProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :ElectricalConductionProcess ] ; rdfs:label "electrical conduction function"@en ; rdfs:label "função de condução elétrica"@pt-br ; iof-av:naturalLanguageDefinition "A DesignedFunction that is realized in an ElectricalConductionProcess and that consists in providing a conductive pathway for electrical current within an electrical contact assembly."@en ; skos:definition "A DesignedFunction that is realized in an ElectricalConductionProcess and that consists in providing a conductive pathway for electrical current within an electrical contact assembly."@en . ### Process type :ElectricalConductionProcess rdf:type owl:Class ; rdfs:subClassOf iof-core:PlannedProcess ; rdfs:label "electrical conduction process"@en ; rdfs:label "processo de condução elétrica"@pt-br ; iof-av:naturalLanguageDefinition "A PlannedProcess in which electrical current is conducted through a conductive material part within an electrical switching or contact system."@en ; skos:definition "A PlannedProcess in which electrical current is conducted through a conductive material part within an electrical switching or contact system."@en . ### Equipment universal: SwitchContact :SwitchContact rdf:type owl:Class ; rdfs:subClassOf iof-core:MaterialArtifact ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :ElectricalConductionFunction ] ; rdfs:label "switch contact"@en ; rdfs:label "contato de chave"@pt-br ; iof-av:naturalLanguageDefinition "A switch contact is an electrical contact that is one of the conductive parts forming a contact assembly."@en ; skos:definition "A switch contact is an electrical contact that is one of the conductive parts forming a contact assembly."@en ; iof-av:naturalLanguageDefinition "Um contato de chave é um contato elétrico que é uma das partes condutoras que formam um conjunto de contato."@pt-br ; iof-av:isPrimitive "true"^^xsd:boolean ; iof-av:primitiveRationale "Constructive type based on structural role as a conductive part. Under OWA, asserting sufficient conditions could incorrectly classify any conductive part of an electrical contact as a switch contact, when there may be other specialized conductive components (bus bars, terminals, etc.) that serve different structural roles."@en ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000196 ; owl:someValuesFrom :COPI_0000058 ] ;
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
ElectricalConductionFunction ⊑ DesignedFunction
Realized in
ElectricalConductionProcess ⊑ PlannedProcess
While this is classified as constructive, the generic function is electrical conduction - providing the physical pathway for current flow within the contact assembly. This is the basic capability that any conductive contact part must have.
2 Genus DeterminationDeterminação do Gênero
MaterialArtifactbfo:Object (BFO_0000030)
The definition explicitly states this is an 'ELECTRICAL CONTACT' - making this the obvious genus. Though not yet enriched in our ontology, this is the appropriate domain-specific superclass rather than collapsing directly to MaterialArtifact.
3 Differentia SpecificaDiferença Específica
∃partOf.ElectricalContact

A conductive part that forms one component of an electrical contact assembly.

The key differentia is being 'one of the conductive parts forming a contact' - emphasizing its role as a constituent part within the larger contact assembly. The partOf relation captures this structural relationship.
4 Necessary PartsPartes Necessárias

No necessary parts recorded.

No component terms are provided in the source standards, and the definition describes this as a basic conductive part rather than an assembly with identifiable subcomponents. As a fundamental component itself, it lacks further necessary subparts at the universal level.
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
OutputsSaídas
TransformationTransformação
electrical current conducted through conductive material with minimal resistance
As a conductive part, it receives electrical current and conducts it through the contact interface. The transformation is pure conduction - maintaining electrical continuity with minimal loss. This signature distinguishes it from insulating or switching components.
MetadataMetadados
COPI IDCOPI IDCOPI_0000356
IRIIRIhttps://www.inf.ufrgs.br/ontologies/copi/COPI_0000356
StatusStatusexported
Axiom modeModonecessary
CreatedCriado2026-05-04
UpdatedAtualizado2026-07-12
LLM modelModelo LLMclaude-sonnet-4-20250514
VersionVersão2026-07-13