Regulation Domain Ontology

FLOW ALGEBRA
Regulation Domain Ontology — Kireth Semantic Library
Version: 1.0
Source: https://kirethresearch.org/booksai-core/ontologies/domain-ontologies/legal-government-domains/regulation-domain-ontology.html
Status: Domain-based draft; source page not independently verified.
Authors: Mark Higgins — Sky (Recursive AI)

flow "RegulationDomainOntology" v1.0

DOMAIN:
  id: regulation_domain_ontology
  parent: legal_government_domains
  purpose: Model regulatory authorities, instruments, regulated activities, obligations, compliance evidence, enforcement and review.
  jurisdiction_sensitive: true
  temporal_validity_required: true

TYPES:
  Jurisdiction: {id:str, name:str, legal_system:str?}
  RegulatoryAuthority: {id:str, name:str, jurisdiction:Jurisdiction, mandate:str}
  Regulation: {id:str, title:str, jurisdiction:Jurisdiction, effective_from:date?, effective_to:date?, status:enum[draft,active,amended,repealed,expired]}
  LegalProvision: {id:str, regulation_id:str, text_ref:str, provision_type:enum[obligation,prohibition,permission,exemption,definition]}
  RegulatedEntity: {id:str, entity_type:str, jurisdiction:Jurisdiction?}
  RegulatedActivity: {id:str, description:str, sector:str?}
  Licence: {id:str, holder_id:str, issuer_id:str, valid_from:date?, valid_to:date?, status:str}
  ComplianceRequirement: {id:str, provision_id:str, subject_scope:str, condition:str, deadline:date?}
  ComplianceEvidence: {id:str, requirement_id:str, evidence_type:str, recorded_at:datetime, provenance:str}
  Inspection: {id:str, authority_id:str, entity_id:str, inspected_at:datetime, findings:str?}
  Violation: {id:str, provision_id:str, entity_id:str, observed_at:datetime, determination_status:str}
  EnforcementAction: {id:str, authority_id:str, entity_id:str, action_type:str, decision_date:date?, appeal_status:str?}
  Appeal: {id:str, decision_id:str, filed_at:date?, outcome:str?}

RELATIONSHIPS:
  ISSUED_BY(Regulation, RegulatoryAuthority)
  APPLIES_IN(Regulation, Jurisdiction)
  CONTAINS(Regulation, LegalProvision)
  REGULATES(Regulation, RegulatedActivity)
  SUBJECT_TO(RegulatedEntity, ComplianceRequirement)
  DERIVED_FROM(ComplianceRequirement, LegalProvision)
  EVIDENCED_BY(ComplianceRequirement, ComplianceEvidence)
  INSPECTED_BY(RegulatedEntity, RegulatoryAuthority)
  ALLEGED_BREACH_OF(Violation, LegalProvision)
  ENFORCED_BY(EnforcementAction, RegulatoryAuthority)
  CHALLENGED_BY(EnforcementAction, Appeal)
  SUPERSEDES(Regulation, Regulation)

INFERENCE_RULES:
  R1_APPLICABILITY:
    IF regulation.status == active AND jurisdiction_matches AND activity_in_scope AND temporal_window_matches
    THEN candidate_applicable_regulation = true
    NOTE: Exemptions, definitions, delegated powers and transitional rules must be evaluated before final applicability.
  R2_REQUIREMENT:
    IF applicable_regulation AND applicable_provision AND subject_scope_matches AND NOT valid_exemption
    THEN candidate_requirement = true
  R3_COMPLIANCE:
    IF candidate_requirement AND evidence_satisfies_all_conditions AND evidence_is_current
    THEN compliance_status = supported_compliant
    ELSE compliance_status = undetermined
  R4_VIOLATION:
    IF verified_noncompliance AND applicable_provision AND competent_authority_determination
    THEN violation_status = established
    ELSE violation_status = alleged_or_undetermined
  R5_ENFORCEMENT:
    IF established_violation AND authority_has_power AND procedural_requirements_met
    THEN enforcement_eligibility = candidate
    NOTE: Never infer that enforcement action has actually occurred without an authoritative record.
  R6_APPEAL:
    IF appeal_filed AND appeal_within_valid_procedure
    THEN review_status = pending_or_recorded_outcome

CONFIDENCE:
  value_range: [0.0,1.0]
  evidence_factors: [source_authority, legal_currency, jurisdiction_match, scope_match, provenance, evidential_completeness]
  rule: Confidence measures evidential support, not legal validity or probability of guilt.
  unknown_handling: abstain_and_flag_for_review

SEMANTIC_EQUIVALENCE:
  equivalent_terms:
    - [regulatory_body, regulatory_authority]
    - [compliance_requirement, regulatory_obligation]
  constraints:
    - Do not treat legislation, regulation, guidance and voluntary standards as interchangeable.
    - Do not equate an alleged breach with an established violation.
    - Preserve jurisdiction, effective dates, authority and scope.

PROVENANCE:
  required_fields: [source_uri, issuing_authority, retrieved_at, effective_date, version, jurisdiction]
  precedence: authoritative_primary_text_over_secondary_summary
  changes: preserve_prior_versions_and_amendment_history

FLOW_HASH:
  method: SHA-256
  input: canonical_serialisation(domain, version, types, relationships, rules, provenance)
  output: immutable_content_fingerprint

UPDATE_MODEL:
  triggers: [new_regulation, amendment, repeal, expiry, new_guidance, judicial_interpretation, licence_change]
  actions: [retrieve_primary_source, validate_jurisdiction, update_temporal_graph, recalculate_applicability, regenerate_flow_hash, record_change_log]
  preserve_history: true

AI_CONSUMPTION:
  output: [typed_entities, typed_relations, applicability_candidates, compliance_evidence_links, uncertainty_flags, provenance, flow_hash]
  guardrails:
    - Separate descriptive regulatory facts from legal conclusions.
    - Require current jurisdiction-specific primary sources for consequential decisions.
    - Flag conflicts, exemptions, missing evidence and ambiguous interpretations.
    - Do not autonomously determine liability, issue penalties or claim legal compliance.

END FLOW ALGEBRA