塞巴斯蒂安·布兰特;安妮·亚斯敏（Anni-Yasmin Turhan）;拉尔夫·库斯特斯 将非标准推理扩展到具有传递角色的描述逻辑。 （英语） 兹比尔1273.68371 Vardi，Moshe Y.（编辑）等人，《编程逻辑、人工智能和推理》。第十届国际会议，2003年LPAR，哈萨克斯坦阿拉木图，2003年9月22日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20101-7/pbk）。莱克特。注释计算。科学。2850, 122-136 (2003). 摘要：描述逻辑（DL）是用于术语推理的一系列知识表示形式。它们有广泛的应用，例如医学知识库或语义网。对DL的研究一直集中在开发完善的推理算法上，以确定表达能力越来越强的DL的可满足性和可包含性。非标准推理是一组相对较新的推理服务，为DL知识库的建立、维护和部署提供推理支持。到目前为止，对于表现力很强的DL，还不能使用非标准推理。在本文中，我们给出了具有传递角色的DL的非标准推理的第一个结果。作为基础，我们给出了DL包含的结构特征，其中存在和值限制可以施加在传递角色上。我们提出了计算最小公共subsumer（lcs）的完善算法。关于整个系列，请参见[Zbl 1028.00019号]. 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 软件：OilEd公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Brandt}等人，Lect。注释计算。科学。2850、122--136（2003年；Zbl 1273.68371）