8、Pronto：实用的概率描述逻辑推理器解析

Pronto：实用的概率描述逻辑推理器解析

1. P - SROIQ本体基础

P - SROIQ中的本体分为经典部分和概率部分。个体名称集合$N_I$被划分为经典个体集合$N_{CI}$和概率个体集合$N_{PI}$。下面介绍几个重要的定义：
- PTBox、PABox和概率知识库 ：
- 概率TBox（PTBox）是一个二元组$PT = (T, P)$，其中$T$是经典的SROIQ TBox，$P$是有限的条件约束集合。
- 概率ABox（PABox）是与概率个体$o_p \in N_{PI}$相关联的有限条件约束集合。
- 概率知识库（或概率本体）是一个三元组$PO = (T, P, {P_{op}} {op \in N {PI}})$，前两个组件定义了一个PTBox，最后一个是PABox集合。
- PTBox约束$(D|C)[l, u]$表示“如果随机选择的个体是$C$的实例，那么它是$D$的实例的概率在$[l, u]$范围内”。PABox约束$(D|C)_o[l, u]$（$o$是概率个体）表示“如果特定个体$o$是$C$的实例，那么它是$D$的实例的概率在$[l, u]$范围内”，这种区别对P - SROIQ中的默认推理很重要。
- 概率签名 ：给定概率知识库$PO$，设$CE(PO)$是在PTBox或PABox的某些条件概念中作为证据或结论出现的所有概念表达式的集合。$PO$的概率签名$\varPhi(PO)$是满足以下条件的最小概念表达式集合：
- 没有表达式是其他表达式的并、交或补。
- 其在并、交和补运算下的闭包是$CE(PO