论文部分内容阅读
针对认知角色不能表达个体间双向关系的问题，在描述逻辑ALCK中加入逆角色得到ALCIK，以扩充其表达能力，在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模，给出了ALCIK的语法和语义，并且在Tbox为空集，Abox中无K算子的情况下，设计了ALCIK概念的查询表算法，根据概念结构归纳证明了表算法的可靠性和完备性，并且一定会停机，最后讨论了复杂度。理论分析表明，此时认知查询问题是可判定的，并且计算复杂度为PSpace-hard。