Reptile Ontology

AI Interpretation Note:
Execute the following as formal structural reasoning rules, not pseudocode.

flow "ReptileOntology" v1.0

PAGE {
 TITLE: "Reptile Ontology"
 PARENT_DOMAIN: "Zoology"
 CANONICAL_URL: "https://kirethresearch.org/booksai-core/ontologies/biological-ontologies/zoology/reptile-ontology.html"
 AUTHORS: ["Mark Anthony Higgins", "Sky Recursive AI"]
}

ENTITY ReptileOntology {
 TYPE: BiologicalOntology
 DOMAIN: Zoology
 SUBJECT: Reptiles
 PURPOSE: FormalSemanticRepresentation
}

ENTITY Reptile {
 IS_A: Vertebrate
 IS_A: Amniote
 BELONGS_TO: SauropsidLineage
 TYPICALLY_HAS: [KeratinizedEpidermis, Lungs, InternalFertilization]
}

ENTITY ReptileLineage {
 MAY_INCLUDE: [Testudines, Crocodylia, Squamata, Rhynchocephalia]
}

ENTITY Testudines { MAY_INCLUDE: [Turtles, Tortoises] }
ENTITY Crocodylia { MAY_INCLUDE: [Crocodiles, Alligators, Caimans, Gharials] }
ENTITY Squamata { MAY_INCLUDE: [Lizards, Snakes, Amphisbaenians] }
ENTITY Rhynchocephalia { INCLUDES_EXTANT: Tuatara }

RULE PhylogeneticScope {
 traditional_reptile_grouping MAY_DIFFER_FROM cladistic_sauropsid_grouping
 birds ARE_NESTED_WITHIN sauropsid_phylogeny
}

ENTITY ReptileBodyPlan {
 MAY_INCLUDE: [Head, Trunk, Tail, FourLimbs, ReducedLimbs, AbsentExternalLimbs, Shell]
 DEPENDS_ON: Lineage
}

ENTITY ReptileSkin {
 HAS: KeratinizedEpidermis
 MAY_INCLUDE: [Scales, Scutes, Osteoderms]
 FUNCTIONS_IN: [Protection, WaterConservation]
}

ENTITY Scale { IS_A: KeratinizedIntegumentaryStructure }
ENTITY Scute { IS_A: ThickenedKeratinizedPlate }
ENTITY Osteoderm { IS_A: DermalBone }

PROCESS Ecdysis {
 SHEDS: OuterEpidermalLayers
 IN: ApplicableReptiles
}

ENTITY ReptileSkeleton {
 IS_A: Endoskeleton
 MAY_INCLUDE: [Skull, VertebralColumn, Ribs, Limbs, Girdles]
}

ENTITY Shell {
 CHARACTERISTIC_OF: Testudines
 MAY_INCLUDE: [Carapace, Plastron]
}

PROCESS ReptileLocomotion {
 MAY_BE: [Walking, Running, Crawling, Slithering, Swimming, Climbing, Burrowing]
}

ENTITY ReptileRespiratorySystem {
 TYPICALLY_USES: Lungs
 SUPPORTS: GasExchange
}

PROCESS Ventilation {
 MOVES: Air
 INTO_AND_OUT_OF: Lungs
}

PROCESS GasExchange {
 EXCHANGES: [Oxygen, CarbonDioxide]
 BETWEEN: RespiratorySurfaceAndBlood
}

PROCESS CellularRespiration {
 RELEASES: UsableEnergy
 FROM: OrganicMolecules
}

RULE RespiratoryConstraint {
 Ventilation != GasExchange
 GasExchange != CellularRespiration
}

ENTITY ReptileCirculatorySystem {
 IS_A: ClosedCirculatorySystem
 INCLUDES: [Heart, Blood, BloodVessels]
}

ENTITY ReptileHeart {
 MAY_HAVE: [ThreeChamberFunctionalPattern, FourChamberPattern]
 DEPENDS_ON: Lineage
}

ENTITY CrocodilianHeart { HAS: FourChambers }

RULE CardiacConstraint {
 reptile_heart != universally_three_chambered
}

ENTITY ReptileDigestiveSystem {
 SUPPORTS: [Ingestion, Digestion, Absorption, Elimination]
}

