|
已选(0)清除
条数/页： 排序方式：
|
| Horn-Extended DL的Tableau算法研究 期刊论文
2010, 2010
肖岚; 郑力; 肖建; 黄毅; XIAO Lan; ZHENG Li; XIAO Jian; HUANG Yi
  收藏 | 浏览/下载：4/0 |
| 基于SWRL元模型的本体公理建模方法 期刊论文
计算机工程, 2010, 期号: 2010年02期, 页码: 53-55
作者: 王小龙; 李明
收藏 | 浏览/下载：0/0 | 提交时间：2019/11/13
|
| 语义Web的逻辑基础 期刊论文
模式识别与人工智能, 2005
梅婧; 刘升平; 林作铨
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/11
|
| 基于语义Web的服务自动组合技术的研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
梁晟
收藏 | 浏览/下载：9/0 | 提交时间：2011/03/17
|
| 语义Web规则标记语言OWLRule+的设计与实现 期刊论文
计算机研究与发展, 2004, 卷号: 41, 期号: 7, 页码: 1088-1096
梁晟; 付弘宇; 李明树
收藏 | 浏览/下载：12/0 | 提交时间：2010/07/05
|
| 逻辑程序中的控制策略及其表示 期刊论文
北京大学学报 自然科学版, 1988
张乃孝; 侯世君
收藏 | 浏览/下载：4/0 | 提交时间：2015/10/23
|
| 计算机的变序推理系统 学位论文
工学硕士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1981
王铁成
收藏 | 浏览/下载：9/0 | 提交时间：2015/09/02 |
