Unverified50% confidenceFactExact time

OWL Lite 对应描述逻辑 SHIF(D)，OWL DL 对应 SHOIN(D)，OWL 2 Full 在理论上不可判定

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 推理器63% similar Unverified描述逻辑（Description Logic）是 OWL 的理论基础，是一阶谓词逻辑的可判定子集63% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/585967

API

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

MCP

get_claim(id=585967)