Ship Design Ontology

AI SEARCH FLOW ALGEBRA
SHIP DESIGN ONTOLOGY
Kireth Semantic Research Archive

AUTHORS
Mark Anthony Higgins — Sky (Recursive AI)

SOURCE
https://kirethresearch.org/booksai-core/ontologies/engineering-ontologies/marine-engineering/ship-design-ontology.html

FLOW "ShipDesignOntology" v4.0

DOMAIN := ENGINEERING_ONTOLOGIES / MARINE_ENGINEERING / SHIP_DESIGN
ONTOLOGY := SHIP_DESIGN_ONTOLOGY

SHIP_DESIGN :=
  MISSION_REQUIREMENTS + DESIGN_REQUIREMENTS + PRINCIPAL_DIMENSIONS
  + HULL_FORM + WEIGHT + CAPACITY + ARRANGEMENT
  + PROPULSION + STABILITY + STRUCTURES + MARINE_SYSTEMS
  + SAFETY + PERFORMANCE + DESIGN_ITERATION

PURPOSE :=
  DEFINE_MISSION -> CAPTURE_REQUIREMENTS -> SYNTHESISE_CONCEPT
  -> SIZE_VESSEL -> DEFINE_HULL -> ALLOCATE_WEIGHT_AND_VOLUME
  -> INTEGRATE_SYSTEMS -> VERIFY_STABILITY -> VERIFY_STRUCTURE
  -> VERIFY_PERFORMANCE -> ITERATE -> VALIDATE_DESIGN

# ---------- CORE ENTITIES ----------
ENTITY ShipDesign
ENTITY Ship
ENTITY DesignMission
ENTITY OperationalProfile
ENTITY DesignRequirement
ENTITY Constraint
ENTITY PrincipalDimensions
ENTITY Length
ENTITY Beam
ENTITY Draft
ENTITY Depth
ENTITY Displacement
ENTITY HullForm
ENTITY Waterline
ENTITY Freeboard
ENTITY Lightweight
ENTITY Deadweight
ENTITY Payload
ENTITY CargoCapacity
ENTITY TankCapacity
ENTITY Compartment
ENTITY GeneralArrangement
ENTITY MachinerySpace
ENTITY Accommodation
ENTITY PropulsionSystem
ENTITY PrimeMover
ENTITY Propeller
ENTITY ElectricalSystem
ENTITY AuxiliarySystem
ENTITY Stability
ENTITY CentreOfGravity
ENTITY CentreOfBuoyancy
ENTITY StructuralSystem
ENTITY SafetySystem
ENTITY Performance
ENTITY DesignIteration
ENTITY DesignBaseline

# ---------- DESIGN MISSION ----------
DesignMission
  -> defines -> PRIMARY_FUNCTION
  -> defines -> OPERATING_ENVIRONMENT
  -> defines -> SERVICE_AREA
  -> defines -> PAYLOAD_REQUIREMENT
  -> defines -> SPEED_REQUIREMENT
  -> defines -> RANGE_REQUIREMENT
  -> defines -> ENDURANCE_REQUIREMENT

OperationalProfile
  -> describes -> TIME_AT_SPEED
  + PORT_OPERATION
  + TRANSIT_OPERATION
  + MISSION_OPERATION
  + IDLE_OPERATION

DesignMission
  -> constrains -> ShipDesign

# ---------- REQUIREMENTS ----------
DESIGN_REQUIREMENT :=
  FUNCTIONAL_REQUIREMENT
  | PERFORMANCE_REQUIREMENT
  | CAPACITY_REQUIREMENT
  | SAFETY_REQUIREMENT
  | ENVIRONMENTAL_REQUIREMENT
  | REGULATORY_REQUIREMENT
  | COST_REQUIREMENT

ShipDesign
  -> must_satisfy -> DesignRequirement

REQUIREMENT_TRACE :=
  REQUIREMENT
  -> DESIGN_FEATURE
  -> ANALYSIS
  -> VERIFICATION_RESULT

