40、语义网的悖论描述逻辑与偏好论证统一模型

语义网的悖论描述逻辑与偏好论证统一模型

1. 描述逻辑相关内容

在处理不一致本体时，描述逻辑有着不同的表现和特性。首先，ALC在特定条件下表现得较为“勇敢”，但当我们不清楚是哪些知识导致不一致本体出现矛盾时，推理机制会变得“谨慎”。不过，从本体得出的推理，无论本体是否一致，都是相当合理的。

接下来介绍几种不同的描述逻辑及其特点：
- ALCLP与ALC4的比较
- ALC4的相关定义 ：在ALC4中，对定义域ΔI的4 - 解释会为每个概念C分配一个对⟨P, N⟩，其中P和N是ΔI的子集（不一定不相交，也不一定互补）。真值{t, f, B, U}与概念扩展之间的对应关系如下：
- (C^I(a) = t)，当且仅当(a^I \in proj^+(C^I))且(a^I \notin proj^-(C^I))；
- (C^I(a) = f)，当且仅当(a^I \notin proj^+(C^I))且(a^I \in proj^-(C^I))；
- (C^I(a) = B)，当且仅当(a^I \in proj^+(C^I))且(a^I \in proj^-(C^I))；
- (C^I(a) = U)，当且仅当(a^I \notin proj^+(C^I))且(a^I \notin proj^-(C^I))。
- ALC4中4 - 模型的定义 ：设I是一个4 - 解释，(\vDash_4)表示ALC4中的四值满足关系：
- 概念断言：(I \vDash_4 C(a))当且仅当(a^I \in proj^+(C^I))；