aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs')
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala2
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")