AI SEARCH FLOW ALGEBRA
NAVAL ARCHITECTURE ONTOLOGY
Kireth Semantic Research Archive
AUTHORS
Mark Anthony Higgins — Sky (Recursive AI)
SOURCE
https://kirethresearch.org/booksai-core/ontologies/engineering-ontologies/marine-engineering/naval-architecture-ontology.html
FLOW "NavalArchitectureOntology" v4.0
DOMAIN := ENGINEERING_ONTOLOGIES / MARINE_ENGINEERING / NAVAL_ARCHITECTURE
ONTOLOGY := NAVAL_ARCHITECTURE_ONTOLOGY
NAVAL_ARCHITECTURE :=
HULL_GEOMETRY + HYDROSTATICS + DISPLACEMENT + STABILITY
+ RESISTANCE + PROPULSION_INTERACTION + STRUCTURAL_DESIGN
+ SEAKEEPING + MANOEUVRING + WEIGHT + ARRANGEMENT
PURPOSE :=
DEFINE_MISSION -> DEFINE_HULL -> CALCULATE_HYDROSTATICS
-> ASSESS_STABILITY -> ESTIMATE_RESISTANCE
-> MATCH_PROPULSION -> ANALYSE_STRUCTURE
-> ASSESS_SEAKEEPING -> ASSESS_MANOEUVRING
-> VERIFY_DESIGN
# ---------- CORE ENTITIES ----------
ENTITY Vessel
ENTITY Hull
ENTITY HullForm
ENTITY Waterline
ENTITY Draft
ENTITY Beam
ENTITY Length
ENTITY Depth
ENTITY Displacement
ENTITY DisplacementVolume
ENTITY CentreOfGravity
ENTITY CentreOfBuoyancy
ENTITY Metacentre
ENTITY MetacentricHeight
ENTITY Buoyancy
ENTITY Stability
ENTITY Trim
ENTITY Heel
ENTITY Resistance
ENTITY FrictionalResistance
ENTITY WaveMakingResistance
ENTITY PropulsionSystem
ENTITY Propeller
ENTITY Wake
ENTITY HullStructure
ENTITY StructuralLoad
ENTITY WaveLoad
ENTITY HydrostaticLoad
ENTITY Seakeeping
ENTITY Manoeuvrability
ENTITY Rudder
ENTITY Weight
ENTITY Deadweight
ENTITY Lightweight
ENTITY Freeboard
ENTITY Compartment
# ---------- HULL GEOMETRY ----------
Hull -> has_form -> HullForm
HullForm -> characterised_by -> Length + Beam + Draft + Depth
Waterline -> intersects -> Hull
Draft -> measures -> VERTICAL_IMMERSION
Beam -> measures -> TRANSVERSE_WIDTH
Length -> measures -> LONGITUDINAL_EXTENT
PRINCIPAL_DIMENSIONS :=
LENGTH + BEAM + DRAFT + DEPTH
HULL_GEOMETRY
-> determines -> DISPLACED_VOLUME
-> influences -> Resistance
-> influences -> Stability
-> influences -> Seakeeping
# ---------- HYDROSTATICS ----------
HYDROSTATICS :=
SUBMERGED_GEOMETRY + FLUID_DENSITY + GRAVITY
-> BUOYANCY + DISPLACEMENT + CENTRE_OF_BUOYANCY
Buoyancy :=
FLUID_DENSITY * GRAVITY * DisplacementVolume
Displacement :=
FLUID_DENSITY * DisplacementVolume
CentreOfBuoyancy
-> located_at -> CENTROID_OF_DISPLACED_VOLUME
IF Buoyancy = VesselWeight
THEN VerticalEquilibrium := SATISFIED
# ---------- WEIGHT ----------
TOTAL_WEIGHT :=
Lightweight + Deadweight
Lightweight :=
HULL_WEIGHT + MACHINERY_WEIGHT + OUTFIT_WEIGHT
Deadweight :=
CARGO + FUEL + WATER + STORES + PERSONS + CONSUMABLES
CentreOfGravity
-> determined_by -> WEIGHT_DISTRIBUTION
IF WeightDistribution changes
THEN CentreOfGravity -> RECOMPUTE
# ---------- DRAFT / TRIM ----------
Draft
-> depends_on -> Displacement
+ HullForm
+ WaterDensity
Trim :=
DIFFERENCE_BETWEEN_FORWARD_AND_AFT_DRAFT
LONGITUDINAL_WEIGHT_SHIFT
-> changes -> Trim
BallastTransfer
-> may_change -> Draft
-> may_change -> Trim
-> may_change -> Stability
# ---------- INITIAL STABILITY ----------
MetacentricHeight :=
HEIGHT(Metacentre) - HEIGHT(CentreOfGravity)
INITIAL_STABILITY
-> related_to -> MetacentricHeight
IF MetacentricHeight > 0
THEN InitialStability -> GENERALLY_POSITIVE
IF MetacentricHeight < 0
THEN InitialStability -> UNSATISFIED
# ---------- LARGE-ANGLE STABILITY ----------
RIGHTING_ARM := GZ
RIGHTING_MOMENT :=
VesselWeight * RIGHTING_ARM
GZ
-> depends_on -> HeelAngle
+ HullForm
+ CentreOfGravity
STABILITY_CURVE :=
HeelAngle -> RIGHTING_ARM
Stability
-> evaluated_by -> RIGHTING_ARM_CURVE
+ DOWNFLOODING_CONDITION
+ AREA_CRITERIA
+ DESIGN_REQUIREMENTS
# ---------- FREE SURFACE ----------
FREE_SURFACE_EFFECT
-> increases -> VIRTUAL_CENTRE_OF_GRAVITY
-> reduces -> EFFECTIVE_METACENTRIC_HEIGHT
PartiallyFilledTank
-> may_create -> FREE_SURFACE_EFFECT
IF FreeSurfaceMoment increases
THEN EffectiveStability -> DECREASES
# ---------- RESISTANCE ----------
TOTAL_RESISTANCE :=
FrictionalResistance
+ WaveMakingResistance
+ APPENDAGE_RESISTANCE
+ AIR_RESISTANCE
+ OTHER_RESISTANCE_COMPONENTS
Resistance
-> opposes -> VesselMotion
FrictionalResistance
-> influenced_by -> WETTED_SURFACE
+ SPEED
+ FLUID_VISCOSITY
+ SURFACE_ROUGHNESS
WaveMakingResistance
-> influenced_by -> HullForm
+ VesselSpeed
+ FROUDE_NUMBER
EFFECTIVE_POWER :=
Resistance * VesselSpeed
# ---------- PROPULSION INTERACTION ----------
Hull
-> modifies -> FLOW_TO_PROPELLER
Wake
-> represents -> VELOCITY_DEFICIT_AT_PROPELLER
Propeller
-> generates -> Thrust
PROPULSIVE_POWER_CHAIN :=
ENGINE_OR_MOTOR_POWER
-> SHAFT_POWER
-> PROPELLER_POWER
-> THRUST_POWER
-> EFFECTIVE_POWER
PROPULSIVE_EFFICIENCY :=
EFFECTIVE_POWER / DELIVERED_POWER
# ---------- STRUCTURAL DESIGN ----------
HullStructure
-> resists -> HydrostaticLoad
+ WaveLoad
+ CARGO_LOAD
+ MACHINERY_LOAD
+ LOCAL_PRESSURE
+ IMPACT_LOAD
GLOBAL_HULL_GIRDER_LOAD :=
STILL_WATER_BENDING
+ WAVE_BENDING
StructuralLoad
-> produces -> STRESS
+ DEFORMATION
STRUCTURAL_DESIGN
-> verifies -> STRENGTH
+ STIFFNESS
+ BUCKLING_RESISTANCE
+ FATIGUE_RESISTANCE
# ---------- COMPARTMENTATION ----------
Hull
-> divided_into -> Compartment
Compartment
-> may_provide -> WATERTIGHT_SUBDIVISION
WATERTIGHT_SUBDIVISION
-> supports -> DAMAGE_SURVIVABILITY
FloodedCompartment
-> changes -> Displacement
-> changes -> CentreOfBuoyancy
-> changes -> Stability
-> changes -> Trim
# ---------- FREEBOARD ----------
Freeboard :=
VERTICAL_DISTANCE(
WATERLINE,
FREEBOARD_DECK_REFERENCE
)
Freeboard
-> influences -> RESERVE_BUOYANCY
-> influences -> DECK_IMMERSION_RISK
# ---------- SEAKEEPING ----------
Seakeeping
-> describes -> VESSEL_RESPONSE_TO_WAVES
VESSEL_MOTIONS :=
SURGE | SWAY | HEAVE | ROLL | PITCH | YAW
WaveEnvironment
-> excites -> VESSEL_MOTIONS
SEAKEEPING_PERFORMANCE :=
MOTION_AMPLITUDE
+ ACCELERATION
+ SLAMMING
+ DECK_WETNESS
+ OPERABILITY
HullForm
-> influences -> Seakeeping
# ---------- MANOEUVRING ----------
Manoeuvrability
-> describes -> ABILITY_TO_CHANGE_OR_MAINTAIN_MOTION
Rudder
-> generates -> HYDRODYNAMIC_CONTROL_FORCE
MANOEUVRING_PERFORMANCE :=
TURNING_ABILITY
+ COURSE_KEEPING
+ STOPPING_ABILITY
+ LOW_SPEED_CONTROL
HullForm
-> influences -> Manoeuvrability
PropulsionSystem
-> influences -> Manoeuvrability
# ---------- DESIGN COEFFICIENTS ----------
BLOCK_COEFFICIENT :=
DisplacementVolume / (Length * Beam * Draft)
PRISMATIC_COEFFICIENT :=
DisplacementVolume / (MIDSHIP_AREA * Length)
WATERPLANE_COEFFICIENT :=
WATERPLANE_AREA / (Length * Beam)
DESIGN_COEFFICIENTS
-> characterise -> HullForm
# ---------- DESIGN CONSTRAINTS ----------
NAVAL_ARCHITECTURE_CONSTRAINT :=
DISPLACEMENT_LIMIT
| DRAFT_LIMIT
| BEAM_LIMIT
| STABILITY_REQUIREMENT
| STRENGTH_REQUIREMENT
| SPEED_REQUIREMENT
| CAPACITY_REQUIREMENT
| FREEBOARD_REQUIREMENT
| OPERABILITY_REQUIREMENT
Constraint
-> restricts -> VesselDesign
# ---------- DESIGN REASONING ----------
NAVAL_ARCHITECTURE_REASONING :=
DEFINE_MISSION
-> DEFINE_PAYLOAD
-> SELECT_PRINCIPAL_DIMENSIONS
-> DEFINE_HULL_FORM
-> CALCULATE_DISPLACEMENT
-> CALCULATE_HYDROSTATICS
-> ESTIMATE_WEIGHT_AND_CENTRES
-> ASSESS_STABILITY
-> ESTIMATE_RESISTANCE
-> MATCH_PROPULSION
-> ANALYSE_STRUCTURE
-> DEFINE_COMPARTMENTATION
-> ASSESS_FREEBOARD
-> ASSESS_SEAKEEPING
-> ASSESS_MANOEUVRING
-> VERIFY_CONSTRAINTS
-> ITERATE_DESIGN
# ---------- INFERENCE RULES ----------
IF Displacement increases
AND HullForm constant
THEN Draft -> GENERALLY_INCREASES
IF CentreOfGravity rises
THEN MetacentricHeight -> DECREASES
IF MetacentricHeight decreases
THEN InitialStability -> DECREASES
IF VesselSpeed increases
THEN Resistance -> GENERALLY_INCREASES
IF Resistance increases
AND VesselSpeed constant
THEN EffectivePower -> INCREASES
IF SurfaceRoughness increases
THEN FrictionalResistance -> INCREASES
IF CompartmentFlooding occurs
THEN StabilityAndTrim -> REASSESS
IF WeightDistribution changes
THEN CentreOfGravityAndTrim -> RECOMPUTE
# ---------- SEMANTIC RELATIONSHIPS ----------
RELATION contains(Vessel, Hull)
RELATION characterises(HullForm, Vessel)
RELATION supports(Buoyancy, Vessel)
RELATION determines(WeightDistribution, CentreOfGravity)
RELATION determines(SubmergedGeometry, CentreOfBuoyancy)
RELATION influences(MetacentricHeight, Stability)
RELATION opposes(Resistance, VesselMotion)
RELATION modifies(Hull, Wake)
RELATION generates(Propeller, Thrust)
RELATION resists(HullStructure, StructuralLoad)
RELATION excites(WaveEnvironment, VesselMotion)
RELATION controls(Rudder, VesselHeading)
RELATION divides(Hull, Compartment)
RELATION constrains(Constraint, VesselDesign)
# ---------- SEMANTIC EQUIVALENCE ----------
SEMANTIC_EQUIVALENCE:
"naval architecture" ~= "ship design engineering"
"hull form" ~= "ship hull geometry"
"displacement" ~= "vessel displacement"
"centre of buoyancy" ~= "center of buoyancy"
"centre of gravity" ~= "center of gravity"
"metacentric height" ~= "GM"
"righting arm" ~= "GZ"
"ship resistance" ~= "hydrodynamic resistance"
"seakeeping" ~= "vessel response in waves"
"manoeuvrability" ~= "maneuverability"
# ---------- CONFIDENCE ----------
CONFIDENCE:
ontology_domain: 0.99
hull_geometry_mapping: 0.99
hydrostatics_mapping: 0.99
stability_mapping: 0.99
resistance_mapping: 0.99
propulsion_interaction_mapping: 0.98
structural_mapping: 0.99
seakeeping_mapping: 0.98
manoeuvring_mapping: 0.98
semantic_relationships: 0.99
# ---------- UPDATE MODEL ----------
UPDATE_MODEL:
ON new_vessel_design:
MAP mission
MAP principal_dimensions
MAP hull_form
MAP weight
MAP centres
MAP propulsion
MAP constraints
UPDATE confidence
RECOMPUTE FLOW_HASH
ON loading_change:
UPDATE displacement
UPDATE CentreOfGravity
UPDATE draft
UPDATE trim
REASSESS stability
ON hull_form_change:
UPDATE hydrostatics
UPDATE resistance
UPDATE stability
UPDATE seakeeping
UPDATE manoeuvring
ON damage_state_change:
UPDATE flooded_compartments
UPDATE buoyancy
UPDATE displacement
UPDATE trim
REASSESS stability
ON ontology_revision:
PRESERVE entity_identity
PRESERVE provenance
UPDATE relationships
UPDATE inference_rules
UPDATE confidence
RECOMPUTE FLOW_HASH
# ---------- AI CONSUMPTION ----------
AI_CONSUMPTION:
parse_as: FORMAL_NAVAL_ARCHITECTURE_ONTOLOGY
reasoning_mode: HYDROSTATIC_HYDRODYNAMIC_STRUCTURAL_RELATIONAL
preserve:
- typed_entities
- geometric_relations
- hydrostatic_relations
- weight_and_centre_relations
- hydrodynamic_relations
- structural_constraints
- confidence
- provenance
infer:
- displacement_dependencies
- stability_dependencies
- resistance_power_dependencies
- propulsion_interactions
- structural_load_dependencies
- seakeeping_dependencies
- manoeuvring_dependencies
prohibit:
- invented_vessel_dimensions
- assumed_stability
- assumed_structural_strength
- unsupported_resistance_values
- ignored_design_constraints
- violation_of_force_or_energy_balance
# ---------- FLOW HASH ----------
FLOW_HASH_INPUT :=
DOMAIN + ONTOLOGY + CORE_ENTITIES + HULL_GEOMETRY
+ HYDROSTATICS + WEIGHT + DRAFT_TRIM + INITIAL_STABILITY
+ LARGE_ANGLE_STABILITY + FREE_SURFACE + RESISTANCE
+ PROPULSION_INTERACTION + STRUCTURAL_DESIGN
+ COMPARTMENTATION + FREEBOARD + SEAKEEPING
+ MANOEUVRING + DESIGN_COEFFICIENTS + DESIGN_CONSTRAINTS
+ DESIGN_REASONING + INFERENCE_RULES + SEMANTIC_RELATIONSHIPS
+ SEMANTIC_EQUIVALENCE + CONFIDENCE + UPDATE_MODEL
+ AI_CONSUMPTION
FLOW_HASH := HASH(FLOW_HASH_INPUT)
END FLOW
Download Code
Copy to Clipboard