aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/rsacomb/OWLClassSpec.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-21 11:41:21 +0200
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-21 11:41:21 +0200
commit5479b8c7876894b9b9fa8c33242d23fb1db498aa (patch)
tree47656887d0c4c677a97b3c759cb734e9091dd7e2 /src/test/scala/rsacomb/OWLClassSpec.scala
parentb4f19557e648d96fc1a87677ea3c02143a525cbd (diff)
downloadRSAComb-5479b8c7876894b9b9fa8c33242d23fb1db498aa.tar.gz
RSAComb-5479b8c7876894b9b9fa8c33242d23fb1db498aa.zip
Fix issue with introduction of new version of OWLAPI
Diffstat (limited to 'src/test/scala/rsacomb/OWLClassSpec.scala')
-rw-r--r--src/test/scala/rsacomb/OWLClassSpec.scala16
1 files changed, 10 insertions, 6 deletions
diff --git a/src/test/scala/rsacomb/OWLClassSpec.scala b/src/test/scala/rsacomb/OWLClassSpec.scala
index 74c641e..ed91ba7 100644
--- a/src/test/scala/rsacomb/OWLClassSpec.scala
+++ b/src/test/scala/rsacomb/OWLClassSpec.scala
@@ -1,9 +1,12 @@
1package rsacomb 1package rsacomb
2 2
3import java.util.{ArrayList => JList}
4
3import org.scalatest.LoneElement 5import org.scalatest.LoneElement
4import org.scalatest.flatspec.AnyFlatSpec 6import org.scalatest.flatspec.AnyFlatSpec
5import org.scalatest.matchers.should.Matchers 7import org.scalatest.matchers.should.Matchers
6 8
9import org.semanticweb.owlapi.model.OWLClassExpression
7import uk.ac.manchester.cs.owl.owlapi.{ 10import uk.ac.manchester.cs.owl.owlapi.{
8 OWLClassImpl, 11 OWLClassImpl,
9 OWLObjectSomeValuesFromImpl, 12 OWLObjectSomeValuesFromImpl,
@@ -67,12 +70,13 @@ object OWLClassSpec {
67 // 70 //
68 // Female ∧ Student ∧ Worker 71 // Female ∧ Student ∧ Worker
69 // 72 //
70 val class_OWLObjectIntersectionOf = 73 val class_OWLObjectIntersectionOf = {
71 new OWLObjectIntersectionOfImpl( 74 val conjuncts = new JList[OWLClassExpression]()
72 class_Female, 75 conjuncts.add(class_Female)
73 class_Student, 76 conjuncts.add(class_Student)
74 class_Worker 77 conjuncts.add(class_Worker)
75 ) 78 new OWLObjectIntersectionOfImpl(conjuncts)
79 }
76 // Singleton Class corresponding to 80 // Singleton Class corresponding to
77 // 81 //
78 // { alice } 82 // { alice }