ApFramework https://apframework.com/blog Shoukai 技术博客，软件架构、AI、领域驱动、开源软件、阅读笔记 zh huangshoukai@yeah.net (Shoukai Huang) huangshoukai@yeah.net (Shoukai Huang) Sat, 26 Sep 2026 00:00:00 GMT https://apframework.com/blog/essay/2026-09-26-description-logic-from-concepts-to-reasoning 一个基本的描述逻辑：从概念到推理 https://apframework.com/blog/essay/2026-09-26-description-logic-from-concepts-to-reasoning 以《An Introduction to Description Logic》中的 ALC 为起点，通过一个车辆模型理解概念、知识库与推理：哪些结论必然成立，哪些仍然未知，哪些类别不可能有实例。 Sat, 26 Sep 2026 00:00:00 GMT huangshoukai@yeah.net (Shoukai Huang) 描述逻辑Ontology知识表示软件架构读书笔记