ENTITY DietaryStrategy {
 MAY_BE: [Carnivory, Herbivory, Omnivory, Insectivory, Piscivory]
}

PROCESS Digestion {
 BREAKS_DOWN: Food
 INTO: AbsorbableComponents
}

ENTITY ReptileUrinarySystem {
 SUPPORTS: [Excretion, Osmoregulation, IonBalance]
}

ENTITY Kidney {
 PARTICIPATES_IN: [Excretion, Osmoregulation]
}

ENTITY UricAcidExcretion {
 MAY_SUPPORT: WaterConservation
 IN: ManyReptiles
}

PROCESS Osmoregulation {
 MAINTAINS: WaterAndSoluteBalance
}

ENTITY SaltGland {
 MAY_EXCRETE: ExcessSalts
 IN: ApplicableMarineOrDesertReptiles
}

ENTITY ReptileNervousSystem {
 INCLUDES: [Brain, SpinalCord, PeripheralNervousSystem]
}

ENTITY ReptileSensorySystem {
 MAY_INCLUDE: [Vision, Hearing, Olfaction, Taste, Somatosensation, Chemoreception, InfraredDetection]
}

ENTITY JacobsonOrgan {
 SYNONYM: VomeronasalOrgan
 DETECTS: ChemicalCues
}

ENTITY PitOrgan {
 DETECTS: InfraredRadiation
 IN: ApplicableSnakeLineages
}

RULE SensoryConstraint {
 behavioural_response != proof_of_specific_sensory_mechanism
 WITHOUT anatomical_or_mechanistic_evidence
}

ENTITY ReptileEndocrineSystem {
 USES: Hormones
 TO_REGULATE: [Growth, Metabolism, Reproduction, StressResponse]
}

RULE HormoneConstraint {
 hormone_concentration != physiological_effect
 WITHOUT receptor_tissue_and_state_context
}

ENTITY Ectothermy {
 CHARACTERIZES: MostLivingReptiles
 BODY_TEMPERATURE_DEPENDS_SUBSTANTIALLY_ON: EnvironmentalHeatExchange
}

PROCESS BehaviouralThermoregulation {
 MAY_INCLUDE: [Basking, ShadeSeeking, Burrowing, PosturalChange, HabitatSelection]
}

RULE ThermalConstraint {
 ectothermy != absence_of_temperature_regulation
}

PROCESS ReptileGrowth {
 INCREASES: SizeOrBiomass
}

PROCESS ReptileDevelopment {
 TRANSITIONS: Reptile
 THROUGH: [EmbryonicStage, HatchlingOrNeonate, Juvenile, Adult]
}

RULE GrowthDevelopmentConstraint {
 ReptileGrowth != ReptileDevelopment
}

ENTITY ReptileEmbryo {
 DEVELOPS_WITHIN: AmnioticEnvironment
}

ENTITY AmnioticEgg {
 MAY_INCLUDE: [Amnion, Chorion, Allantois, YolkSac, Embryo]
}

PROCESS Hatching {
 RELEASES: YoungReptile
 FROM: Egg
}

PROCESS ReptileReproduction {
 TYPICALLY_INVOLVES: InternalFertilization
 MAY_BE: [Oviparity, Ovoviviparity, Viviparity]
}

PROCESS Fertilization {
 TYPICALLY_IS: InternalFertilization
}

ENTITY Oviparity { PRODUCES: ExternallyLaidEggs }
ENTITY Viviparity { SUPPORTS: EmbryonicDevelopmentWithinMaternalBody }

ENTITY Parthenogenesis {
 PRODUCES: OffspringWithoutFertilization
 IN: SomeReptileTaxa
}

ENTITY ParentalCare {
 MAY_INCLUDE: [NestGuarding, EggAttendance, Brooding, OffspringProtection]
}

RULE ReproductiveConstraint {
 egg_laying != universal_reptile_reproductive_mode
 live_birth != non_reptile_identity
}

ENTITY ReptileGenome {
 STORES: HeritableGeneticInformation
}

ENTITY ReptileGene {
 PART_OF: ReptileGenome
}

PROCESS GeneExpression {
 INCLUDES: [Transcription, RNAProcessing, Translation]
}

