aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala2
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala2
2 files changed, 2 insertions, 2 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 83ebbcb..afda25e 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
@@ -589,7 +589,7 @@ class RSAOntology(axioms: List[OWLLogicalAxiom], datafiles: List[os.Path])
589 589
590 /* Add filtering program */ 590 /* Add filtering program */
591 Logger print s"Filtering program rules: ${filter.rules.length}" 591 Logger print s"Filtering program rules: ${filter.rules.length}"
592 Logger.write(filter.rules.mkString("\n"), "filter.datalog") 592 Logger.write(filter.rules.mkString("\n"), s"filter${query.id}.datalog")
593 RDFoxUtil.addRules(data, filter.rules) 593 RDFoxUtil.addRules(data, filter.rules)
594 // TODO: We remove the rules, should we drop the tuple table as well? 594 // TODO: We remove the rules, should we drop the tuple table as well?
595 data.clearRulesAxiomsExplicateFacts() 595 data.clearRulesAxiomsExplicateFacts()
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala
index 275079c..a55b5a0 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala
@@ -50,7 +50,7 @@ object Logger {
50 if (lvl <= level) 50 if (lvl <= level)
51 output println s"[$lvl][${time.getTime}] $str" 51 output println s"[$lvl][${time.getTime}] $str"
52 52
53 def write(content: os.Source, file: String, lvl: Level = VERBOSE): Unit = 53 def write(content: => os.Source, file: String, lvl: Level = VERBOSE): Unit =
54 if (lvl <= level) 54 if (lvl <= level)
55 os.write.append(dir / file, content) 55 os.write.append(dir / file, content)
56 56