jena的java开发包用于读取owl文件,并且内置了一些推理工具,可以进行简单的推理