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