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