CREATE TABLE ontology_defects (

id UUID PRIMARY KEY,

kb_id UUID NOT NULL REFERENCES knowledge_bases(id) ON DELETE CASCADE,

-- symmetric_and_asymmetric 一个谓词同时声明了两者（只对空属性成立）

-- transitive_and_functional OWL 2 DL 明文禁止的组合

-- subclass_cycle A ⊂ B ⊂ A，建表的 CHECK 只挡得住自环

-- disjoint_with_ancestor 类与自己的祖先互斥 → 永远不可能有实例

-- inherits_disjoint 两个祖先互斥 → 同上

kind TEXT NOT NULL CHECK (kind IN (

'symmetric_and_asymmetric', 'transitive_and_functional',

'subclass_cycle', 'disjoint_with_ancestor', 'inherits_disjoint')),

-- **两列都是裸 UUID，没有外键。** 前两类指 relation_types，后三类指

-- entity_types——同一列指两张表，外键表达不了。而这是派生状态：本体一改

-- 就整批重算，指向已删对象的行在下一轮自然消失，不必靠级联兜底

subject UUID NOT NULL,

other UUID,

-- 环的路径（按类排列）。其余为空

path UUID[] NOT NULL DEFAULT '{}',

status TEXT NOT NULL DEFAULT 'open' CHECK (status IN ('open', 'resolved')),

-- fixed 去本体里改了（改声明、断开继承、撤掉 disjoint）

-- accepted 人看过，认为不必改

resolution TEXT CHECK (resolution IN ('fixed', 'accepted')),

decided_by UUID REFERENCES users(id),

decided_at TIMESTAMPTZ,

detected_at TIMESTAMPTZ NOT NULL DEFAULT now(),

UNIQUE (kb_id, kind, subject, other)

);

CREATE INDEX ontology_defects_open_idx ON ontology_defects (kb_id, detected_at DESC)

WHERE status = 'open';

CREATE TABLE rules (

id UUID PRIMARY KEY,

kb_id UUID NOT NULL REFERENCES knowledge_bases(id) ON DELETE CASCADE,

predicate_id UUID NOT NULL REFERENCES relation_types(id) ON DELETE CASCADE,

-- transitive | symmetric。`inverseOf` 与 `subPropertyOf` 投影侧还没落库，

-- 所以也就编不出来——少一条规则不是缺陷，是「没声明就不推」的同一条

kind TEXT NOT NULL CHECK (kind IN ('transitive', 'symmetric')),

created_at TIMESTAMPTZ NOT NULL DEFAULT now(),

UNIQUE (kb_id, predicate_id, kind)

);

CREATE TABLE derived_facts (

id UUID PRIMARY KEY,

kb_id UUID NOT NULL REFERENCES knowledge_bases(id) ON DELETE CASCADE,

subject_id UUID NOT NULL REFERENCES entities(id) ON DELETE CASCADE,

-- **非空**，与 `facts.predicate_id` 不同：规则是挂在谓词上的，没有谓词

-- 就没有规则，也就推不出这一行

predicate_id UUID NOT NULL REFERENCES relation_types(id) ON DELETE CASCADE,

-- 同样非空：公理谈的是实体之间的关系，字面值宾语的属性事实不参与推导

object_id UUID NOT NULL REFERENCES entities(id) ON DELETE CASCADE,

rule_id UUID NOT NULL REFERENCES rules(id),

-- 有效期取前提的交集（0002 开放问题里给的语义）。精度与 `facts` 同一套

-- 不变量：有日期才有精度

valid_from TIMESTAMPTZ,

valid_to TIMESTAMPTZ,

valid_from_precision TEXT,

valid_to_precision TEXT,

-- 前提里最小的那个。一条链只和它最弱的一环一样可信

confidence REAL NOT NULL DEFAULT 1.0,

derived_at TIMESTAMPTZ NOT NULL DEFAULT now(),

-- 前提没了就置这个，**不删行**：与拒绝一条事实完全同构，记录轴上留下

-- 「我们曾据此推出，后来前提没了」，实体历史页面直接就能展示（0002 第 3 节）

invalidated_at TIMESTAMPTZ,

CONSTRAINT derived_from_precision_matches_date

CHECK ((valid_from IS NULL) = (valid_from_precision IS NULL)),

CONSTRAINT derived_to_precision_matches_date

CHECK ((valid_to IS NULL) = (valid_to_precision IS NULL))

);

CREATE INDEX derived_facts_live_idx

ON derived_facts (kb_id, subject_id, object_id) WHERE invalidated_at IS NULL;

CREATE UNIQUE INDEX derived_facts_identity_idx

ON derived_facts (kb_id, subject_id, predicate_id, object_id, valid_from, valid_to)

WHERE invalidated_at IS NULL;

CREATE TABLE fact_derivations (

derived_fact_id UUID NOT NULL REFERENCES derived_facts(id) ON DELETE CASCADE,

premise_fact_id UUID NOT NULL REFERENCES facts(id) ON DELETE CASCADE,

seq INT NOT NULL,

PRIMARY KEY (derived_fact_id, seq)

);

CREATE INDEX fact_derivations_premise_idx ON fact_derivations (premise_fact_id);

ALTER TABLE knowledge_bases

ADD COLUMN materialize_inferences BOOLEAN NOT NULL DEFAULT FALSE;

ALTER TABLE knowledge_bases

ADD COLUMN inference_interval_minutes INT NOT NULL DEFAULT 60

CHECK (inference_interval_minutes BETWEEN 5 AND 10080);

ALTER TABLE knowledge_bases ADD COLUMN last_inference_at TIMESTAMPTZ;