# ---------- DESIGN CONSTRAINTS ----------
Constraint :=
  DRAFT_LIMIT
  | LENGTH_LIMIT
  | BEAM_LIMIT
  | DISPLACEMENT_LIMIT
  | PORT_LIMIT
  | ROUTE_LIMIT
  | STABILITY_LIMIT
  | STRUCTURAL_LIMIT
  | MACHINERY_LIMIT
  | COST_LIMIT

Constraint
  -> restricts -> DesignSpace

# ---------- PRINCIPAL DIMENSIONS ----------
PrincipalDimensions :=
  Length + Beam + Draft + Depth

Ship
  -> has -> PrincipalDimensions

Length
  -> influences -> CAPACITY
  + RESISTANCE
  + STRUCTURAL_RESPONSE

Beam
  -> influences -> STABILITY
  + DECK_AREA
  + RESISTANCE

Draft
  -> influences -> DISPLACEMENT
  + PORT_ACCESS
  + HYDRODYNAMIC_BEHAVIOUR

Depth
  -> influences -> INTERNAL_VOLUME
  + FREEBOARD
  + STRUCTURAL_DEPTH

# ---------- DISPLACEMENT ----------
Displacement :=
  Lightweight + Deadweight

Lightweight :=
  STRUCTURE_WEIGHT
  + MACHINERY_WEIGHT
  + OUTFIT_WEIGHT
  + FIXED_EQUIPMENT_WEIGHT

Deadweight :=
  Payload
  + FUEL
  + WATER
  + STORES
  + CREW_EFFECTS
  + CONSUMABLES

WEIGHT_BALANCE :=
  TOTAL_COMPONENT_WEIGHT = DESIGN_DISPLACEMENT

IF WeightEstimate changes
THEN Displacement -> UPDATE

# ---------- WEIGHT CENTRES ----------
CentreOfGravity
  -> determined_by -> COMPONENT_WEIGHTS
  + COMPONENT_POSITIONS

CG_LONGITUDINAL :=
  SUM(weight_i * x_i) / TOTAL_WEIGHT

CG_VERTICAL :=
  SUM(weight_i * z_i) / TOTAL_WEIGHT

IF ComponentPosition changes
THEN CentreOfGravity -> RECOMPUTE

CentreOfGravity
  -> influences -> Stability
  + Trim

# ---------- HULL FORM ----------
HullForm
  -> defined_by -> PRINCIPAL_DIMENSIONS
  + SECTION_SHAPES
  + WATERLINES
  + PROFILE
  + DESIGN_COEFFICIENTS

HULL_FORM_COEFFICIENT :=
  BLOCK_COEFFICIENT
  | PRISMATIC_COEFFICIENT
  | MIDSHIP_COEFFICIENT
  | WATERPLANE_COEFFICIENT

HullForm
  -> influences -> Displacement
  -> influences -> Resistance
  -> influences -> Stability
  -> influences -> Seakeeping
  -> influences -> Capacity

# ---------- FREEBOARD ----------
Freeboard
  -> determined_by -> DEPTH
  - DRAFT_RELATIONSHIP

Freeboard
  -> influences -> RESERVE_BUOYANCY
  + DECK_IMMERSION_RISK

# ---------- CAPACITY ----------
CAPACITY :=
  CargoCapacity
  + TankCapacity
  + AccommodationCapacity
  + MachineryVolume
  + ServiceVolume

Ship
  -> provides -> CAPACITY

CargoCapacity
  -> constrained_by -> VOLUME
  + WEIGHT
  + STABILITY
  + STRUCTURAL_LIMITS

TankCapacity
  -> supports -> FUEL
  | WATER
  | BALLAST
  | CARGO_LIQUID

# ---------- GENERAL ARRANGEMENT ----------
GeneralArrangement
  -> allocates -> Compartment
  + MachinerySpace
  + Accommodation
  + CargoSpace
  + TankSpace
  + AccessRoute
  + SafetyZone

