diff options
| author | Federico Igne <git@federicoigne.com> | 2021-10-04 07:34:41 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-10-04 09:53:59 +0100 |
| commit | 0d311287610bcf14a1b4ff35008359dde8c00fc3 (patch) | |
| tree | ea71a9ca181018708dbfda84918c2f2f5b4a31a8 /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |
| parent | 55384aaf879027012d688bfa566e34928a5f57e1 (diff) | |
| download | RSAComb-0d311287610bcf14a1b4ff35008359dde8c00fc3.tar.gz RSAComb-0d311287610bcf14a1b4ff35008359dde8c00fc3.zip | |
Make file logging lazy
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 2 |
1 files changed, 1 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 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() |