佐丹奴,劳拉;瓦伦蒂娜·格里奥齐 本体论中异常的推理:多引用语义的近似。 (英语) Zbl 07170135号 Kern-Isberner,Gabriele(编辑)等,《不确定性推理的符号和定量方法》。2019年9月18日至20日,第15届欧洲会议,ECSQARU 2019,塞尔维亚贝尔格莱德。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。11726, 212-225 (2019). 总结:从观察到理性闭包具有“全部或全部”机制的不良特性开始,我们这里考虑多引用语义,它丰富了rational闭包的优先语义,以便在一个本体中单独处理不同属性的继承,而不存在异常。我们证明了(mathcal{ALC})知识库的MP-闭包是关于(mathcal{ALC{)的多引用语义中的最小蕴涵的合理构造。关于整个系列,请参见[Zbl 1419.68012号]. 引用于2文件 理学硕士: 68立方英尺 知识表示 68T27型 人工智能中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{V.Gliozzi},莱克特。注释计算。科学。11726、212-225(2019;Zbl 07170135) 全文: 内政部