Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).

1 files changed, 1 insertions, 1 deletions

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();