query.shacl.domaincheck.rq Maven / Gradle / Ivy

Go to download

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

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

The newest version!

#
#  Type checking for rdfs:domain
#
insert data {
us:test a sh:NodeShape ;
xsh:targetTriplesOf rdfs:domain ;                   # p domain d                         
sh:property[
sh:path (
    [xsh:triplePath ([] (xsh:source xsh:subject) )] # s p o
    [xsh:nodePath xsh:subject]                      # s
    [xsh:notExist ((
        [xsh:triplePath (xsh:subject rdf:type )]    # s rdf:type t
        [xsh:nodePath xsh:object]                   # t
        [sh:zeroOrMorePath rdfs:subClassOf]         # t rdfs:subClassOf* u
        [xsh:equal (xsh:object)]                    # u = d
    ))]   );
xsh:failure() 
}