diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-17 13:59:36 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-17 13:59:36 +0000 |
| commit | b47f8789666b47fca859bea4c798e16025bad6ed (patch) | |
| tree | 19388887ac8b9c1d0be54e1d91731765f6e0c16d | |
| parent | 727a77044f24fe1cbeee55b3389130a58bfcfd65 (diff) | |
| download | RSAComb-b47f8789666b47fca859bea4c798e16025bad6ed.tar.gz RSAComb-b47f8789666b47fca859bea4c798e16025bad6ed.zip | |
Fix small formatting issue on verbose output
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 6 |
1 files changed, 4 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 7ff0fd3..eed8825 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |||
| @@ -567,11 +567,13 @@ class RSAOntology( | |||
| 567 | /* From ontology */ | 567 | /* From ontology */ |
| 568 | val named = individuals.map(RSA.Named(RSAOntology.CanonGraph)(_)) | 568 | val named = individuals.map(RSA.Named(RSAOntology.CanonGraph)(_)) |
| 569 | RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, named) | 569 | RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, named) |
| 570 | Logger.write(named.mkString("", ".\n", ".\n"), "canonical_model.dlog") | 570 | if (! named.isEmpty) |
| 571 | Logger.write(named.mkString("", ".\n", ".\n"), "canonical_model.dlog") | ||
| 571 | 572 | ||
| 572 | /* Add canonical model */ | 573 | /* Add canonical model */ |
| 573 | Logger print s"Canonical model facts: ${this.canonicalModel.facts.length}" | 574 | Logger print s"Canonical model facts: ${this.canonicalModel.facts.length}" |
| 574 | Logger.write(canonicalModel.facts.mkString("", ".\n", ".\n"), "canonical_model.dlog") | 575 | if (! canonicalModel.facts.isEmpty) |
| 576 | Logger.write(canonicalModel.facts.mkString("", ".\n", ".\n"), "canonical_model.dlog") | ||
| 575 | RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, this.canonicalModel.facts) | 577 | RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, this.canonicalModel.facts) |
| 576 | Logger print s"Canonical model rules: ${this.canonicalModel.rules.length}" | 578 | Logger print s"Canonical model rules: ${this.canonicalModel.rules.length}" |
| 577 | Logger.write(canonicalModel.rules.mkString("\n"), "canonical_model.dlog") | 579 | Logger.write(canonicalModel.rules.mkString("\n"), "canonical_model.dlog") |