From cb8572606f8951213bcfe9e6667caa208ad3d189 Mon Sep 17 00:00:00 2001
From: Federico Igne <git@federicoigne.com>
Date: Thu, 22 Jul 2021 09:59:07 +0100
Subject: Review main workflow

---
 src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala')

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)
-- 
cgit v1.2.3