Action-198 Property Path test case

Action-198 Property path test case



a p1 b
b p2 a
a p3 c

select * where {
a p1/p2/p3 ?x
}

?x=c

_________________________________________

the cardinality of
solutions to variable-length paths is the cardinality of solutions
via paths that do not repeat nodes; 

a p1 b
b p2 a
a p3 c

select * where {
a (p1/p2/p3)* ?x
}

?x=c 
or no solution ?


_________________________________________


a p1 b
b p2 a
a p3 b
b p4 a


select * where {
a p1/p2/p3/p4 ?x
}

?x=a

_________________________________________

a p1 b
b p2 a
a p3 b
b p4 a

select * where {
a (p1/p2){1,}/(p3/p4){1,} ?x
}

?x=a
or no solution ?

________________________________________

inferences 

a componentOf b
componentOf rdfs:subPropertyOf partOf


select * where {
a partOf+ ?x
}

?x=b

_________________________________________


a componentOf b
componentOf rdfs:subPropertyOf partOf


select * where {
a !partOf ?x
}

?x=b
or no solution ?

_____________________________________

zero length path

_:b1 rdf:first 1
_:b1 rdf:rest rdf:nil

_:b2 ex:prop 2


select * where {
?x rdf:rest{0,1} ?y
}

?x=_:b1; ?y=_:b1
?x=_:b2; ?y=_:b2
?x=rdf:nil; ?y=rdf:nil

?x=_:b1; ?y=rdf:nil


____________________________________


g1 {a p1 b}
g2 {b p2 c}

select * where {
graph ?g {a p1/p2 ?x}
}

no solution

________________________________


g1 {a p1 b b p2 c}


select * where {
graph ?g {a p1/p2 ?x}
}

?g=g1; ?x=c

________________________________


g1 {a p1 b}
g2 {b p2 c}

select
from g1
from g2
where {
a p1/p2 ?x
}

?x=c
____________________________________


a p b

ask {
b ^p a
}

true

____________________________________

a p b

select * where {
b ^p ?x
}

?x=a

____________________________________

a p1 b
b p2 c

select * where {
c ^(p1/p2) ?x
}

?x=a
_____________________________________________


a p1 b
a p2 c
a p3 d

select * where {
a !(p1|p2) ?x
}

?x=d
_____________________________________________

Several paths

a p1 b 
b p2 c
a p1 d 
d p2 c

select * where {
a p1/p2 ?x
}

?x=c
?x=c


_____________________________________________

One path 

a p1 b b p2 c
a p1 d d p2 c

select * where {
a (p1/p2)+ ?x
}

?x=c