diff options
Diffstat (limited to 'src/test/scala/uk')
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverterSpec.scala | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverterSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverterSpec.scala index a401abf..12f71e8 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverterSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverterSpec.scala | |||
@@ -86,12 +86,11 @@ class RDFoxConverterSpec | |||
86 | } | 86 | } |
87 | } | 87 | } |
88 | 88 | ||
89 | "The inverse of an object property" should "be converted into an atom with matching negated predicate" in { | 89 | "The inverse of an object property" should "be converted into an atom with inverted subject/object" in { |
90 | val prop = factory.getOWLObjectProperty(iriString0) | 90 | val prop = factory.getOWLObjectProperty(iriString0) |
91 | val inv = factory.getOWLObjectInverseOf(prop) | 91 | val inv = factory.getOWLObjectInverseOf(prop) |
92 | for (sx <- Seq(Empty, Forward, Backward)) { | 92 | for (sx <- Seq(Empty, Forward, Backward)) { |
93 | val atom = | 93 | val atom = TupleTableAtom.rdf(term1, IRI.create(iriString0 :: sx), term0) |
94 | TupleTableAtom.rdf(term0, IRI.create(iriString0 :: sx + Inverse), term1) | ||
95 | convert(inv, term0, term1, sx) shouldEqual atom | 94 | convert(inv, term0, term1, sx) shouldEqual atom |
96 | } | 95 | } |
97 | } | 96 | } |