jena - 在 Jena Framework 中使用 Pellet 对 SWRL 规则进行推理

Question

我正在尝试使用 Jena 框架来编辑使用 Protoge 4.2 构建的现有本体。即更改属性值或添加个人或类别，然后进行推理。假设在本体中我们有这样的规则:hasAge(?p,?age)^swrlb:greaterThan(?age,18)->Adult(?p)。我希望能够更改耶拿方面的 hasAge 属性，看看某人是否是成人。你能给我一些示例代码吗？感谢您的帮助。

Answer 1

假设:

• 您知道如何通过阅读您构建的本体来填充您的模型
• 您已将 Pellet 放在类路径中
• 您将下面的 IRI 替换为您域中的 IRI
• 您启用了断言

以下代码片段将为个人 x-test://individual 添加一个年龄，并断言满足 SWIRL 引入的属性。

// create an empty ontology model using Pellet spec
final OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );   

// read the file
model.read( ont );

// Grab a resource and and property, and then set the property on that individual
final Resource Adult = ResourceFactory.createResource("x-domain://Adult");
final Property hasAge = ResourceFactory.createProperty("x-domain://hasAge");
final Resource res = model.createResource("x-test://individual");
res.addLiteral(hasAge, 19);

// Test that the swirl rule has executed
assert( res.hasProperty(RDF.type, Adult) );