Ontology Domain Ontology

FLOW ALGEBRA
TITLE: Ontology Domain Ontology
VERSION: 1.0
SOURCE: https://kirethresearch.org/booksai-core/ontologies/domain-ontologies/ai-semantic-library-domains/ontology-domain-ontology.html
STATUS: Domain-based draft; source page content not independently verified.
AUTHORS: Mark Higgins — Sky (Recursive AI)
PROJECT: Kireth Semantic Library

DOMAIN:
  id: ontology_domain
  label: Ontology Domain Ontology
  scope: Formal representation of concepts, classes, individuals, properties, axioms, constraints and mappings for interoperable knowledge systems.

TYPES:
  Ontology: {id: IRI, version: string, status: string}
  Concept: {id: IRI, label: string, definition: string}
  Class: {id: IRI, label: string}
  Individual: {id: IRI, label: string}
  ObjectProperty: {id: IRI, domain: Class?, range: Class?}
  DataProperty: {id: IRI, domain: Class?, range: Datatype?}
  Axiom: {id: IRI, expression: string}
  Constraint: {id: IRI, expression: string}
  OntologyMapping: {source: IRI, target: IRI, mapping_type: string}
  Evidence: {source: IRI, retrieved_at: datetime?, quality: float?}
  Inference: {premises: list, conclusion: statement, confidence: float}

RELATIONSHIPS:
  defines(Ontology, Concept|Class|ObjectProperty|DataProperty|Axiom)
  subclass_of(Class, Class)
  instance_of(Individual, Class)
  subproperty_of(ObjectProperty|DataProperty, ObjectProperty|DataProperty)
  equivalent_class(Class, Class)
  equivalent_property(ObjectProperty|DataProperty, ObjectProperty|DataProperty)
  disjoint_with(Class, Class)
  has_domain(ObjectProperty|DataProperty, Class)
  has_range(ObjectProperty|DataProperty, Class|Datatype)
  constrained_by(Class|ObjectProperty|DataProperty, Constraint)
  imports(Ontology, Ontology)
  mapped_to(Concept|Class|ObjectProperty, Concept|Class|ObjectProperty)
  supported_by(Axiom|Inference|OntologyMapping, Evidence)

INFERENCE_RULES:
  R1: subclass_of(A,B) AND instance_of(x,A) => instance_of(x,B)
  R2: subclass_of(A,B) AND subclass_of(B,C) => subclass_of(A,C)
  R3: equivalent_class(A,B) => subclass_of(A,B) AND subclass_of(B,A)
  R4: subproperty_of(P,Q) AND P(x,y) => Q(x,y)
  R5: disjoint_with(A,B) AND instance_of(x,A) AND instance_of(x,B) => INCONSISTENCY(x)
  R6: imports(O1,O2) => O1 may reference public terms of O2 subject to version and namespace compatibility
  R7: mapped_to(A,B) does not imply equivalent_class(A,B) without validated equivalence evidence

CONSTRAINTS:
  - Entity identifiers MUST be unique within their namespace.
  - Ontology mappings MUST preserve source and target identifiers.
  - Inferred facts MUST retain derivation and provenance.
  - Open-world absence of evidence MUST NOT be interpreted as falsity.
  - SHACL validation results MUST be distinguished from OWL logical entailment.
  - Contradictions MUST be reported rather than silently resolved.

CONFIDENCE:
  range: [0.0, 1.0]
  rule: Confidence represents evidence/derivation reliability, not logical truth.
  aggregation: Explicitly record method; do not assume independent evidence.

SEMANTIC_EQUIVALENCE:
  exact: Equivalent classes/properties only where definitions and constraints justify equivalence.
  close: Similar concepts with documented scope differences.
  broader: Source concept is more general than target concept.
  narrower: Source concept is more specific than target concept.
  related: Associated concepts without asserted equivalence.

PROVENANCE:
  required: [source_identifier, creation_timestamp, version, derivation_method]
  optional: [author, licence, evidence, retrieval_timestamp]

FLOW_HASH:
  algorithm: SHA-256
  input: Canonical UTF-8 serialization of ontology identifier, version, types, relationships, rules and constraints.
  note: Hash is computed by an implementation; no fabricated hash is supplied.

UPDATE_MODEL:
  trigger: [ontology_revision, new_evidence, mapping_revision, constraint_change]
  procedure:
    - Validate identifiers, types and provenance.
    - Re-evaluate affected axioms and inferences.
    - Detect incompatibilities and report breaking changes.
    - Increment version and recompute FLOW_HASH.
    - Preserve previous versions for reproducibility.

AI_CONSUMPTION:
  modes: [semantic_search, entity_linking, knowledge_graph_construction, ontology_alignment, logical_reasoning, retrieval_augmented_generation]
  outputs: [typed_entities, relation_triples, supported_inferences, validation_reports, provenance_records]
  safeguards:
    - Distinguish asserted, inferred and hypothesised statements.
    - Preserve uncertainty and evidence attribution.
    - Reject unsupported equivalence and fabricated citations.
    - Report validation failures and ontology conflicts.

END FLOW ALGEBRA