印俊
- 作品数：2 被引量：0H指数：0
- 供职机构：中南大学信息科学与工程学院更多>>
- 发文基金：湖南省科技计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 描述逻辑ALCN和ALCQ的扩展研究
- 本体词汇处于语义Web体系结构中的关键层，用于对信息的概念和语义进行抽象描述，而OWL建立在描述逻辑的基础之上。作为一阶逻辑的子集，描述逻辑具有可判定的计算性能，广泛地应用于各领域。论文对ALCN和ALCQ这两种基础的描...
- 印俊
- 关键词：描述逻辑可满足性
- 文献传递
- 带逆角色的认知描述逻辑研究
- 2013年
- 针对认知角色不能表达个体间双向关系的问题,在描述逻辑ALCK中加入逆角色得到ALCIK,以扩充其表达能力,在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模,给出了ALCIK的语法和语义,并且在Tbox为空集,Abox中无K算子的情况下,设计了ALCIK概念的查询表算法,根据概念结构归纳证明了表算法的可靠性和完备性,并且一定会停机,最后讨论了复杂度。理论分析表明,此时认知查询问题是可判定的,并且计算复杂度为PSpace-hard。
- 赵专政印俊
- 关键词：K算子复杂度
