使用Java如何检查本体一致性

Question

我正在使用本体技术来识别用户活动...我有一个包含各种类和对象属性的本体(OWL)...

我是本体技术的新手，即使阅读了很多相关资料，我仍然感到困惑...据我所知，一个类可以使用各种属性与另一个类相关联...那么，是否有任何方法可以检查特定类的对象是否与另一个类相关？我的问题是如何检查ABox是否与本体的术语部分(TBox)一致...

我使用Protege制作了我的本体，并尝试使用Jena和Pellet推理器以及其GUI版本SWOOP来检查一致性...

我完全困惑了，不知道该使用什么...

- Kai

Answer 1

如果你要使用图形用户界面(GUI)，我建议你选择使用Protoge 4，SWOOP已经过时了。关于如何使用Pellet，这里有一份相当不错的教程。

如果你想以编程方式处理OWL，我建议你使用OWLAPI而不是Jena。Jena更加侧重于RDF API，而OWLAPI则专门为OWL设计，因此在处理OWL相关内容时，你会发现使用OWLAPI更加容易。尽管如此，Jena的功能更加全面。

- Michael

Answer 2

以下是如何使用Java OWL API执行一致性检查的方法：

/*Load your ontology from a local file and do the initialisations*/
File inputfile = new File("ontologyPath");
OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); ;
OWLDataFactory dataFactory = manager.getOWLDataFactory();
OWLOntology yourOntology = manager.loadOntologyFromOntologyDocument(inputfile);
IRI ontologyIRI = yourOntology.getOntologyID().getOntologyIRI();  

/* Load a reasoner, the default one that comes with the OWL API is HermiT.
   However, You can use other reasoners, such as Fact++ or Pellet, by 
   downloading their libraries and adding them to your project build path */ 
OWLReasonerFactory reasonerFactory = new Reasoner.ReasonerFactory();
OWLReasonerreasoner = reasonerFactory.createReasoner(yourOntology);

/* Perform consistency check */ 
boolean consistency = reasoner.isConsistent();

同时请查看 OWL API 网站上的示例。

Berkan

- Zhubarb

Answer 3

我之前使用过Jena API来处理Protege创建的本体。Jena确实令人困惑。但是，以下是我用来帮助理解它的资源：

• 教程
• 文档

为了弄清楚它的工作原理，我们进行了一些尝试，创建了一个非常简单的OWL文件，并编写了一些使用Jena的Java代码，以查看我们如何能够获得所需的内容。这段代码是一次性的，但它使我们能够在理想化的环境中学习有关OWL文件和Jena API的一些知识。

- Becky reamy