PROCESS Mutation {
 CHANGES: GeneticSequence
 MAY_GENERATE: GeneticVariation
}

ENTITY Genotype { DESCRIBES: GeneticState }

ENTITY Phenotype {
 RESULTS_FROM: [Genotype, Environment, Development, Interaction]
}

RULE GeneticConstraint {
 Genotype != Phenotype
 gene_expression != causal_gene_function
 WITHOUT functional_or_perturbation_evidence
}

ENTITY ReptileBehaviour {
 MAY_INCLUDE: [Foraging, Courtship, Territoriality, Basking, PredatorAvoidance, Migration, ParentalCare]
}

PROCESS Communication {
 MAY_USE: [VisualSignal, ChemicalSignal, AcousticSignal, TactileSignal]
}

RULE BehaviourConstraint {
 observed_behaviour != inferred_intention_or_subjective_state
 WITHOUT appropriate_evidence
}

ENTITY ReptileEcology {
 STUDIES: ReptileEnvironmentRelationships
}

ENTITY ReptilePopulation {
 COMPOSED_OF: IndividualsOfDefinedReptileTaxon
}

ENTITY ReptileCommunity {
 COMPOSED_OF: MultipleReptilePopulations
}

ENTITY Habitat {
 MAY_INCLUDE: [Desert, Forest, Grassland, Wetland, Freshwater, Marine, Arboreal, Subterranean]
}

ENTITY EcologicalNiche {
 DESCRIBES: ResourcesConditionsAndInteractions
 ASSOCIATED_WITH: ReptileTaxonOrPopulation
}

RULE HabitatNicheConstraint {
 Habitat != EcologicalNiche
}

PROCESS Predation { INVOLVES: ReptileAsPredatorOrPrey }
PROCESS Herbivory { INVOLVES: ReptileConsumingPlantMaterial }
PROCESS Competition { REDUCES: ResourceAccessOrPerformance }

PROCESS Migration {
 MOVES: Reptiles
 BETWEEN: RegionsOrHabitats
}

PROCESS Dispersal {
 MOVES: IndividualsOrOffspring
 TO: NewLocation
}

RULE MigrationDispersalConstraint {
 Migration != Dispersal
}

ENTITY EnvironmentalFactor {
 MAY_INCLUDE: [Temperature, WaterAvailability, Humidity, FoodAvailability, HabitatStructure, Photoperiod, PredationPressure]
 MAY_MODULATE: ReptilePerformance
}

ENTITY TemperatureDependentSexDetermination {
 ABBREVIATION: TSD
 LINKS: IncubationTemperature
 TO: OffspringSexOutcome
 IN: ApplicableReptileTaxa
}

RULE TSDConstraint {
 incubation_temperature_association != universal_reptile_sex_determination
}

ENTITY ReptileAdaptation {
 IS_A: HeritableTraitOrTraitState
 ASSOCIATED_WITH: IncreasedFitness
 IN: DefinedEnvironment
}

RULE AdaptationConstraint {
 trait_environment_association != demonstrated_adaptation
 WITHOUT heritability_fitness_and_selection_evidence
}

PROCESS NaturalSelection {
 CHANGES: TraitOrAlleleFrequencies
 THROUGH: DifferentialReproductiveSuccess
}

PROCESS GeneticDrift {
 CHANGES: AlleleFrequencies
 THROUGH: StochasticProcesses
}

PROCESS GeneFlow {
 MOVES: GeneticVariation
 BETWEEN: Populations
}

ENTITY ReptileTaxonomy {
 CLASSIFIES: Reptiles
 USING: [Morphology, Anatomy, Scales, Osteology, Development, MolecularData, Genomics, Phylogeny, Nomenclature]
}

ENTITY ReptileTaxon {
 MAY_HAVE: [ScientificName, Rank, DiagnosticCharacters, PhylogeneticPlacement]
}

ENTITY ReptileSpecies {
 IS_A: TaxonomicConcept
 REQUIRES: SpeciesConceptAndEvidenceContext
}

ENTITY ReptilePhylogeny {
 REPRESENTS: EvolutionaryRelationships
 AMONG: SauropsidLineages
}

