owl-diff-engine.zip,用于计算两个owl本体之间差异的引擎。用于protege桌面本体编辑器的owldifference插件。用于计算两个owl本体之间的差异的引擎。