From c86e7d32420adcc05546efa45b21e0e31d0f6c90 Mon Sep 17 00:00:00 2001
From: Federico Igne <git@federicoigne.com>
Date: Mon, 4 Oct 2021 18:01:50 +0100
Subject: Fix issue where not all roles where considered for top axiomatisation

---
 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 a39b9c0..bd3d3c3 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
@@ -68,7 +68,7 @@ class CanonicalModel(val ontology: RSAOntology, val graph: IRI) {
     */
   val rolesAdditionalRules: List[Rule] = {
     val tt = TupleTableName.create(graph.getIRI)
-    ontology.roles
+    ontology.objroles
       .collect { case prop: OWLObjectProperty => prop }
       .flatMap((pred) => {
         val iri = pred.getIRI.getIRIString
-- 
cgit v1.2.3