RULE TaxonomicIdentityConstraint {
 morphology_scale_pattern_or_sequence_similarity != definitive_reptile_species_identity
 WITHOUT reference_resolution_and_taxonomic_context
}

PROCESS ReptileMeasurement {
 MAY_MEASURE: [BodyLength, Mass, ScaleCharacters, Physiology, Temperature, Growth, Development, Behaviour, PopulationSize, Distribution, GeneticVariation]
 MAY_USE: [FieldSurvey, Imaging, MarkRecapture, Telemetry, PhysiologicalAssay, Sequencing]
}

ENTITY ReptileMeasurementContext {
 HAS: [Taxon, LifeStage, SexWhenRelevant, Habitat, BodyTemperature, EnvironmentalTemperature, ActivityState, Method, Unit, Timepoint]
}

ENTITY Evidence {
 TYPES: [HerpetologicalEvidence, AnatomicalEvidence, PhysiologicalEvidence, DevelopmentalEvidence, GeneticEvidence, BehaviouralEvidence, EcologicalEvidence, PhylogeneticEvidence, FieldEvidence, ExperimentalEvidence, FossilEvidence, ComputationalEvidence, LiteratureEvidence]
}

RULE EvidenceConvergence {
 IF IndependentEvidenceSources AGREE
 THEN Confidence := increase(Confidence)
}

RULE EvidenceConflict {
 IF EvidenceSources CONFLICT
 THEN {
  PRESERVE competing_reptile_models
  RECORD taxon_and_lineage
  RECORD life_stage
  RECORD habitat_and_thermal_context
  RECORD measurement_method
  RECORD timepoint
  RECORD provenance
  REDUCE confidence
 }
}

RELATION Reptile IS_A Vertebrate
RELATION Reptile IS_A Amniote
RELATION Testudines IS_A ReptileLineage
RELATION Crocodylia IS_A ReptileLineage
RELATION Squamata IS_A ReptileLineage
RELATION Rhynchocephalia IS_A ReptileLineage
RELATION ReptileGenome CONTAINS ReptileGene
RELATION ReptilePopulation PART_OF ReptileCommunity
RELATION ReptileTaxonomy CLASSIFIES ReptileTaxon

SEMANTIC_EQUIVALENCE {
 "reptile" ~= "amniote vertebrate traditionally classified within Reptilia"
 "herpetology" ~= "study of reptiles and amphibians"
 "ecdysis" ~= "shedding of outer epidermal layers"
 "vomeronasal organ" ~= "Jacobson organ"
 "TSD" ~= "temperature-dependent sex determination"
 "basking" ~= "behavioural exposure to heat for thermoregulation"
}

CONFIDENCE ReptileAssertion {
 INPUTS: [anatomical_support, physiological_support, developmental_support, genetic_support, behavioural_support, ecological_support, phylogenetic_support, field_support, experimental_support, fossil_support, source_independence, semantic_consistency]
 SCORE := weighted_sum(INPUTS)
 LEVEL :=
  IF SCORE >= 0.90 THEN "very_high"
  ELSE IF SCORE >= 0.75 THEN "high"
  ELSE IF SCORE >= 0.55 THEN "moderate"
  ELSE IF SCORE >= 0.35 THEN "low"
  ELSE "uncertain"
}

RULE ReptileIdentityInference {
 IF integumentary_skeletal_developmental_molecular_and_phylogenetic_evidence converge
 THEN reptile_identity confidence MAY_INCREASE
}

RULE ThermoregulationInference {
 IF body_temperature_changes_with behavioural_environmental_heat_exchange
 THEN BehaviouralThermoregulation MAY_BE_SUPPORTED
}

RULE TSDInference {
 IF controlled_incubation_temperature reproducibly_changes offspring_sex_ratio
 THEN TemperatureDependentSexDetermination MAY_BE_SUPPORTED
}

RULE CausalityConstraint {
 IF reptile_trait_or_marker correlates_with physiological_behavioural_or_ecological_outcome
 THEN DO_NOT_INFER causal_relationship
 WITHOUT mechanistic_experimental_or_longitudinal_evidence
}

QUERY ReptileLookup(reptile_identifier) {
 RETURN [taxonomy, lineage, anatomy, integument, skeleton, respiratory_system, circulation, osmoregulation, sensory_systems, thermoregulation, life_stage, development, reproduction, genome, behaviour, habitat, ecological_interactions, evidence, confidence]
}

