diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-21 11:41:21 +0200 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-21 11:41:21 +0200 |
commit | 5479b8c7876894b9b9fa8c33242d23fb1db498aa (patch) | |
tree | 47656887d0c4c677a97b3c759cb734e9091dd7e2 /src/test/scala/rsacomb/OWLClassSpec.scala | |
parent | b4f19557e648d96fc1a87677ea3c02143a525cbd (diff) | |
download | RSAComb-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.scala | 16 |
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 @@ | |||
1 | package rsacomb | 1 | package rsacomb |
2 | 2 | ||
3 | import java.util.{ArrayList => JList} | ||
4 | |||
3 | import org.scalatest.LoneElement | 5 | import org.scalatest.LoneElement |
4 | import org.scalatest.flatspec.AnyFlatSpec | 6 | import org.scalatest.flatspec.AnyFlatSpec |
5 | import org.scalatest.matchers.should.Matchers | 7 | import org.scalatest.matchers.should.Matchers |
6 | 8 | ||
9 | import org.semanticweb.owlapi.model.OWLClassExpression | ||
7 | import uk.ac.manchester.cs.owl.owlapi.{ | 10 | import 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 } |