中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共3条，第1-3条 帮助

限定条件            
已选(0)清除 条数/页：   排序方式：
基于描述逻辑的主体服务匹配 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 005, 页码: 625
作者:  史忠植;  蒋运承;  张海俊;  董明楷
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
服务匹配  描述逻辑  推理机制  服务分层  多主体系统  
基于动态描述逻辑的主体模型 期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 780
作者:  董明楷;  张海俊;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
智能主体  主体模型  动态描述逻辑  
语义Web的逻辑基础 期刊论文
中国科学：E辑, 2004, 卷号: 34.0, 期号: 010, 页码: 1123
作者:  史忠植;  董明楷;  蒋运承;  张海俊
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
语义Web  描述逻辑  DDL  知识表示  推理  动态  形式化  逻辑基础  存在  传统