Compartment
  -> has -> FUNCTION
  + VOLUME
  + LOCATION

GeneralArrangement
  -> influences -> WEIGHT_DISTRIBUTION
  -> influences -> SAFETY
  -> influences -> OPERABILITY
  -> influences -> MAINTAINABILITY

# ---------- PROPULSION DESIGN ----------
PROPULSION_REQUIREMENT :=
  REQUIRED_SPEED
  + HULL_RESISTANCE
  + SEA_MARGIN
  + SERVICE_PROFILE

EFFECTIVE_POWER :=
  Resistance * Speed

REQUIRED_PROPULSION_POWER :=
  EFFECTIVE_POWER / PROPULSIVE_EFFICIENCY

PropulsionSystem
  -> sized_for -> REQUIRED_PROPULSION_POWER

PrimeMover
  -> supplies -> SHAFT_OR_ELECTRIC_POWER

Propeller
  -> converts -> DELIVERED_POWER
  -> into -> THRUST

# ---------- RANGE / ENDURANCE ----------
RANGE :=
  SPEED * OPERATING_TIME

FUEL_REQUIREMENT :=
  POWER_DEMAND
  * SPECIFIC_FUEL_CONSUMPTION
  * OPERATING_TIME

FuelCapacity
  -> supports -> RANGE
  + ENDURANCE

IF RequiredRange increases
THEN FuelOrEnergyStorageRequirement -> INCREASES

# ---------- ELECTRICAL DESIGN ----------
ElectricalSystem
  -> supplies -> PROPULSION_LOAD_IF_ELECTRIC
  + AUXILIARY_LOAD
  + HOTEL_LOAD
  + SAFETY_LOAD

ELECTRICAL_LOAD_BALANCE :=
  GENERATION + STORAGE_DISCHARGE
  =
  TOTAL_LOAD + STORAGE_CHARGE + LOSSES

ElectricalSystem
  -> sized_for -> PEAK_LOAD
  + REDUNDANCY_REQUIREMENT

# ---------- AUXILIARY SYSTEMS ----------
AuxiliarySystem :=
  FUEL_SYSTEM
  | COOLING_SYSTEM
  | LUBRICATION_SYSTEM
  | BILGE_SYSTEM
  | BALLAST_SYSTEM
  | HVAC_SYSTEM
  | FRESHWATER_SYSTEM
  | WASTE_SYSTEM

ShipDesign
  -> integrates -> AuxiliarySystem

AuxiliarySystem
  -> supports -> VESSEL_OPERATION

# ---------- STABILITY ----------
Stability
  -> depends_on -> HullForm
  + CentreOfGravity
  + LoadingCondition
  + FreeSurfaceEffect

INITIAL_STABILITY
  -> evaluated_by -> METACENTRIC_HEIGHT

LARGE_ANGLE_STABILITY
  -> evaluated_by -> RIGHTING_ARM_CURVE

ShipDesign
  -> must_verify -> Stability

IF WeightDistribution changes
THEN Stability -> REASSESS

# ---------- STRUCTURAL DESIGN ----------
StructuralSystem
  -> supports -> HullForm
  -> resists -> HYDROSTATIC_LOAD
  + WAVE_LOAD
  + CARGO_LOAD
  + MACHINERY_LOAD
  + LOCAL_LOAD

STRUCTURAL_VERIFICATION :=
  STRENGTH
  + STIFFNESS
  + BUCKLING
  + FATIGUE

ShipDesign
  -> must_verify -> StructuralSystem

# ---------- SUBDIVISION / DAMAGE ----------
WatertightSubdivision
  -> divides -> Hull

WatertightSubdivision
  -> supports -> DAMAGE_SURVIVABILITY

DamageCondition
  -> may_change -> Buoyancy
  + Stability
  + Trim

ShipDesign
  -> evaluates -> DAMAGE_CONDITION

