从 ALC 到 SHOQ (D): 描述逻辑及其 Tableau 算法

[PDF] cims-journal.cn

基于可穿戴计算的现场作业辅助模式

夏侯士戟， 陈东义， 黄志奇 - 计算机集成制造系统, 2007 - cims-journal.cn
为满足移动作业的维护类工程技术人员各种动态的复杂作业辅助需求, 将可穿戴计算机和无线传
感技术引入制造业设备维护作业现场, 介绍了针对现场作业辅助用途设计的可穿戴计算系统 …
被引用次数：7 相关文章 所有 3 个版本
[PDF] nudt.edu.cn

[PDF][PDF] 基于本体的通用匹配机制OGMM 研究

丁健龙， 陈超祥， 金林樵 - 计算机工程与科学, 2009 - joces.nudt.edu.cn
针对海量信息的检索与维护问题, 本文提出了一套基于本体的通用匹配机制0GMM.
该机制通过统一的领域本体增强信息的语义特性与共享性, 通过以知识推理和相容性为特征的 …
被引用次数：2 相关文章 所有 3 个版本

[引用][C] 基于动态描述逻辑的语义Web 服务匹配研究

彭晖， 陈立民， 常亮， 史忠植 - 计算机研究与发展, 2008
被引用次数：24 相关文章 所有 5 个版本

[引用][C] 时态描述逻辑ALC-LTL 的Tableau 判定算法

常亮， 王娟， 古天龙， 董荣胜 - 计算机科学, 2011
被引用次数：5 相关文章 所有 2 个版本

[引用][C] ALC 中的Tableau 算法及其性质

段跃兴 - 计算机应用与软件, 2010
被引用次数：5 相关文章 所有 3 个版本

[引用][C] 基于知识元本体的知识统一表示

袁名依， 谢深泉 - 现代计算机, 2008
被引用次数：5 相关文章 所有 2 个版本

[引用][C] 基于动态描述逻辑DDL 的动作理论

常亮， 陈立民 - 计算机科学, 2011
被引用次数：4 相关文章 所有 2 个版本

[引用][C] 基于描述逻辑的组合知识库推理

卢道设， 杨世瀚， 吴尽昭， 熊玲芳 - 计算机应用研究, 2012
被引用次数：3 相关文章 所有 3 个版本

[引用][C] 描述逻辑研究进展

张燕 - 江南大学学报: 自然科学版, 2010
被引用次数：4 相关文章 所有 2 个版本

[引用][C] 面向Deep Web 不确定知识表示的动态模糊描述逻辑

方巍， 崔志明 - 计算机科学, 2010
被引用次数：4 相关文章 所有 2 个版本