diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-10-22 18:04:15 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-10-22 18:19:08 +0100 |
| commit | 49a8889b02a25b46aa52252fb96ec489800582c0 (patch) | |
| tree | 117d80ba53f28342fdfbce3f58fa20f5e3177803 | |
| parent | 5da7a4caf34346014fbd496187ed8ee8e4915b1d (diff) | |
| download | RSAComb-49a8889b02a25b46aa52252fb96ec489800582c0.tar.gz RSAComb-49a8889b02a25b46aa52252fb96ec489800582c0.zip | |
Fix verbose printing of canonical model facts
Printing a fact does not add a dot at the end on the line.
| -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 5e864bb..2b165c4 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |||
| @@ -608,7 +608,7 @@ class RSAOntology( | |||
| 608 | 608 | ||
| 609 | /* Add canonical model */ | 609 | /* Add canonical model */ |
| 610 | Logger print s"Canonical model facts: ${this.canonicalModel.facts.length}" | 610 | Logger print s"Canonical model facts: ${this.canonicalModel.facts.length}" |
| 611 | Logger.write(canonicalModel.facts.mkString("\n"), "canonical_model.dlog") | 611 | Logger.write(canonicalModel.facts.mkString("", ".\n", ".\n"), "canonical_model.dlog") |
| 612 | RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, this.canonicalModel.facts) | 612 | RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, this.canonicalModel.facts) |
| 613 | Logger print s"Canonical model rules: ${this.canonicalModel.rules.length}" | 613 | Logger print s"Canonical model rules: ${this.canonicalModel.rules.length}" |
| 614 | Logger.write(canonicalModel.rules.mkString("\n"), "canonical_model.dlog") | 614 | Logger.write(canonicalModel.rules.mkString("\n"), "canonical_model.dlog") |