From 691964863246bbf6ef9f72cc5e82c83df34f135a Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 2 Jun 2015 15:40:29 +0100 Subject: Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1). --- src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxQueryEngine.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/light') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxQueryEngine.java b/src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxQueryEngine.java index f835ba9..8b22919 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxQueryEngine.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxQueryEngine.java @@ -74,7 +74,7 @@ public abstract class RDFoxQueryEngine extends QueryEngine { long prevTriplesCount = store.getTriplesCount(); store.importOntology(ontology.getOWLOntologyManager().createOntology(ontology.getABoxAxioms(true))); long loadedTriples = store.getTriplesCount() - prevTriplesCount; - Utility.logInfo(name + ": loaded " + loadedTriples + " triples from " + ontology.getABoxAxioms(true) + Utility.logDebug(name + ": loaded " + loadedTriples + " triples from " + ontology.getABoxAxioms(true) .size() + " ABox axioms"); } catch(JRDFStoreException | OWLOntologyCreationException e) { e.printStackTrace(); -- cgit v1.2.3