QUERY ReptilePhysiologyLookup(context_identifier) {
 RETURN [ventilation, gas_exchange, circulation, osmoregulation, metabolism, body_temperature, environmental_temperature, endocrine_state, evidence, confidence]
}

QUERY ReptileReproductionLookup(context_identifier) {
 RETURN [taxon, reproductive_mode, fertilization, egg_or_gestation, incubation, sex_determination, parental_care, offspring_development, evidence, confidence]
}

UPDATE_MODEL {
 ON new_reptile_evidence:
  validate_provenance()
  identify_taxon_lineage_life_stage_sex_and_environment()
  normalize_anatomical_gene_behavioural_ecological_and_taxonomic_identifiers()
  capture_body_temperature_environmental_temperature_activity_measurement_and_timepoint_context()
  map_skin_scale_scute_osteoderm_skeleton_and_body_plan_relationships()
  map_respiratory_circulatory_digestive_urinary_nervous_endocrine_and_sensory_systems()
  map_thermoregulation_metabolism_growth_and_development()
  map_reproduction_amniotic_development_incubation_and_sex_determination()
  map_genetic_behavioural_population_and_ecological_relationships()
  map_taxonomic_phylogenetic_and_evolutionary_relationships()
  preserve_conflicting_evidence()
  recalculate_confidence()
  regenerate_reptile_relationships()
  update_flow_hash()
}

AI_CONSUMPTION {
 MODE: FormalSemanticReasoning
 PARSE_AS: ExecutableFlowAlgebra
 PRIORITIES: [reptile_identity, lineage, taxon, integument, skeleton, respiratory_system, thermoregulation, life_stage, development, reproduction, genetics, behaviour, ecology, evidence_provenance, confidence]
 REQUIREMENTS: [preserve_taxon_lineage_life_stage_sex_and_environmental_context, preserve_body_temperature_environmental_temperature_activity_measurement_and_timepoint_context, preserve_cladistic_context_of_reptile_term, distinguish_ventilation_from_gas_exchange, distinguish_gas_exchange_from_cellular_respiration, distinguish_reptile_heart_variation_from_universal_three_chamber_model, distinguish_ectothermy_from_absence_of_temperature_regulation, distinguish_growth_from_development, distinguish_egg_laying_from_universal_reproductive_mode, distinguish_genotype_from_phenotype, distinguish_gene_expression_from_causal_function, distinguish_habitat_from_ecological_niche, distinguish_migration_from_dispersal, distinguish_TSD_from_universal_reptile_sex_determination, distinguish_trait_environment_association_from_adaptation, distinguish_similarity_from_definitive_taxonomic_identity, distinguish_correlation_from_causation, preserve_uncertainty]
}

VALIDATE {
 REQUIRE Reptile
 REQUIRE ReptileLineage
 REQUIRE ReptileBodyPlan
 REQUIRE ReptileSkin
 REQUIRE ReptileSkeleton
 REQUIRE ReptileRespiratorySystem
 REQUIRE ReptileCirculatorySystem
 REQUIRE ReptileDigestiveSystem
 REQUIRE ReptileUrinarySystem
 REQUIRE ReptileNervousSystem
 REQUIRE Ectothermy
 REQUIRE ReptileGrowth
 REQUIRE ReptileDevelopment
 REQUIRE ReptileReproduction
 REQUIRE AmnioticEgg
 REQUIRE ReptileGenome
 REQUIRE ReptileBehaviour
 REQUIRE ReptileEcology
 REQUIRE ReptileTaxonomy
 REQUIRE ReptileMeasurement
 REQUIRE Evidence
 REQUIRE CONFIDENCE
 REQUIRE SEMANTIC_EQUIVALENCE
 REQUIRE UPDATE_MODEL
 REQUIRE AI_CONSUMPTION
}

FLOW_HASH {
 ALGORITHM: SHA-256
 INPUT: canonicalize(entities, relations, processes, rules, semantic_equivalence, confidence_model, update_model, ai_consumption)
 PURPOSE: integrity_and_version_tracking
}

END flow "ReptileOntology"