罗莎尔巴·朱格诺;托马斯·卢卡西维奇 P-(mathcal{SHOQ})(D):语义网中概率本体的概率扩展。 (英语) Zbl 1014.68537号 Flesca,Sergio(编辑)等人,《人工智能中的逻辑》。第八届欧洲会议,JELIA 2002,意大利科森扎,2002年9月23日至26日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2424, 86-97 (2002). 摘要:本体在语义网的发展中起着核心作用,因为它们为网络资源中的共享术语提供了精确的定义。一种重要的web本体语言是DAML+OIL;它通过映射到表达描述逻辑(mathcal{SHOQ})(D)并添加反向角色,具有形式语义和推理支持。在本文中,我们提出了一个名为(mathcal{SHOQ})(D)的概率扩展,以允许处理语义网中的概率本体。描述逻辑是基于概率默认推理的概率词典隐含的概念。它允许表达关于概念和实例的丰富概率知识,以及关于概念的默认知识。我们还提出了P-(mathcal{SHOQ})(D)的合理和完整的推理技术,这些技术基于对(mathcal{SHOQ})中经典推理和线性规划的约简,并且特别表明了P-。关于整个系列,请参见[Zbl 0997.00032号]. 引用于16文件 MSC公司: 68T27型 人工智能中的逻辑 软件:DAML+油 PDF格式BibTeX公司 XML格式引用 \textit{R.Giugno}和\textit{T.Lukasiewicz},莱克特。注释计算。科学。2424,86-97(2002;Zbl 1014.68537) 全文: 链接