From f8e612288f3a604ee1bd60016b7320f00b763e6b Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 8 Dec 2020 13:16:30 +0000
Subject: Fix bug for OWLObjectSubPropertyOfAxiom

A version of the rule with an empty suffix was missing. Note that this
is not completely clear from the paper.
---
 src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/test/scala/uk/ac/ox/cs')

diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala
index a588ae8..0d18e66 100644
--- a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala
+++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala
@@ -218,13 +218,13 @@ class Ontology1_CanonicalModelSpec
 
   renderer.render(
     SsubPropertyOfT
-  ) should "produce 2 rules" in {
+  ) should "produce 3 rules" in {
     val term = Variable.create("X")
     val unsafe = ontology.unsafeRoles
     val (facts, rules) =
       converter.convert(SsubPropertyOfT, term, unsafe, NoSkolem, Empty)
     facts shouldBe empty
-    rules should have length 2
+    rules should have length 3
   }
 
 }
-- 
cgit v1.2.3