10.3969/j.issn.1009-3044.2009.28.054
OWL Lite形式化基础及应用研究
介绍了描述语言SHIF(D)以及本体语言OWL Lite,证明了OWL Lite的形式化基础是SHIF(D),总结出OWL Lite的推理问题可以归约为描述逻辑SHIF(D)知识库的满足性.最后设计了基于本体的手足口病的辅助诊断系统(HFMDS),由OWL Lite推理工具进行相应地推理工作,便于医生提出相关的治疗方案及临床建议.
描述逻辑、SHIF(D)、OWL Lite、HFMDS
5
TP391(计算技术、计算机技术)
2009-12-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
7970-7973