• Home
• fr.inria.corese
• corese-core
• 4.6.1
• source code
• transitive.rq

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

query.transitive.rq Maven / Gradle / Ivy

#
#  Check if a SPIN graph represent a transitive construct-where rule
#  Olivier Corby, Wimmics Inria I3S, 2014
#
select * where {   
  ?q a sp:Construct ;   
    sp:templates ([ sp:subject ?x ; sp:predicate ?p ; sp:object ?z ]) .   
  {   
  ?q sp:where (   
    [ sp:subject ?x ; sp:predicate ?p ; sp:object ?y ]   
    [ sp:subject ?y ; sp:predicate ?p ; sp:object ?z ])   
  }   
  union {   
  ?q sp:where (   
    [ sp:subject ?p ; sp:predicate rdf:type ; sp:object owl:TransitiveProperty, ?t]   
    [ sp:subject ?x ; sp:predicate ?p ; sp:object ?y ]   
    [ sp:subject ?y ; sp:predicate ?p ; sp:object ?z ])   
  }   
}