Unverified50% confidenceFactExact time
描述逻辑（Description Logic）是 OWL 的理论基础，是一阶谓词逻辑的可判定子集
1
Sources
50%
Confidence
Long-term
Relevance
7/22/2026
First Seen
Sources
Related Claims
UnverifiedHermiT 和 Pellet 是基于描述逻辑的 OWL 推理器77% similarUnverified程序化语义将语言映射为可执行的过程（操作序列），而声明式语义将语言映射为逻辑断言或知识图谱三元组70% similarUnverifiedOWL Lite 对应描述逻辑 SHIF(D)，OWL DL 对应 SHOIN(D)，OWL 2 Full 在理论上不可判定63% similarUnverified这种可视化生成范式被称为'代码作为推理媒介'（Code as Reasoning Medium）63% similarUnverified题型覆盖度是核心指标：优质逻辑书应涵盖分类归纳、空间推理、数字规律、排序对比、图形推理五大类中至少4类，只练单一题型（如只有找规律）会造成思维偏科62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/585966API
curl https://kongchang.com/api/v1/knowledge/claims/585966MCP
get_claim(id=585966)