1 files changed, 3 insertions, 1 deletions

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
index 3777c6b..3da6c8a 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
@@ -79,7 +79,9 @@ class CanonicalModel(val ontology: RSAOntology) {
       val term = RSAOntology.genFreshVariable()
       val unsafe = ontology.unsafeRoles
       ontology.axioms
-        .map(CanonicalModelConverter.convert(_, term, unsafe, NoSkolem, Empty))
+        .map(a =>
+          CanonicalModelConverter.convert(a, term, unsafe, Constant(a), Empty)
+        )
         .unzip
     }
     (