待验证50% 置信事实精确时间
描述逻辑（Description Logic）是 OWL 的理论基础，是一阶谓词逻辑的可判定子集
1
来源数
50%
置信度
长期有效
时效性
2026/7/22
首次发现
来源
相关事实
待验证HermiT 和 Pellet 是基于描述逻辑的 OWL 推理器77% 相似待验证程序化语义将语言映射为可执行的过程（操作序列），而声明式语义将语言映射为逻辑断言或知识图谱三元组70% 相似待验证OWL Lite 对应描述逻辑 SHIF(D)，OWL DL 对应 SHOIN(D)，OWL 2 Full 在理论上不可判定63% 相似待验证这种可视化生成范式被称为'代码作为推理媒介'（Code as Reasoning Medium）63% 相似待验证题型覆盖度是核心指标：优质逻辑书应涵盖分类归纳、空间推理、数字规律、排序对比、图形推理五大类中至少4类，只练单一题型（如只有找规律）会造成思维偏科62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/585966API
curl https://kongchang.com/api/v1/knowledge/claims/585966MCP
get_claim(id=585966)