文件名称：描述逻辑ALC基于RBox的推理* (2014年)
文件大小：322KB
文件格式：PDF
更新时间：2024-06-11 17:02:59
自然科学 论文
针对RBox表达能力受限于简单角色的问题，研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色，并且TBox和ABox均为空集的情况下ALC概念的可满足性问题，设计了可满足性检测表算法，分析了算法的终止性，证明了可靠性和完备性，最后讨论了复杂度．理论分析表明，此时ALC概念的可满足性问题是可判定的，并且复杂度为ExpTime．