Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
wireline
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is primarily defined by its function in well logging and tool deployment operations - to lower tools into the wellbore and transmit data/signals. While it has structural aspects (braided electrical cable), its identity comes from the specialized logging and intervention functions it enables in well operations.
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
WirelineLoggingFunction → WirelineLoggingProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is the dual capability to mechanically lower downhole tools into the wellbore while simultaneously transmitting electrical data signals back to surface - this distinguishes wireline from other cables or conveyance methods
▸
Expert review
2
Genus Proximus
✓ done
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:
ISO 15926 explicitly states wireline is an electrical cable. This is the most specific appropriate superclass - more specific than Assembly or MaterialArtifact, and correctly captures the basic electrical conductor identity before the specialized well logging function is added
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.WirelineLoggingFunction ⊓ ∃participatesIn.WellboreDeploymentProcess
▼
Conditions that distinguish
Wireline
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures both the specialized logging function and the participation in wellbore deployment processes, which are the minimal conditions that distinguish wireline from other electrical cables used in different applications
▸
Expert review
4
Necessary Parts
✓ done
BraidedConductor
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
All wirelines require braided construction for mechanical strength and electrical conductors for signal transmission - these are universal requirements across all wireline types
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
InformationContentEntity + DownholeToolAssembly → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Wireline simultaneously transmits electrical signals from downhole sensors to surface while providing mechanical conveyance for tools - this dual signature distinguishes it from pure data cables or mechanical conveyance systems
▸
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 Wireline.
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.
