java - Java 中的 OWL Individual

Question

我正在尝试通过 Eclipse 访问本体。我使用猫头鹰 api。我在 Protegé 中创建我的本体，但是我想通过代码创建和分类新的个体。这怎么可能？我用谷歌搜索了所有内容，但找不到任何有用的信息。

宏示例:- 具有实体“B”、“C”和“D”的本体“a”。- 我创建了一个单独的“z”，我想弄清楚它是否可以是“B”、“C”、“D”的一部分，或者不是任何实体。

我面临三个问题:- 我不知道如何创造一个类型的个体- 我不知道如何填写个人的数据属性。- 我不知道如何让推理器工作(好吧，我还没有尝试过，因为我无法执行前面的步骤)。

你能帮帮我吗？提前致谢!

努诺

Answer 1

OWL API 在这里有很棒的文档:http://owlapi.sourceforge.net/documentation.html

因此，要创建类的个体:

OWLClass person = dataFactory.getOWLClass(":Person", pm);
OWLNamedIndividual mary = dataFactory.getOWLNamedIndividual(":Mary", pm);
OWLClassAssertionAxiom classAssertion = dataFactory.getOWLClassAssertionAxiom(person, mary);
manager.addAxiom(ontology, classAssertion);

添加一些属性:

OWLIndividual matthew = dataFactory.getOWLNamedIndividual(IRI.create(base + "#matthew"));
OWLIndividual peter = dataFactory.getOWLNamedIndividual(IRI.create(base + "#peter"));
OWLObjectProperty hasFather = dataFactory.getOWLObjectProperty(IRI.create(base + "#hasFather"));
OWLObjectPropertyAssertionAxiom assertion = dataFactory.getOWLObjectPropertyAssertionAxiom(hasFather, matthew, peter);

也有一个reasoner example，但它更长，所以请自己检查。