王昌海
- 作品数：2 被引量：4H指数：1
- 供职机构：江苏大学计算机科学与通信工程学院更多>>
- 发文基金：江苏省高校自然科学研究项目江苏省社会发展科技计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于ALCO~@的ABox知识更新的研究
- 2012年
- 以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法。在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设。
- 刘一松王昌海赵吉庆
- 关键词：描述逻辑断言
- 语义虚拟环境本体可视化模型的研究被引量：4
- 2012年
- 当前信息可视化所面临的一个瓶颈就是,需要一种模型来把场景图形内容和特定领域的语义信息进行有效集成,使用户可以有效地解释个性化可视化信息。基于X3D标准以及本体用本体描述语言OWL描述X3D标准,构建了一个X3D标准本体和一个映射本体来实现X3D标准本体和其他具体领域本体之间类和属性的映射,以达到丰富虚拟场景语义的目的。基于X3D标准本体和映射本体设计了语义虚拟环境本体可视化模型,从而为具体领域本体实现可视化提供了一种方法。实验结果证明了该模型的可行性。
- 刘一松赵吉庆许祥虎王昌海
- 关键词：X3D本体OWL本体映射
