本体的构建理论和推理实现
60373042
2003
F0201.计算机科学的基础理论
眭跃飞
面上项目
研究员
中国科学院计算技术研究所
18万元
概念格;推理;本体;描述逻辑;概念
2004-01-01到2006-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | A Logical Foundation for Ontol | 会议论文 | Y. Sun and Y. Sui |
| 2 | Knowledge modeling and acquisi | 期刊论文 | Cao, C., Wang, H., Sui, Y. |
| 3 | The logical sentences as the i | 期刊论文 | Y. Sun and Y. Sui |
| 4 | Translating Ontologies to Defa | 会议论文 | |
| 5 | Logical connections of stateme | 会议论文 | |
| 6 | Ontologies, Frames and Logical | 期刊论文 | Sui, Y., Gao, Y. and Cao, C |
| 7 | An Ontology-based First-order | 会议论文 | |
| 8 | The rough logic and roughness | 会议论文 | |
| 9 | The Ontology Revision | 会议论文 | |
| 10 | 国家知识基础设施中的数学知识表 | 期刊论文 | 曹存根, 眭跃飞, 孙瑜, 曾庆田 |
| 11 | Building an ontology and knowl | 会议论文 | |
| 12 | Formal concept analysis in rel | 期刊论文 | Jiang, F., Sui, Y. and Cao, C |
| 13 | The graph-theoretical properti | 会议论文 |
查看更多信息请先登录或注册
