作者：宋英杰等著
出版社： 人民邮电出版社
CIP号：2017239576
书号：978-7-115-46907-6
出版地：北京
出版时间：2017.1
定价：￥39
（1）提出一种基于Alloy的本体一致性非标准推理方法。（2）提出一种改进的基于SAT的本体一致性非标准推理方法。（3）提出开放环境下本体演化变更序列的冲突检测算法。（4）提出开放环境下本体演化变更序列语义冲突诊断算法。（5）提出一种具有变化冲突诊断与消解能力的本体演化框架。（6）提出一种基于概念格的本体版本差异检测算法。