Corese 3.0 / KGRAM Extended Property Path

olivier.corby at inria.fr - Edelweiss - INRIA Sophia Antipolis-Méditerranée - 2009-2011.

Loop

Possibility to prevent loop in exp+ and exp{n,m} 

exec.setPathLoop(false);

pragma {kg:path kg:loop false}

Constraint

?x c:isMemberOf @[a c:Consortium] +  ?org


?x c:isMemberOf 
   @{ ?this a c:Consortium . filter(?this != <www.example.org>)  } +  
?org

Parallel Operator

?x (foaf:knows || ^rdfs:seeAlso) + ?y

Variable

?x c:isMemberOf+ :: $path ?org

Length

filter(pathLength($path) < 100)

Enumeration

?x c:isMemberOf+ :: $path ?org
graph $path {?a ?p ?b}