Unverified50% confidenceFactExact time

描述逻辑（Description Logic）是 OWL 的理论基础，是一阶谓词逻辑的可判定子集

1

Sources

50%

Confidence

Long-term

Relevance

7/22/2026

First Seen

Sources

Microsoft Open-Sources Ontology Playground: A Free Tool for Learning Ontology Visually

Related Claims

UnverifiedHermiT 和 Pellet 是基于描述逻辑的 OWL 推理器77% similar Unverified程序化语义将语言映射为可执行的过程（操作序列），而声明式语义将语言映射为逻辑断言或知识图谱三元组70% similar UnverifiedOWL Lite 对应描述逻辑 SHIF(D)，OWL DL 对应 SHOIN(D)，OWL 2 Full 在理论上不可判定63% similar Unverified这种可视化生成范式被称为'代码作为推理媒介'（Code as Reasoning Medium）63% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/585966

API

curl https://kongchang.com/api/v1/knowledge/claims/585966

MCP

get_claim(id=585966)