- alt
e1 | e2
- and
- create
- filter
- loop
Expression loop is exp+ or exp exp* rewritten as exp+ except in the case e1/e2*
where it is correctl
- not
! ex:p1 ! (ex:p1 | ex:p2) -> ?x ?p ?y . filter(?p != ex:p1)
- option
exp? -> exp See also: special treatment in sequence
- reverse
?x ^ exp ?y -> ?y exp ?x
- rewrite
Query is a SPARQL Update rewrite the body of insert delete where
- sequence
e1 / e2 Special cases: (1) ?x rdf:type/rdfs:subClassOf* ?c -> {?x rdf:type ?c}
union { ?x rdf:type/r
- triple
exp is a property label, generate a simple triple
- variable
Create a fresh new variable