From 49a8889b02a25b46aa52252fb96ec489800582c0 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Fri, 22 Oct 2021 18:04:15 +0100 Subject: Fix verbose printing of canonical model facts Printing a fact does not add a dot at the end on the line. --- src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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( /* Add canonical model */ Logger print s"Canonical model facts: ${this.canonicalModel.facts.length}" - Logger.write(canonicalModel.facts.mkString("\n"), "canonical_model.dlog") + Logger.write(canonicalModel.facts.mkString("", ".\n", ".\n"), "canonical_model.dlog") RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, this.canonicalModel.facts) Logger print s"Canonical model rules: ${this.canonicalModel.rules.length}" Logger.write(canonicalModel.rules.mkString("\n"), "canonical_model.dlog") -- cgit v1.2.3