Teaching Domain Ontology

FLOW ALGEBRA
TITLE: Teaching Domain Ontology
VERSION: 1.0
SOURCE_URL: https://kirethresearch.org/booksai-core/ontologies/domain-ontologies/education-domains/teaching-domain-ontology.html
DOMAIN: Education > Teaching
STATUS: Domain-based draft; source webpage content not independently verified
AUTHORS: Mark Higgins — Sky (Recursive AI)

flow "TeachingDomainOntology" v1.0

ONTOLOGY:
  id: teaching_domain_ontology
  label: Teaching Domain Ontology
  purpose: Represent instructional activities, actors, objectives, resources, assessments and evidence-based teaching decisions.

TYPED_ENTITIES:
  Teacher: {id: str, role: str, expertise: list[str]}
  Learner: {id: str, learning_needs: list[str], prior_knowledge: list[str]}
  LearningGroup: {id: str, members: list[str]}
  Course: {id: str, title: str, objectives: list[str]}
  Lesson: {id: str, course_id: str, duration_minutes: int}
  LearningObjective: {id: str, description: str, cognitive_level: str}
  Competency: {id: str, description: str, proficiency_level: str}
  TeachingStrategy: {id: str, name: str, context: str}
  InstructionalActivity: {id: str, strategy_id: str, objective_ids: list[str]}
  LearningResource: {id: str, resource_type: str, accessibility_features: list[str]}
  Assessment: {id: str, assessment_type: str, objective_ids: list[str]}
  AssessmentEvidence: {id: str, learner_id: str, assessment_id: str, result: str}
  Feedback: {id: str, evidence_id: str, guidance: str}
  TeachingContext: {id: str, delivery_mode: str, constraints: list[str]}
  Curriculum: {id: str, subject: str, objective_ids: list[str]}

RELATIONSHIPS:
  teaches(Teacher, Course)
  participates_in(Learner, Course)
  belongs_to(Learner, LearningGroup)
  contains_lesson(Course, Lesson)
  targets_objective(Lesson, LearningObjective)
  develops_competency(LearningObjective, Competency)
  applies_strategy(Lesson, TeachingStrategy)
  implements_strategy(InstructionalActivity, TeachingStrategy)
  supports_objective(InstructionalActivity, LearningObjective)
  uses_resource(InstructionalActivity, LearningResource)
  evaluates_objective(Assessment, LearningObjective)
  produces_evidence(Assessment, AssessmentEvidence)
  demonstrates_progress(AssessmentEvidence, Learner)
  responds_to(Feedback, AssessmentEvidence)
  delivered_in(Lesson, TeachingContext)
  aligned_with(LearningObjective, Curriculum)

INFERENCE_RULES:
  R1_ALIGNMENT:
    IF targets_objective(lesson, objective) AND evaluates_objective(assessment, objective)
    THEN assessment_is_aligned_with_lesson(assessment, lesson)
  R2_INSTRUCTIONAL_COVERAGE:
    IF targets_objective(lesson, objective) AND supports_objective(activity, objective)
    THEN activity_contributes_to_lesson(activity, lesson)
  R3_FEEDBACK_LOOP:
    IF produces_evidence(assessment, evidence) AND responds_to(feedback, evidence)
    THEN feedback_is_evidence_linked(feedback, assessment)
  R4_SUPPORT_REVIEW:
    IF evidence_indicates_gap(evidence, objective)
    THEN recommend_review(objective, evidence)
    NOTE: Recommendation is provisional, not a diagnosis of learner ability.
  R5_ACCESSIBILITY_CHECK:
    IF uses_resource(activity, resource) AND resource_lacks_required_accessibility(resource, context)
    THEN flag_accessibility_review(activity, resource)

CONSTRAINTS:
  - Do not infer learner intelligence, disability or protected characteristics from attainment data.
  - Distinguish observed assessment evidence from interpretations and recommendations.
  - Respect curriculum, learner context, accessibility and data protection requirements.
  - Do not assert that one teaching strategy is universally effective.
  - Preserve provenance, temporal context and uncertainty for evidence claims.

CONFIDENCE:
  range: [0.0, 1.0]
  fields: [score, evidence_basis, uncertainty, validation_status]
  rule: Confidence is evidence-calibrated; absent evidence must not be assigned a fabricated score.

SEMANTIC_EQUIVALENCE:
  exact: ["instructional objective = learning objective (only when defined identically)"]
  related_not_identical: ["teaching strategy ~ instructional method", "assessment ~ evaluation", "competency ~ learning outcome"]
  rule: Require matching context and definitions before asserting equivalence.

PROVENANCE:
  fields: [source_url, source_type, author, recorded_at, version, evidence_reference]
  source_url: https://kirethresearch.org/booksai-core/ontologies/domain-ontologies/education-domains/teaching-domain-ontology.html
  verification: Domain-derived draft; page text not verified.

FLOW_HASH:
  algorithm: SHA-256
  input: canonical_serialisation(ONTOLOGY, TYPED_ENTITIES, RELATIONSHIPS, INFERENCE_RULES, CONSTRAINTS)
  output: calculate_at_publication
  note: No hash is claimed until canonical content is hashed.

UPDATE_MODEL:
  strategy: versioned_incremental_update
  steps: [validate_source, compare_entities, compare_relationships, validate_rules, record_provenance, recalculate_hash, publish_version]
  compatibility: Preserve stable IDs; record breaking schema changes.

AI_CONSUMPTION:
  format: UTF-8 text
  uses: [semantic_retrieval, knowledge_graph_mapping, curriculum_alignment, instructional_planning_support, explainable_reasoning]
  safeguards: [source_attribution, uncertainty_reporting, human_review, privacy_protection]

END FLOW ALGEBRA