6

我想使用 Jena 的推理功能,但是在使用 InfModel 时遇到了一些性能问题。

这是我的本体的简化概述:

特性:

hasX            (Ranges(intersection): X, inverse properties: isXOf)
|-- hasSpecialX (Ranges(intersection): X, inverse properties: isSpecialXOf)

isXOf           (Domains(intersection): X, inverse properties: hasX)
|--isSpecialXOf (Domains(intersection): X, inverse properties: hasSpecialX)

此外,还有一个类“对象”:

Object hasSpecialX some X

显式存储以下数据:

SomeObject a Object 
SomeX a X
SomeObject hasSpecialX SomeX  

使用以下查询,我想确定实例属于哪个类。根据所做的假设,应该只返回“SomeObject”。

SELECT ?x WHERE { ?x :hasX :SomeX . } 

但是,查询ds.getDefaultModel()不起作用,因为数据没有显式存储。infModel另一方面,当我使用时,查询永远不会完成。在中止之前,我一直在等待 25 分钟。(三重存储的大小约为 180 MB)

这是我的代码:

OntModel ont = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_MICRO_RULE_INF, null); 
ont.read("file:..." , "RDF/XML"); 

Reasoner reasoner = ReasonerRegistry.getOWLMicroReasoner(); 
reasoner = reasoner.bindSchema(ont); 

Dataset dataset = TDBFactory.createDataset(...); 
Model model = dataset.getDefaultModel(); 

InfModel infModel = ModelFactory.createInfModel(reasoner, model);

QueryExecution qe = null;
ResultSet rs;

try {
    String qry = "SELECT ?x WHERE { ?x :hasX :SomeX . }"; 
    qe = QueryExecutionFactory.create(qry, infModel); 
    rs = qe.execSelect(); 

    while(rs.hasNext()) {
        QuerySolution sol = rs.nextSolution(); 
        System.out.println(sol.get("x"));
    }
} finally {
    qe.close();
    infModel.close();
    model.close(); 
    dataset.close();
}

上面的代码有什么问题吗,或者还有什么原因导致它不起作用?

除此之外,我想知道如果我“将推断的公理导出为本体”(由 Protege 提供)是否可以提高性能?

编辑: 我同时尝试使用 Pellet,但我仍然无法获得推断模型,正如我在另一个问题中所描述的那样:OutOfMemoryError using Pellet as Reasoner。那我还能做什么?

4

1 回答 1

3

关于性能,最好在断言数据之前进行推理,而不是在关闭 Jena 推理机制的情况下进行 SPARQL。您已经在使用 TDB,它是适合大型数据集的 Jena 组件。

如果直接使用推断数据没有获得预期的性能,那么我建议转移到更具可扩展性的三重存储(4storeVirtuoso)。

于 2012-04-16T22:51:32.423 回答