基于SHIQ DL关系词语分类研究

语言学中现有的两分系统和三分系统都不能满足OWL DL描写关系词语间逻辑语义关系的需要,因为它们的逻辑基础和OWL DL的逻辑基础SHIQ DL大相径庭.文中从SHIQ DL构造算子的描写能力出发,以SHIQDL逻辑层次为基础对关系词语进行分类.

描述逻辑SHIQ的ABox一致性判定算法

为判定描述逻辑SHIQ的ABox一致性,提出一种Tableau算法。给定TBox T、ABox A和角色层次H,通过预处理将A转换成标准的ABox A’,按照特定的完整策略将一套Tableau规则应用于A’,从而不断地对A’进行扩展,直到将其扩展成完整的ABox A’’为止。A、T和H一致,当且仅当算法能产生一个完整且无冲突的ABox A’’。该算法采用的阻塞机制能防止Tableau规则被无限次执行,避免多余的规则应用。通过证明Tableau规则的执行次数为有限次,确认算法的可终止性。通过证明由A’’能构造一个同时满足A、T和H的解释,确认算法的合理性。通过证明Tableau规则的执行不会破坏A’与H的一致关系,确认算法的完备性。

描述逻辑SHIQ研究

描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础.描述逻辑SHIQ是语义web本体描述语言DAML+OIL的逻辑基础,也是OWL DL的核心.该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法.