推理 & SHACL
live
localhost:5000
🧠
OWL 2 RL 物化推理 (reasonable)
把 subClassOf、
domain/range、属性继承等隐式三元组显式化。
✅
SHACL 约束校验 (pySHACL)
用形状文件检查数据是否符合军事场景约束（如"每个 MilitaryEvent 必须有 occurredAt 和 ≥1 participant"）。