论文部分内容阅读
本系统主要包括使用描述逻辑推理机作为推理模块，使用数据库作为保存实例的存储空间，将不同技术结合实现基因实例的查询。
本文的原型系统使用FaCT和Racer[5]作为描述逻辑推理机，并且使用MySQL作为数据库存储基因本体实例。本文将演示和评价原型系统与单纯使用FaCT和Racer的实际工作情况，测试结果表明本文提出的方案是便捷而有效的。
本文也是广东省自然科学基金(编号04011304)：《面向语义万维网高质量本体服务器的研究与设计》的一个部分，用于研究对本体的高效推理。它可以用于语义web中大量个体的检索。