Github user jessehatfield commented on a diff in the pull request:
https://github.com/apache/incubator-rya/pull/215#discussion_r135078753
--- Diff:
sail/src/test/java/org/apache/rya/rdftriplestore/inference/InferenceIT.java ---
@@ -400,4 +400,97 @@ public void testIntersectionOfQuery() throws Exception
{
expectedMen.add(new ListBindingSet(varNames,
vf.createURI("urn:Bob")));
Assert.assertEquals(expectedMen, new HashSet<>(solutions));
}
+
+ @Test
+ public void testOneOfQuery() throws Exception {
+ final String ontology = "INSERT DATA { GRAPH <http://updated/test>
{\n"
+ + " <urn:Suits> owl:oneOf _:bnodeS1 . \n"
+ + " _:bnodeS1 rdf:first <urn:Clubs> . \n"
+ + " _:bnodeS1 rdf:rest _:bnodeS2 . \n"
+ + " _:bnodeS2 rdf:first <urn:Diamonds> . \n"
+ + " _:bnodeS2 rdf:rest _:bnodeS3 . \n"
+ + " _:bnodeS3 rdf:first <urn:Hearts> . \n"
+ + " _:bnodeS3 rdf:rest _:bnodeS4 . \n"
+ + " _:bnodeS4 rdf:first <urn:Spades> . \n"
+ + " _:bnodeS4 rdf:rest rdf:nil . \n"
+ + " <urn:Ranks> owl:oneOf _:bnodeR1 . \n"
+ + " _:bnodeR1 rdf:first <urn:Ace> . \n"
+ + " _:bnodeR1 rdf:rest _:bnodeR2 . \n"
+ + " _:bnodeR2 rdf:first <urn:2> . \n"
+ + " _:bnodeR2 rdf:rest _:bnodeR3 . \n"
+ + " _:bnodeR3 rdf:first <urn:3> . \n"
+ + " _:bnodeR3 rdf:rest _:bnodeR4 . \n"
+ + " _:bnodeR4 rdf:first <urn:4> . \n"
+ + " _:bnodeR4 rdf:rest _:bnodeR5 . \n"
+ + " _:bnodeR5 rdf:first <urn:5> . \n"
+ + " _:bnodeR5 rdf:rest _:bnodeR6 . \n"
+ + " _:bnodeR6 rdf:first <urn:6> . \n"
+ + " _:bnodeR6 rdf:rest _:bnodeR7 . \n"
+ + " _:bnodeR7 rdf:first <urn:7> . \n"
+ + " _:bnodeR7 rdf:rest _:bnodeR8 . \n"
+ + " _:bnodeR8 rdf:first <urn:8> . \n"
+ + " _:bnodeR8 rdf:rest _:bnodeR9 . \n"
+ + " _:bnodeR9 rdf:first <urn:9> . \n"
+ + " _:bnodeR9 rdf:rest _:bnodeR10 . \n"
+ + " _:bnodeR10 rdf:first <urn:10> . \n"
+ + " _:bnodeR10 rdf:rest _:bnodeR11 . \n"
+ + " _:bnodeR11 rdf:first <urn:Jack> . \n"
+ + " _:bnodeR11 rdf:rest _:bnodeR12 . \n"
+ + " _:bnodeR12 rdf:first <urn:Queen> . \n"
+ + " _:bnodeR12 rdf:rest _:bnodeR13 . \n"
+ + " _:bnodeR13 rdf:first <urn:King> . \n"
+ + " _:bnodeR13 rdf:rest rdf:nil . \n"
+ + " <urn:Card> owl:equivalentClass [\n"
+ + " owl:onProperty <urn:HasRank> ; owl:range
<urn:Ranks> ;\n"
+ + " owl:onProperty <urn:HasSuit> ; owl:range
<urn:Suits> ;\n"
+ + " ] . \n"
--- End diff --
Same comment as with the example regarding equivalent class statement
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
