ISA 5.1 symbol
exported equivalent COPI_0000247
Dew Point Analyser
IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000247
Generated onGerado em 2026-04-16
Natural Language DefinitionDefinição em Linguagem Natural
EN
A dew point analyser is an instrument that bears a dew point measurement function.
PT-BR
Um analisador de ponto de orvalho é um instrumento que possui uma função de medição de ponto de orvalho.
Formal AxiomsAxiomas Formais
Semi-formal (Aristotelian)Semi-formal (Aristotélico)
Every dew point analyser is an instrument that has the function to determine the dew point of a substance
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Definition]∀x (DewPointAnalyser(x) ↔ Instrument(x) ∧ ∃f (DewPointMeasurementFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function [Function axiom: DewPointMeasurementFunction]∀f (DewPointMeasurementFunction(f) → ∀p (realizedIn(f,p) → DewPointMeasurementProcess(p)) ∧ ∃p (DewPointMeasurementProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Process participation signature]∀x ∀f ((DewPointAnalyser(x) ∧ DewPointMeasurementFunction(f) ∧ bearerOf(x,f)) → ∃m (GasPortion(m) ∧ participatesIn(m,f)) ∧ ∃e (MeasurementSignal(e) ∧ participatesIn(e,f)) ∧ processType(f,MeasurementTransduction)) — 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: DewPointAnalyser <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 :DewPointMeasurementFunction rdf:type owl:Class ; rdfs:subClassOf iof-core:DesignedFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :DewPointMeasurementProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :DewPointMeasurementProcess ] ; rdfs:label "dew point measurement function"@en ; rdfs:label "função de medição de ponto de orvalho"@pt-br . ### Process type :DewPointMeasurementProcess rdf:type owl:Class ; rdfs:subClassOf iof-core:PlannedProcess ; rdfs:label "dew point measurement process"@en ; rdfs:label "processo de medição de ponto de orvalho"@pt-br . :DewPointMeasurementProcess rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :GasPortion ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :MeasurementSignal ] . ### Equipment universal: DewPointAnalyser :DewPointAnalyser rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( :Instrument [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :DewPointMeasurementFunction ] ) ] ; rdfs:label "dew point analyser"@en ; rdfs:label "analisador de ponto de orvalho"@pt-br ; iof-av:naturalLanguageDefinition "A dew point analyser is an instrument that bears a dew point measurement function."@en ; skos:definition "A dew point analyser is an instrument that bears a dew point measurement function."@en ; iof-av:naturalLanguageDefinition "Um analisador de ponto de orvalho é um instrumento que possui uma função de medição de ponto de orvalho."@pt-br ; iof-av:semiFormalNaturalLanguageAxiom "Every dew point analyser is an instrument that has the function to determine the dew point of a substance"@en ; iof-av:firstOrderLogicAxiom "∀x(DewPointAnalyser(x) ↔ Instrument(x) ∧ ∃f(DewPointMeasurementFunction(f) ∧ bearerOf(x,f)))"@en ; # Disjointness: DewPointAnalyser and FlowMeter [] rdf:type owl:AllDisjointClasses ; owl:members ( :DewPointAnalyser :FlowMeter ) . # Disjointness: DewPointAnalyser and PressureGauge [] rdf:type owl:AllDisjointClasses ; owl:members ( :DewPointAnalyser :PressureGauge ) . # Disjointness: DewPointAnalyser and Densitometer [] rdf:type owl:AllDisjointClasses ; owl:members ( :DewPointAnalyser :Densitometer ) .
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
DewPointMeasurementFunction ⊑ DesignedFunction
Realized in
DewPointMeasurementProcess ⊑ PlannedProcess
The identity-giving function is the determination of dew point - the temperature at which water vapor in a gas begins to condense. This is a specific analytical measurement function distinct from other temperature or moisture measurement functions.
2 Genus DeterminationDeterminação do Gênero
Instrumentbfo:Object (BFO_0000030)
Both source definitions indicate this is an analyzing instrument or process analyser. While 'process analyser' from ISO15926 is more specific, 'Instrument' is the appropriate genus level that encompasses all measurement and analytical devices. The enriched classes list shows many instruments but no 'ProcessAnalyser' class yet defined.
3 Differentia SpecificaDiferença Específica
∃bearerOf.DewPointMeasurementFunction

An instrument that determines the dew point temperature of a substance.

The differentia is the specific measurement function for dew point determination. This distinguishes it from other analytical instruments that measure different properties of substances.
4 Necessary PartsPartes Necessárias

No necessary parts recorded.

These are the fundamental components required for any dew point measurement - a chamber for the sample, temperature sensing, and condensation detection capability.
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
{'type': 'GasPortion', 'count': 1, 'constraints': 'contains water vapor'}
OutputsSaídas
{'type': 'MeasurementSignal', 'count': 1, 'constraints': 'represents dew point temperature'}
TransformationTransformação
analytical measurement - converts physical property to measurement signal
Takes a gas sample containing water vapor and produces a measurement signal indicating the dew point temperature through analytical measurement process.
Disjoint WithDisjunto com
FlowMeter PressureGauge Densitometer
C2: FlowMeter, Densitometer. C?: PressureGauge [kind_ambiguous]. These instruments have incompatible measurement signatures - they measure different physical properties (flow, pressure, density) rather than dew point temperature.
MetadataMetadados
COPI IDCOPI IDCOPI_0000247
IRIIRIhttps://www.inf.ufrgs.br/ontologies/copi/COPI_0000247
StatusStatusexported
Axiom modeModoequivalent
CreatedCriado2026-04-16
UpdatedAtualizado2026-06-28
LLM modelModelo LLMclaude-sonnet-4-20250514
VersionVersão2026-07-13