query.transitivepseudo.rq Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of corese-core Show documentation

Corese is a Semantic Web Factory (triple store and SPARQL endpoint) implementing RDF, RDFS, SPARQL 1.1 Query and Update.

There is a newer version: 4.6.1

Show newest version

#
#  Check if a SPIN graph represent a pseudo transitive construct-where rule
#  ?x a ?c2 :- ?x a ?c1 & ?c1 subClassOf ?c2 
#  Olivier Corby, Wimmics Inria I3S, 2014
#
select * where {   
  ?q a sp:Construct ;   
    sp:templates ([ sp:subject ?x ; sp:predicate ?p ; sp:object ?c2 ]) .   
     
  ?q sp:where (   
    [ sp:subject ?x  ; sp:predicate ?p ; sp:object ?c1 ]   
    [ sp:subject ?c1 ; sp:predicate ?r ; sp:object ?c2 ])   
       
}