中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
基于元数据逻辑无关片断的结构完整性检测方法 期刊论文
计算机研究与发展, 2020, 卷号: 57.0, 期号: 009, 页码: 1961
作者:  赵晓非;  史忠植;  刘建伟
收藏  |  浏览/下载：18/0  |  提交时间：2023/12/04
逻辑无关片断  结构完整性  存储库系统  元对象设施  元数据  
L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者:  曹存根;  胡岚曦;  眭跃飞
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
信念修正  R-演算  余矢列式  Gentzen推理系统  非单调性  
一种基于约束依赖性分析的RDFS模式抽取方法 期刊论文
软件学报, 2020, 卷号: 000, 期号: 002, 页码: 344
作者:  赵晓非;  史忠植;  田东平;  刘建伟
收藏  |  浏览/下载：7/0  |  提交时间：2023/12/04
RDFS(resource  description  framework  schema)  约束  本体抽取  依赖性分析  
基于事件属性的事件分类研究 期刊论文
中文信息学报, 2020, 卷号: 34, 期号: 10, 页码: 39
作者:  王亚;  曹存根
收藏  |  浏览/下载：1/0  |  提交时间：2024/05/20
semantic categorization of events  characteristic attribute  event frame  事件语义分类  特征属性  事件框架