开发者 wsml2reasoner.sf.net

WSML2Rea推理器框架是一个模块化架构，它结合了各种验证、规范化和转换算法，用于将 WSML 中的本体描述转换到多个基础推理引擎的适当语法。