本体验证器

Question

我目前正在研究开发一个基于web的本体编辑器。我需要验证我的工具编辑的本体是一致的，并正确地推断知识。另外，我想获得一些关于本体论的一般统计数据。有没有在线的本体验证器工具，我可以用来满足这个需求？OWL 2 Validator和OWL Metrics似乎不再有效。http://mowl-power.cs.man.ac.uk:8080/validator

http://mowl-power.cs.man.ac.uk:8080/metrics

Answer 1

这两个工具都是简单的web应用程序，使用OWLAPI代码来执行验证。有关如何根据配置文件验证本体的信息，请参阅OWLAPI中的Profiles；有关测试本体一致性的方法，请参阅OWLReasoner。第二步还需要一个OWLReasoner实现来提供推理服务。有许多开源推理器，例如FaCT++、Pellet、Hermit、Konclude、JFact和其他各种可以与OWLAPI接口的推理器。有关比较这些原因在性能上的最新竞争，请参阅ORE。