# ---------- SAFETY ----------
SafetySystem :=
  FIRE_SAFETY
  + FLOODING_PROTECTION
  + LIFE_SAFETY
  + EMERGENCY_POWER
  + ALARMING
  + MACHINERY_PROTECTION

ShipDesign
  -> integrates -> SafetySystem

SAFETY_REQUIREMENT
  -> verified_by -> SAFETY_ANALYSIS

# ---------- PERFORMANCE ----------
SHIP_PERFORMANCE :=
  SPEED
  + RANGE
  + ENDURANCE
  + CAPACITY
  + FUEL_OR_ENERGY_EFFICIENCY
  + STABILITY
  + SEAKEEPING
  + MANOEUVRABILITY
  + RELIABILITY
  + SAFETY

Performance
  -> evaluates -> ShipDesign

# ---------- DESIGN TRADEOFFS ----------
DESIGN_TRADEOFF :=
  SPEED
  <-> POWER
  <-> FUEL_CAPACITY
  <-> PAYLOAD
  <-> DISPLACEMENT
  <-> COST
  <-> STABILITY

DESIGN_CHANGE
  -> propagates_to -> RELATED_DESIGN_VARIABLES

# ---------- DESIGN SPIRAL ----------
DESIGN_SPIRAL :=
  MISSION
  -> REQUIREMENTS
  -> DIMENSIONS
  -> HULL_FORM
  -> WEIGHT
  -> ARRANGEMENT
  -> RESISTANCE
  -> PROPULSION
  -> STABILITY
  -> STRUCTURES
  -> SYSTEMS
  -> COST
  -> PERFORMANCE
  -> ITERATE

DesignIteration
  -> updates -> DesignBaseline

DesignBaseline
  -> records -> CURRENT_ACCEPTED_DESIGN_STATE

# ---------- DESIGN REASONING ----------
SHIP_DESIGN_REASONING :=
  DEFINE_MISSION
  -> CAPTURE_REQUIREMENTS
  -> DEFINE_CONSTRAINTS
  -> ESTIMATE_PRINCIPAL_DIMENSIONS
  -> DEFINE_HULL_FORM
  -> ESTIMATE_WEIGHT
  -> CALCULATE_DISPLACEMENT
  -> DEFINE_GENERAL_ARRANGEMENT
  -> CALCULATE_RESISTANCE
  -> SIZE_PROPULSION
  -> SIZE_ENERGY_AND_FUEL
  -> DESIGN_ELECTRICAL_SYSTEM
  -> INTEGRATE_AUXILIARIES
  -> VERIFY_STABILITY
  -> VERIFY_STRUCTURE
  -> VERIFY_SAFETY
  -> ASSESS_PERFORMANCE
  -> ITERATE
  -> FREEZE_BASELINE

# ---------- INFERENCE RULES ----------
IF Payload increases
THEN Deadweight -> INCREASES

IF Deadweight increases
AND hull_form constant
THEN Draft -> GENERALLY_INCREASES

IF RequiredSpeed increases
THEN RequiredPropulsionPower -> GENERALLY_INCREASES

IF RequiredRange increases
THEN FuelOrEnergyCapacity -> INCREASES

IF CentreOfGravity rises
THEN StabilityMargin -> MAY_DECREASE

IF PrincipalDimensions change
THEN HydrostaticsAndResistance -> RECOMPUTE

IF GeneralArrangement changes
THEN WeightDistribution -> RECOMPUTE

IF Requirement not_satisfied
THEN DesignIteration -> REQUIRED

# ---------- SEMANTIC RELATIONSHIPS ----------
RELATION defines(DesignMission, ShipDesign)
RELATION constrains(DesignRequirement, ShipDesign)
RELATION characterises(PrincipalDimensions, Ship)
RELATION determines(ComponentWeights, Displacement)
RELATION determines(WeightDistribution, CentreOfGravity)
RELATION influences(HullForm, Resistance)
RELATION influences(HullForm, Stability)
RELATION allocates(GeneralArrangement, Compartment)
RELATION sizes(PropulsionRequirement, PropulsionSystem)
RELATION integrates(ShipDesign, ElectricalSystem)
RELATION integrates(ShipDesign, AuxiliarySystem)
RELATION verifies(ShipDesign, Stability)
RELATION verifies(ShipDesign, StructuralSystem)
RELATION protects(SafetySystem, Ship)
RELATION updates(DesignIteration, DesignBaseline)

