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 | ||
