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(
     /* From ontology */
     val named = individuals.map(RSA.Named(RSAOntology.CanonGraph)(_))
     RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, named)
-    Logger.write(named.mkString("", ".\n", ".\n"), "canonical_model.dlog")
+    if (! named.isEmpty)
+      Logger.write(named.mkString("", ".\n", ".\n"), "canonical_model.dlog")
 
     /* Add canonical model */
     Logger print s"Canonical model facts: ${this.canonicalModel.facts.length}"
-    Logger.write(canonicalModel.facts.mkString("", ".\n", ".\n"), "canonical_model.dlog")
+    if (! canonicalModel.facts.isEmpty)
+      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")