1 files changed, 7 insertions, 1 deletions

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
index 87a2312..8a40e1e 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
@@ -108,6 +108,10 @@ class RSAOntology(val ontology: OWLOntology) {
 
   val axioms: List[OWLLogicalAxiom] = abox ::: tbox ::: rbox
 
+  Logger.print(s"Original TBox: ${tbox.length} axioms", Logger.DEBUG)
+  Logger.print(s"Original RBox: ${tbox.length} axioms", Logger.DEBUG)
+  Logger.print(s"Original ABox: ${tbox.length} axioms", Logger.DEBUG)
+
   /* Retrieve individuals in the original ontology
    */
   val individuals: List[IRI] =
@@ -347,6 +351,7 @@ class RSAOntology(val ontology: OWLOntology) {
       Logger print s"Canonical model: ${canon.facts.length} facts"
       RDFoxUtil.addFacts(data, this.canonicalModel.facts)
 
+      RDFoxUtil materialize data
       RDFoxUtil printStatisticsFor data
 
       Logger print s"Filtering program: ${filter.rules.length} rules"
@@ -355,7 +360,8 @@ class RSAOntology(val ontology: OWLOntology) {
       Logger print s"Filtering program: ${filter.facts.length} facts"
       RDFoxUtil.addFacts(data, filter.facts)
 
-      RDFoxUtil printStatistics data
+      RDFoxUtil materialize data
+      RDFoxUtil printStatisticsFor data
 
       val answers = {
         val ans = RDFoxUtil.buildDescriptionQuery("Ans", query.answer.size)