Equivalent for VALUES

[ktk]

In SPARQL I often do this if I want to match something to multiple classes:

  ?myclass VALUES { schema:Person schema:Agent }
  ?something a ?myclass .

Is there an equivalent for that in Notation3 so I don't have to do 3 rules?

[josd]

It can be done in 1 line :-)

The example in https://www.w3.org/TR/sparql11-query/#inline-data-examples can be written in N3 as

@prefix dc:   <http://purl.org/dc/elements/1.1/> .
@prefix :     <http://example.org/book/> .
@prefix ns:   <http://example.org/ns#> .
@prefix list: <http://www.w3.org/2000/10/swap/list#>.

:book1  dc:title  "SPARQL Tutorial" .
:book1  ns:price  42 .
:book2  dc:title  "The Semantic Web" .
:book2  ns:price  23 .

# SELECT ?book ?title ?price
# {
#    VALUES ?book { :book1 :book3 }
#    ?book dc:title ?title ;
#          ns:price ?price .
# }

{
    (:book1 :book3) list:member ?book.
    ?book dc:title ?title ;
        ns:price ?price .
} => {
    [] :result (?book ?title ?price).
}.

giving

$ eye --nope --quiet /tmp/x7.n3 --pass-only-new
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix : <http://example.org/book/>.
@prefix ns: <http://example.org/ns#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.

_:sk_0 :result (:book1 "SPARQL Tutorial" 42).

[josd]

You can also emulate csv and SELECT like in https://github.com/eyereasoner/eye/tree/master/reasoning/csv but this is using an experimental e:csvTuple built-in but works for millions of csv rows :-)