From 014fda84a13620b64597f4bbd6d27afcb929e0f4 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Sat, 10 Oct 2020 13:14:33 +0200
Subject: Add some tests for canonical model computation

---
 src/main/scala/rsacomb/RSAOntology.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/scala/rsacomb')

diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index aa84308..c1d3ba9 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -270,7 +270,7 @@ trait RSAOntology {
         .filterNot(_.isOWLBottomObjectProperty())
     }
 
-    private def self(axiom: OWLSubClassOfAxiom): Set[Term] = {
+    def self(axiom: OWLSubClassOfAxiom): Set[Term] = {
       // Assuming just one role in the signature of a T5 axiom
       val role = axiom.objectPropertyExpressionsInSignature(0)
       if (this.confl(role).contains(role)) {
-- 
cgit v1.2.3