From 87471bc45d1824cbef40dc1cfcc4e5e26e83dcea Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 21 Oct 2020 19:05:27 +0200 Subject: Fix bug in conflict set computation --- src/test/scala/rsacomb/CanonicalModelSpec.scala | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'src/test/scala') diff --git a/src/test/scala/rsacomb/CanonicalModelSpec.scala b/src/test/scala/rsacomb/CanonicalModelSpec.scala index c528328..c5f040d 100644 --- a/src/test/scala/rsacomb/CanonicalModelSpec.scala +++ b/src/test/scala/rsacomb/CanonicalModelSpec.scala @@ -5,7 +5,6 @@ import org.scalatest.LoneElement import org.scalatest.flatspec.AnyFlatSpec import org.scalatest.matchers.should.Matchers - import org.semanticweb.owlapi.model._ import uk.ac.manchester.cs.owl.owlapi._ import org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxObjectRenderer @@ -72,10 +71,24 @@ class Ontology1_CanonicalModelSpec ontology.unsafeRoles should not contain roleR } + it should "have 3 elements in its conflict set" in { + ontology.confl(roleR) should have size 3 + } + it should "contain S in its conflict set" in { ontology.confl(roleR) should contain(roleS) } + it should "contain T in its conflict set" in { + ontology.confl(roleR) should contain(roleT) + } + + it should ("contain " + renderer.render( + roleR_inv + ) + " in its conflict set") in { + ontology.confl(roleR) should contain(roleR_inv) + } + renderer.render(roleS) should "be safe" in { ontology.unsafeRoles should not contain roleS } -- cgit v1.2.3