Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
bottom hole assembly
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined by its operational role in the drilling process - providing the specialized functions needed at the bottom of the drill string. The identity is given by what it does (drilling operations at bottom hole) rather than by a specific physical configuration, as the BHA is changed to achieve different drilling results.
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
⚠ not anchored
BottomHoleDrillingFunction → BottomHoleDrillingProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The identity-giving function is to perform specialized drilling operations at the bottom of the wellbore, including drilling, steering, measurement, and formation evaluation. This distinguishes it from other drilling components that perform support functions.
▸
Expert review
2
Genus Proximus
✓ done
Assembly
▼
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:
The parent_candidates list provides 'DRILLING COMPONENT' from iso15926. This is the most specific appropriate superclass - a bottom hole assembly is a specialized type of drilling component. DrillingComponent would be an Assembly as it consists of multiple integrated drilling tools and components.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.DrillBit ⊓ ∃locatedAt.BottomHoleLocation
▼
Conditions that distinguish
Bottom Hole Assembly
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures two essential characteristics: (1) the presence of a drill bit as the cutting element, and (2) the specific location at the bottom of the drill string. These conditions distinguish BHA from other drilling components.
▸
Expert review
4
Necessary Parts
✓ done
DrillBit
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These are the minimal universal components - specific BHA configurations will add measurement tools, stabilizers, motors, etc. based on drilling objectives.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
⚠ 1 not in vocab
DrillingFluid → RockCuttings + Wellbore + LoggingData
▼
⚠ Participant type(s) not in COPI vocabulary
LoggingData
Participant types are hand-authored in
copi-vocab, not produced by the pipeline.
Replace each with an existing vocab type, redirect it to a BFO / IOF-Core class in copi-iri-map.tsv,
or add it to copi-vocab.ttl first.
This entry cannot be saved as validated until then.
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
BHA converts rotational energy and weight into rock cutting action, produces cuttings and wellbore advancement, and typically includes sensors for formation evaluation
▸
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
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Bottom Hole Assembly.
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.
