diff options
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 } |