17、模糊OWL 2推理与矛盾证据处理

模糊OWL 2推理与矛盾证据处理

一、DeLorean在模糊OWL 2中的推理优化

在模糊本体推理中，DeLorean是支持OWL 2模糊扩展的工具。它能将模糊本体转换为等价的非模糊表示，再利用经典描述逻辑（DL）推理器进行推理。

1. 优化公理数量

• GCI和RIA减少 ：GCI（通用概念包含）数量从4352减少到324（7.44%），RIA（角色包含公理）从136减少到34（25%）。这表明减少新的清晰元素及其对应公理、定义清晰概念和角色，以及处理多余概念很重要。
• 其他公理减少 ：优化GCI减少还能有效减少不相交概念、定义域、值域和函数角色公理数量，具体减少情况如下表：
  | 公理类型 | 原始数量 | 优化后数量 | 减少比例 |
  | ---- | ---- | ---- | ---- |
  | 不相交概念公理 | 152 | 19 | 12.5% |
  | 定义域公理 | 104 | 97 | 93.27% |
  | 值域公理 | 80 | 10 | 12.5% |
  | 函数角色公理 | 48 | 6 | 12.5% |

其中，定义域公理减少幅度不大，因为应用减少操作需要定义逆角色，而这种情况仅在一个公理中出现。

2. 减少新公理数量

将GCI减少优化与清晰概念和角色定义相结合，可减少新公理数量：
- 子类公理从1288减少到390（30.28%）。
- 概念等价公理从696减少到318（45.69%）。