1 files changed, 1 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 af6c463..ee808c3 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
@@ -77,7 +77,7 @@ class CanonicalModel(val ontology: RSAOntology) {
     // Compute rules from ontology axioms
     val (facts, rules) = {
       val term = RSAUtil.genFreshVariable()
-      val unsafe = ontology.unsafeRoles
+      val unsafe = ontology.unsafe
       ontology.axioms
         .map(a =>
           CanonicalModelConverter.convert(a, term, unsafe, Constant(a), Empty)