22、模糊描述逻辑ALCFL向经典描述逻辑ALCH的转换

模糊描述逻辑ALCFL向经典描述逻辑ALCH的转换

1. 引言

语义网是互联网未来的愿景，旨在赋予信息明确的含义，使机器能更轻松地自动处理和整合网络上的信息。本体作为语义网的基本组成部分，是信息的集合，以文档或文件的形式正式定义术语之间的关系。OWL是一种网络本体语言，包含OWL Lite、OWL DL和OWL Full这三个表达能力逐渐增强的子语言，其中OWL DL与描述逻辑相对应，具备良好的计算属性，适用于推理系统。通过OWL本体公理与描述逻辑术语的对应关系，我们可以用描述逻辑的语法来表示本体中的知识库。

描述逻辑在众多领域得到了成功的研究和应用。经典描述逻辑中的概念通常被解释为清晰集，即一个个体要么属于该集合，要么不属于。然而，在现实世界中，很多问题的答案并非简单的“是”或“否”，个体可能只是在一定程度上属于某个概念。例如，我们会用“非常”“或多或少”等语言术语来区分“年轻人”和“非常年轻的人”。20世纪70年代，Zadeh引入并发展了基于语言变量和模糊逻辑的近似推理理论，在模糊描述逻辑中，“非常”“或多或少”“可能”等副词被称为修饰词。已有研究提出了一些处理语义网描述逻辑中不确定性和模糊性的方法，以及模糊描述逻辑的推理程序。Straccia还提出了将fALCH转换为ALCH的方法。

本文将聚焦于模糊语言描述逻辑ALCFL，它是描述逻辑框架L - ALC的一个实例，其确定性格由修饰词代数（HA）表征，允许使用修饰词进行修改。与ALCFH和ALCFLH相比，由于其确定性格由HA表征，ALCFL中修饰词的修改更加自然。我们将提出一种将ALCFL转换为ALCH的可满足性保持转换方法，使经典描述逻辑的技术成果能够应用于ALCFL。

2. 预备知识