diff options
-rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 2 | ||||
-rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala | 2 |
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 | ||