# ---------- SEMANTIC EQUIVALENCE ----------
SEMANTIC_EQUIVALENCE:
  "ship design" ~= "vessel design"
  "design mission" ~= "vessel mission"
  "principal dimensions" ~= "main ship dimensions"
  "general arrangement" ~= "GA"
  "lightweight" ~= "lightship weight"
  "deadweight" ~= "DWT"
  "design displacement" ~= "ship design displacement"
  "propulsion power" ~= "required propulsive power"
  "design spiral" ~= "ship design spiral"
  "design baseline" ~= "accepted design configuration"

# ---------- CONFIDENCE ----------
CONFIDENCE:
  ontology_domain: 0.99
  mission_requirement_mapping: 0.99
  dimension_mapping: 0.99
  weight_mapping: 0.99
  hull_mapping: 0.99
  arrangement_mapping: 0.99
  propulsion_mapping: 0.99
  stability_mapping: 0.99
  structural_mapping: 0.99
  semantic_relationships: 0.99

# ---------- UPDATE MODEL ----------
UPDATE_MODEL:
  ON new_ship_design:
    MAP mission
    MAP requirements
    MAP constraints
    MAP dimensions
    MAP hull_form
    MAP weight
    MAP arrangement
    UPDATE confidence
    RECOMPUTE FLOW_HASH

  ON design_change:
    UPDATE affected_design_variable
    PROPAGATE dependencies
    RECOMPUTE weight
    RECOMPUTE hydrostatics
    REASSESS stability
    REASSESS performance

  ON requirement_change:
    UPDATE requirement_set
    TRACE affected_features
    INITIATE DesignIteration

  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_SHIP_DESIGN_ONTOLOGY
  reasoning_mode: MULTIDISCIPLINARY_DESIGN_RELATIONAL

  preserve:
    - typed_entities
    - requirement_traceability
    - geometric_relations
    - weight_relations
    - design_constraints
    - system_interfaces
    - confidence
    - provenance

  infer:
    - dimension_dependencies
    - weight_displacement_dependencies
    - propulsion_power_dependencies
    - stability_dependencies
    - arrangement_dependencies
    - requirement_impacts
    - design_iteration_requirements

  prohibit:
    - invented_design_dimensions
    - assumed_requirement_compliance
    - assumed_stability
    - unsupported_weight_values
    - ignored_constraints
    - unsupported_design_validation

# ---------- FLOW HASH ----------
FLOW_HASH_INPUT :=
  DOMAIN + ONTOLOGY + CORE_ENTITIES + DESIGN_MISSION
  + REQUIREMENTS + CONSTRAINTS + PRINCIPAL_DIMENSIONS
  + DISPLACEMENT + WEIGHT_CENTRES + HULL_FORM + FREEBOARD
  + CAPACITY + GENERAL_ARRANGEMENT + PROPULSION_DESIGN
  + RANGE_ENDURANCE + ELECTRICAL_DESIGN + AUXILIARY_SYSTEMS
  + STABILITY + STRUCTURAL_DESIGN + SUBDIVISION_DAMAGE
  + SAFETY + PERFORMANCE + DESIGN_TRADEOFFS + DESIGN_SPIRAL
  + DESIGN_REASONING + INFERENCE_RULES + SEMANTIC_RELATIONSHIPS
  + SEMANTIC_EQUIVALENCE + CONFIDENCE + UPDATE_MODEL
  + AI_CONSUMPTION

FLOW_HASH := HASH(FLOW_HASH_INPUT)

END FLOW