OWL Lite形式化基础及应用研究

• 作者: 孟芸 王阳阳
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 描述逻辑 SHIF(D) OWL LITE HFMDS
• 年，卷（期）: 2009,（10）
• 页码范围: 7970-7973
• 页数: 4页
• 分类号: TP391

摘要

介绍了描述语言SHIF（D）以及本体语言OWLLite，证明了OWL Lite的形式化基础是SHIF（D），总结出OWLLite的推理问题可以归约为描述逻辑sHIF（D）知识库的满足性。最后设计了基于本体的手足口病的辅助诊断系统（HFMDS），由OWL Lite推理工具进行相应地推理工作，便于医生提出相关的治疗方案及临床建议。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟芸	河南大学计算机与信息工程学院	11	30	3.0	5.0
2	王阳阳	河南大学计算机与信息工程学院	12	164	4.0	12.0