与 Pellet 在耶拿框架中的 SWRL 规则上进行推理

Question

我正在尝试使用耶拿框架来编辑使用 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) );