本体的保守扩充及其推理机制研究
61103169
2011
F0607.知识表示与处理
申宇铭
青年科学基金项目
教授
广西师范大学
22万元
本体;描述逻辑;保守扩充
2012-01-01到2014-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 描述逻辑FL0包含推理及其保守扩充 <br /> <br /> <br /> | 期刊论文 | 聂登国|康王强|曹发生|王驹| |
| 2 | 描述逻辑εLU概念及术语公理集的表达能力刻画 | 期刊论文 | 申宇铭|王驹|唐素勤| |
| 3 | 描述逻辑ELU概念及术语公理集的表达能力刻画 | 期刊论文 | 申宇铭、王驹、唐素勤| |
| 4 | 基于受限领域本体的中文问句分析研究 | 期刊论文 | 李炜卓|魏秀丽|黎槟华|申宇铭|王驹| |
| 5 | Complexity of conservative extensions and inseparability in the description logic <br class="p0" /><span style="font-family:;" times="" new="" roman";font-size:10.5pt;font-weight:normal;"="&q | 会议论文 | Yuming Shen|Ju Wang| |
| 6 | 基于受限领域本体的中文问句分析 | 期刊论文 | 李炜卓|魏秀丽|黎槟华|申宇铭|王驹| |
| 7 | 描述逻辑VL的保守扩充 | 期刊论文 | 聂登国|曹发生| |
| 8 | 基于受限领域本体的中文问句分析 | 期刊论文 | 李炜卓|魏秀丽|黎槟华|申宇铭|王驹| |
| 9 | 溯因推理问题的碰集求解方法 | 期刊论文 | 余泉|李承乾|申宇铭|王驹| |
| 10 | On the translation from quantified modal logic into the counterpart theory revisited | 会议论文 | Yuming Shen|Ju Wang|Yuefei Sui| |
| 11 | 基于区分对象对集的不完备决策表求核算法 | 期刊论文 | 张姣|曾艳燕|王驹|徐章艳| |
| 12 | 描述逻辑FL0概念及术语公理集的表达能力刻画 | 期刊论文 | 申宇铭|文习明|王驹| |
| 13 | 谓词模态逻辑到对应物理论的翻译 | 期刊论文 | 申宇铭|王驹|唐素勤|蒋运承| |
| 14 | 逻辑系统之间的语义忠实语义满翻译 | 期刊论文 | 申宇铭|马越|曹存根|眭跃飞|王驹| |
| 15 | 逻辑之间的语义忠实语义满翻译 | 期刊论文 | 申宇铭|马越|曹存根|眭跃飞|王驹| |
查看更多信息请先登录或注册
