姓名：申宇铭
学历/学位：博士研究生
职称/职务：教授


教师介绍
研究方向：语义Web、本体及描述逻辑等相关领域。
联系邮箱: ymshen2002@163.com
截至2014年，总共发表论文15篇，其中SCI 收录3 篇，EI 收录12 篇。主持国家自然科学基金1项、广东外语外贸大学引进人才项目1项、广西师范大学博士启动基金1项、广西师范大学青年骨干教师基金1项、广西师范大学青年基金1项，参加国家自然科学基金5项、国家“863”高技术研究发展计划1项、广西自然科学基金2项。
1、国家自然科学基金（本体的保守扩充及其推理机制研究，**）项目负责人；
2、国家自然科学基金（面向问答系统的多维语义模板研究 ，**）参加；
3、国家自然科学基金（程序及代数结构的逻辑性质，**，**）参加；
4、国家自然科学基金（基于本体的一阶模态逻辑研究，**）参加；
5、国家自然科学基金（矩阵微分系统与非线性混沌系统的复杂性研究，）参加；
6、国家“863”高技术研究发展计划（脚本驱动的动画制作方法和系统研究，2007AA0135）参加；
7、广西自然科学基金（代数结构的逻辑性质，桂科自**）参加；
8、广西自然科学基金(基于进化计算的三倍体个体单体型检测算法研究(No.2011GXNSFB018068) 参加；
9、广东外语外贸大学引进人才项目（描述逻辑表达能力的刻画、比较及分类），项目负责人；
10、广西师范大学青年基金（对求解线性系统中产生残量波动和停滞现象的研究）项目负责人；
11、广西师范大学青年骨干教师基金（半分配族的逻辑性质）项目负责人.
近5年以来发表（含录用）科研论文：
[1] 申宇铭、文习明、王驹. 描述逻辑FL0概念及术语公理集的表达能力刻画. 计算机科学,2014,41(12):206—2011.
[2] 余泉、李承乾、申宇铭、王驹. 溯因推理问题的碰集求解方法. 软件学报(已录用)
[3] Yuming Shen, Ju Wang. Complexity of conservative extensions and inseparability in the description logic. The 8th Chinese Semantic Web and Web Scinence Conference(CSWS 2014), , Springer, CCIS 480, 2014, pp.1—9.
[4] 申宇铭、王驹、唐素勤. 描述逻辑ELU概念及术语公理集的表达能力刻画. 软件学报.2014, 25(8):1794—1805.
[5] 申宇铭、马越、曹存根、眭跃飞、王驹. 逻辑之间语义忠实语义满翻译. 软件学报,2013, 24(7):1626—1637.
[6] 申宇铭、王驹、唐素勤、蒋运承. 谓词模态逻辑到对应物理论的翻译. 软件学报, 2012, 23(9): 2323—2335.
[7] Yuming Shen,, Ju Wang, Yuefei Sui. On the translation from quantified modal logic into the counterpart theory revisited. In Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management(KSEM2011), LNAI 7091. Springer, 2011, pp.377—386.
[8] Yuming Shen，Ju Wang，Yuefei Sui. Preservative translations between logical systems. In Proceeding of the 6th International Conference on Intelligent Information Processing(IFIP IIP 2010). Springer, 2010, pp.55—63.
[9] Yuefei Sui, Yuming Shen, Ju Wang. Translating separation logic into a fragment of the first-order logic. In Proceeding of the 6th International Conference on Semantics, Knowledge and Grids(SKG2010). IEEE Press, 2010, pp.188—194.
[10] Yue Ma, Yuming Shen, Cungen Cao, Yuefei Sui, Ju Wang. The description logic for relational databases. In Proceeding of the 6th International Conference on Intelligent Information Processing(IFIP IIP 2010). Springer, 2010, pp.64—71..
[11] 申宇铭、马越、曹存根、眭跃飞、王驹. 不同逻辑间翻译的逻辑性质. 计算机学报, 2009, 32(10): 2091—2098.
[12] 王驹、蒋运承、申宇铭. 描述逻辑系统vL循环术语集的可满足性及推理机制.中国科学(F辑),2009,39(2): 205-211.
[13] Yuming Shen, Yue Ma, Cungen Cao, Yuefei Sui, Ju Wang. The dual spatial connectives of separation logic. In Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management, LNAI5914. Springer, 2009, pp. 90—99.
教学情况
主讲课程：《高等数学》、《线性代数》、《离散数学》、《人工智能》等课程。