伊恩·霍洛克斯 用表达性描述逻辑进行推理：理论与实践。 （英语） Zbl 1072.68577号 Andrei Voronkov（编辑），自动扣除-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43931-5）。莱克特。注释计算。科学。2392, 1-15 (2002). 摘要：描述逻辑是一系列基于类的知识表示形式，其特点是使用各种构造函数从简单类中构建复杂类，并强调提供可靠、完整和（经验上）易于处理的推理服务。它们有广泛的应用程序，但最近对“语义网”的兴趣激增突出了它们作为本体语言的使用，本体在语义网中扮演着关键角色。DAML+OIL是一种基于描述逻辑的本体语言，专门设计用于web。该语言的逻辑基础意味着可以提供推理服务，以支持本体设计，并使DAML+OIL描述的web资源更容易被自动化过程访问。关于整个系列，请参见[Zbl 0993.00050号]. MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68T27型 人工智能中的逻辑 68立方英尺 知识表示 软件：DAML+油；OilEd公司 PDF格式BibTeX公司 XML格式引用 \textit{I.霍洛克斯}，莱克特。注释计算。科学。2392，1--15（2002年；Zbl 1072.68577） 全文： 链接