query.shacl.domaincheckstrict.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!

#
# Strict 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:notExist (
        [xsh:triplePath ((xsh:preceding xsh:subject) rdf:type (xsh:source xsh:object))] # s rdf:type d
    )]
    [xsh:nodePath xsh:subject]
    );
xsh:failure() 
]
}