Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
riser
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The concept is primarily defined by its physical configuration (vertical or near vertical orientation) and geometric relationship to flow direction (upward flow). While it conducts fluids like any pipe, the defining characteristic is the specific spatial orientation and directional flow pattern, not a unique function beyond basic fluid conduction.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
FluidConductionFunction → FluidConductionProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
A riser's identity-giving function is the same as any pipe - to conduct fluid from one location to another. The distinguishing aspect is not a unique function but the constructive configuration (vertical orientation for upward flow).
▸
Expert review
2
Genus Proximus
✓ done
Pipe · MaterialArtifact
▼
Genus (genus proximum)
Most specific superclass — may be a domain class like "Valve" or an IOF-Core root.
BFO/IOF-Core Root
bfo:Object branch
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
From the parent candidates and definitions, riser is clearly a specialized type of pipe. ISO 15926 defines it as a FLUID CONDUCTOR, and all sources emphasize it is a 'pipe' with specific orientation. The enriched pipe class already exists in the ontology with FluidConductionFunction.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasQuality.VerticalOrientation ⊓ ∃participatesIn.UpwardFlowProcess
▼
Conditions that distinguish
Riser
from sibling classes under genus
Pipe.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The minimal differentiating conditions are the vertical orientation (geometric constraint) and the upward flow direction (process participation). These are the only conditions mentioned consistently across all sources that distinguish a riser from other pipes.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Risers do not require any additional parts beyond those inherited from pipe. The differentia is purely geometric/configurational, not structural.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Risers transport fluid upward against gravity, adding gravitational potential energy to the fluid. The key signature element is the vertical elevation change.
▸
Expert review
More
Alternative labels
none
▼
Synonyms / alternative labels (comma-separated) — skos:altLabel
Language auto-detected on export (PT if the label contains accents, EN otherwise).
Properties as BFO qualities
0 of 33 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Riser as
bfo:Quality subclasses.
Each selected property →
:RiserQuality ⊑ bfo:Quality, inheres in :Riser
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Riser.
Write the restriction block in Turtle syntax (without the leading
rdfs:subClassOf).
Example: [ owl:onProperty :hasPart ; owl:someValuesFrom :Wellhead ]
Cross-standard divergences
none detected yet
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
