?property a owl:DatatypeProperty ; rdfs:range xsd:string . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a owl:DatatypeProperty ; rdfs:range xsd:gDay . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The property that determines the subject of a negative property assertion.
?property a rdfs:Datatype ; rdfs:range xsd:unsignedInt . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?type a rdfs:Class ; owl:oneOf ?inclusionTypesList . ?inclusionTypesList rdf:rest* ?inclusionTypesListRest ; rdf:first ?inclusionTypesListHead ; rdf:rest ?inclusionTypesListTail .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape ; sh:pattern '(\\+|-)?(&#910-9&#93+(\\.&#910-9&#93*)?|\\.&#910-9&#93+)'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:decimal . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a owl:DatatypeProperty ; rdfs:range xsd:gMonthDay . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '-?(&#911-9&#93&#910-9&#93{3,}|0&#910-9&#93{3})-(0&#911-9&#93|1&#910-2&#93)-(0&#911-9&#93|&#9112&#93&#910-9&#93|3&#9101&#93)(Z|(\\+|-)((0&#910-9&#93|1&#910-3&#93):&#910-5&#93&#910-9&#93|14:00))?'^^xsd:string . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:date . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''4294967295''^^xsd:integer ; sh:minInclusive ''0''^^xsd:integer .
?shapeUrl a sh:PropertyShape; sh:class ?typeInRange .
?property a owl:ObjectProperty ; rdfs:comment ?propertyComment .
?type a owl:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:cardinality ?cardinality .
?property a owl:DatatypeProperty ; rdfs:range xsd:nonNegativeInteger . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:NodeShape ; sh:targetClass ?type . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '--(0&#911-9&#93|1&#910-2&#93)(Z|(\\+|-)((0&#910-9&#93|1&#910-3&#93):&#910-5&#93&#910-9&#93|14:00))?'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:gMonth . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?type a rdfs:Class; rdfs:label ?shapeNodeName .
?shapeUrl a sh:PropertyShape ; sh:pattern ?restrictionPattern .
?type a owl:Class; rdfs:label ?shapeNodeName .
A rule based on triple (subject, predicate, object) pattern.
?property a rdfs:Datatype ; rdfs:range xsd:language . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a rdfs:Datatype ; owl:equivalentProperty ?equivalentProperty . MINUS { ?property a owl:InverseFunctionalProperty } . MINUS { ?property a owl:FunctionalProperty } .
The validator(s) used to evaluate constraints of either node or property shapes.
?shapeUrl a sh:PropertyShape ; sh:minInclusive ?restrictionMin .
The shape that is was validated when the result was produced.
?property a owl:DatatypeProperty ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:minLength ?restrictionMin .
Specifies a value that must be among the value nodes.
?property a rdfs:Datatype ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:maxLength ?restrictionMax .
A property shape is a shape that specifies constraints on the values of a focus node for a given property or path.
The class of constraints based on SPARQL SELECT queries.
The shapes that the focus nodes need to conform to before a rule is executed on them.
?property a rdfs:Datatype ; rdfs:range xsd:byte . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
Links a shape to individual nodes, indicating that these nodes must conform to the shape.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; sh:nodeKind sh:BlankNodeOrIRI . } WHERE { ?property a ?propertyType . VALUES ?propertyType { owl:ObjectProperty } FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The object property that relates every two individuals.
The property that determines the cardinality of a minimum cardinality restriction.
A constraint component that can be used to verify that all value nodes conform to the given property shape.
The annotation property that indicates that a given ontology is backward compatible with another ontology.
?shapeUrl a sh:NodeShape ; sh:equals ?sameAsType .
?property a owl:DatatypeProperty ; rdfs:range xsd:base64Binary . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a rdfs:Datatype ; rdfs:range xsd:unsignedShort . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
A constraint component that can be used to test whether a value node conforms to all members of a provided list of shapes.
The parameters of a function or constraint component.
The (single) value of this property represents a path that is matched zero or more times.
?type a rdfs:Class ; owl:intersectionOf ?intersectedTypesList . ?intersectedTypesList rdf:rest* ?intersectedTypesListRest ; rdf:first ?intersectedTypesListHead ; rdf:rest ?intersectedTypesListTail .
A constraint component that can be used to exclusively enumerate the permitted value nodes.
Specifies a list of language tags that all value nodes must have.
The property that determines that two given properties are equivalent.
Specifies a property that must have smaller values than the value nodes.
?property a rdfs:Datatype ; rdfs:range xsd:yearMonthDuration . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?type a rdfs:Class ; owl:complementOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?complementaryProperty .
?property a owl:DatatypeProperty ; rdfs:range xsd:gMonth . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The property that determines the datatype that a datatype restriction refers to.
?property a owl:DatatypeProperty ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:maxLength ?restrictionMax .
?property a owl:DatatypeProperty ; rdfs:range xsd:Name . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The property that determines the cardinality of a maximum cardinality restriction.
A node expression that represents the current focus node.
?property a owl:DatatypeProperty ; rdfs:range xsd:NMTOKENS . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The (single) value of this property represents a path that is matched one or more times.
?shapeUrl a sh:NodeShape; rdfs:isDefinedBy ?shapeNodeDefinedBy .
?property a rdfs:Datatype ; rdfs:range xsd:double . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?type a rdfs:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:qualifiedCardinality ?qualifiedCardinality ; owl:onClass ?onClassRestriction .
?property a owl:ObjectProperty ; rdfs:isDefinedBy ?shapePropertyDefinedBy .
The property that determines that two given individuals are equal.
?property a rdfs:Datatype ; rdfs:range xsd:string . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The (single) value of this property represents an inverse path (object to subject).
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '\\i\\c*'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:Name . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a owl:DatatypeProperty ; rdfs:seeAlso ?shapePropertySeeAlso .
?property a owl:DatatypeProperty ; rdfs:range xsd:float . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
A function backed by a SPARQL query - either ASK or SELECT.
The property that determines the predicate of a negative property assertion.
?type a rdfs:Class ; owl:unionOf ?unionTypesList . ?unionTypesList rdf:rest* ?unionTypesListRest ; rdf:first ?unionTypesListHead ; rdf:rest ?unionTypesListTail .
A constraint component that can be used to verify that every value node matches a given regular expression.
The node kind of all blank nodes or IRIs.
A constraint component that can be used to restrict the range of value nodes with a maximum exclusive value.
?property a rdfs:Datatype ; rdfs:range xsd:short . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The property that determines the property that a property restriction refers to.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '((&#9101&#93&#910-9&#93|2&#910-3&#93):&#910-5&#93&#910-9&#93:&#910-5&#93&#910-9&#93(\\.&#910-9&#93+)?|(24:00:00(\\.0+)?))(Z|(\\+|-)((0&#910-9&#93|1&#910-3&#93):&#910-5&#93&#910-9&#93|14:00))?'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:time . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a rdfs:Datatype ; rdfs:range xsd:decimal . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
A constraint component that can be used to restrict the maximum string length of value nodes.
The property that determines that two given individuals are different.
?shapeUrl a sh:NodeShape; sh:nodeKind sh:IRI .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; ?variableRange ?valuesInRange . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} ?type rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty . ?owlPropertyRestriction owl:allValuesFrom ?valuesInRange . BIND ( IF ( STRSTARTS(str(?valuesInRange),'http://www.w3.org/2001/XMLSchema#'), sh:datatype, sh:class ) AS ?variableRange ) BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?rangedProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
If set to true then all nodes conform to this.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '-?(&#911-9&#93&#910-9&#93{3,}|0&#910-9&#93{3})-(0&#911-9&#93|1&#910-2&#93)-(0&#911-9&#93|&#9112&#93&#910-9&#93|3&#9101&#93)T((&#9101&#93&#910-9&#93|2&#910-3&#93):&#910-5&#93&#910-9&#93:&#910-5&#93&#910-9&#93(\\.&#910-9&#93+)?|(24:00:00(\\.0+)?))(Z|(\\+|-)((0&#910-9&#93|1&#910-3&#93):&#910-5&#93&#910-9&#93|14:00))?'^^xsd:string . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:dateTime . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The (single) value of this property represents a path that is matched zero or one times.
?shapeUrl a sh:PropertyShape ; sh:name ?propertyName ; rdfs:label ?propertyName .
?property a owl:DatatypeProperty ; rdfs:range xsd:boolean . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string. ?shapeUrl sh:maxInclusive '0'^^xsd:integer. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:nonPositiveInteger . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
Abstract base class of resources that declare an executable JavaScript.
The base class of targets such as those based on SPARQL queries.
?shapeUrl a sh:NodeShape ; sh:in ?inclusionTypesList . ?inclusionTypesListRest rdf:first ?inclusionTypesListHeadShape ; rdf:rest ?inclusionTypesListTailShape .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string . ?shapeUrl sh:maxInclusive '32767'^^xsd:integer . ?shapeUrl sh:minInclusive '-32768'^^xsd:integer . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:short . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
A constraint component that can be used to restrict the RDF node kind of each value node.
?property a owl:DatatypeProperty ; rdfs:range xsd:NMTOKEN . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
A shape is a collection of constraints that may be targeted for certain nodes.
The property that determines the object of a negative object property assertion.
?property a owl:DatatypeProperty ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:maxInclusive ?restrictionMax .
?property a owl:DatatypeProperty ; rdfs:range xsd:unsignedByte . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape ; sh:equals ?sameAsType . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . ?type owl:equivalentClass ?sameAsType . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
?type a rdfs:Class ; owl:complementOf ?complementType .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:equals ?equivalentProperty . } WHERE { ?property a ?propertyType . VALUES ?propertyType { owl:ObjectProperty owl:DatatypeProperty rdfs:Datatype } . MINUS { ?propertyType a owl:InverseFunctionalProperty } . MINUS { ?propertyType a owl:FunctionalProperty } . ?property owl:equivalentProperty ?equivalentProperty . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:PropertyShape ; sh:datatype ?typeInRange .
The (meta) class for parameterizable targets. Instances of this are instantiated as values of the sh:target property.
The property that determines the cardinality of an exact cardinality restriction.
?property a owl:DatatypeProperty ; rdfs:range xsd:unsignedInt . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The class of prefix declarations, consisting of pairs of a prefix with a namespace.
?shapeUrl a sh:NodeShape ; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape ; sh:path ?rangedProperty .
A node shape is a shape that specifies constraint that need to be met with respect to focus nodes.
?type a owl:Class; rdfs:comment ?shapeNodeDescription .
?type a owl:Class; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty ; owl:hasValue ?hasValue .
?property a owl:DatatypeProperty ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:minInclusive ?restrictionMin .
The object property that does not relate any two individuals.
Specifies a list of shapes so that the value nodes must conform to exactly one of the shapes.
?shapeUrl a sh:PropertyShape ; rdfs:seeAlso ?shapePropertySeeAlso .
A constraint component that can be used to restrict the range of value nodes with a minimum inclusive value.
A constraint component with the parameter sh:js linking to a sh:JSConstraint containing a sh:script.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; sh:description ?propertyComment; rdfs:label ?propertyComment . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:ObjectProperty owl:DatatypeProperty rdfs:Datatype } . ?property rdfs:comment ?propertyComment . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:PropertyShape ; sh:pattern ''[^YM]*(T.*)?''^^xsd:string.
?shapeUrl a sh:NodeShape; rdfs:seeAlso ?shapeNodeSeeAlso .
The (meta) class for parameterizable targets that are based on JavaScript functions.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode sh:qualifiedMinCount ?minQualifiedCardinality; sh:qualifiedValueShape &#91 sh:class ?onClassRestriction &#93 . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl { owl:Class rdfs:Class } ?type rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty . ?owlPropertyRestriction owl:minQualifiedCardinality ?minQualifiedCardinality . ?owlPropertyRestriction owl:onClass ?onClassRestriction . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?rangedProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
A constraint component that can be used to restrict the minimum number of value nodes.
?type a rdfs:Class ; owl:complementOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?complementaryProperty ; owl:hasValue ?complementaryPropertyRange .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:description ?shapeNodeDescription . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . ?type rdfs:comment ?shapeNodeDescription . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
True if the validation did not produce any validation results, and false otherwise.
A constraint component that can be used to enumerate language tags that all value nodes must have.
?property a owl:ObjectProperty ; rdfs:label ?propertyName .
?property a rdfs:Datatype ; rdfs:range xsd:unsignedByte . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string . ?shapeUrl sh:maxInclusive '2147483647'^^xsd:integer . ?shapeUrl sh:minInclusive '-2147483648'^^xsd:integer . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:int . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a owl:ObjectProperty ; rdfs:range ?typeInRange .
?property a rdfs:Datatype ; rdfs:isDefinedBy ?shapePropertyDefinedBy .
The class of collections of pairwise different individuals.
?property a owl:DatatypeProperty ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:pattern ?restrictionPattern .
?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:maxCount ?cardinality; sh:minCount ?cardinality .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape ; sh:pattern ?restrictionPattern . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . OPTIONAL { ?restrictionElement xsd:pattern ?restrictionPattern . } FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The constraint that was validated when the result was produced.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:hasValue ?hasValue . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . ?type ?restrictionPredicate ?owlPropertyRestriction . VALUES ?restrictionPredicate { rdfs:subClassOf } . ?owlPropertyRestriction owl:onProperty ?rangedProperty . ?owlPropertyRestriction owl:hasValue ?hasValue . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?rangedProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
?property a owl:DatatypeProperty ; rdfs:range xsd:language . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''32767''^^xsd:integer ; sh:minInclusive ''-32768''^^xsd:integer .
An expression producing the nodes that shall be inferred as objects.
The property that determines that two given properties are inverse.
?property a owl:DatatypeProperty ; rdfs:range xsd:int . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?shapeUrl a sh:NodeShape ; sh:not ?embeddedNode . ?embeddedNode a sh:PropertyShape ; sh:nodeKind sh:IRIOrLiteral; sh:path ?complementaryProperty .
Specifies whether all node values must have a unique (or no) language tag.
?type a rdfs:Class; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:allValuesFrom ?valuesInRange .
The type that all value nodes must have.
?type a rdfs:Class ; owl:equivalentClass ?sameAsType .
?property a rdfs:Datatype ; rdfs:range xsd:long . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to.
?property a rdfs:Datatype ; rdfs:range xsd:gMonthDay . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a rdfs:Datatype ; rdfs:range xsd:gYearMonth . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '(\\+|-)?(&#910-9&#93+(\\.&#910-9&#93*)?|\\.&#910-9&#93+)(&#91Ee&#93(\\+|-)?&#910-9&#93+)?|(\\+|-)?INF|NaN'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:float . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a owl:DatatypeProperty ; owl:equivalentProperty ?equivalentProperty . MINUS { ?property a owl:InverseFunctionalProperty } . MINUS { ?property a owl:FunctionalProperty } .
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''0''^^xsd:integer .
?shapeUrl a sh:NodeShape ; sh:and ?intersectedTypesList . ?intersectedTypesListRest rdf:first ?intersectedTypesListHeadShape ; rdf:rest ?intersectedTypesListTailShape .
?shapeUrl a sh:PropertyShape ; sh:maxLength ?restrictionMax .
The class of literal values, eg. textual strings and integers.
?property a owl:DatatypeProperty ; rdfs:range xsd:gYear . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The namespace associated with a prefix in a prefix declaration.
A constraint component that can be used to restrict the maximum number of value nodes.
Specifies a list of shapes so that the value nodes must conform to at least one of the shapes.
The class of SPARQL executables that are based on a CONSTRUCT query.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '\\c+'^^xsd:string. ?shapeUrl sh:minLength '1'^^xsd:integer. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:NMTOKENS . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '--(0&#911-9&#93|1&#910-2&#93)-(0&#911-9&#93|&#9112&#93&#910-9&#93|3&#9101&#93)(Z|(\\+|-)((0&#910-9&#93|1&#910-3&#93):&#910-5&#93&#910-9&#93|14:00))?'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:gMonthDay . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
Specifies the minimum exclusive value of each value node.
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''-1''^^xsd:integer .
Further information about the subject resource.
The class of SPARQL executables that are based on an ASK query.
?property a rdfs:Datatype ; rdfs:range xsd:dayTimeDuration . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
Specifies a list of allowed values so that each value node must be among the members of the given list.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode sh:qualifiedMaxCount ?maxQualifiedCardinality; sh:qualifiedValueShape &#91 sh:class ?onClassRestriction &#93 . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl { owl:Class rdfs:Class } ?type rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty . ?owlPropertyRestriction owl:maxQualifiedCardinality ?maxQualifiedCardinality . ?owlPropertyRestriction owl:onClass ?onClassRestriction . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?rangedProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
The class of validation result severity levels, including violation and warning levels.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string . ?shapeUrl sh:minInclusive '0'^^xsd:integer . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:nonNegativeInteger . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
Specifies the maximum exclusive value of each value node.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; sh:nodeKind sh:IRIOrLiteral; sh:maxCount 1 . } WHERE { ?property a owl:FunctionalProperty . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The validator(s) used to evaluate a constraint in the context of a node shape.
The property that determines the cardinality of a maximum qualified cardinality restriction.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '---(0&#911-9&#93|&#9112&#93&#910-9&#93|3&#9101&#93)(Z|(\\+|-)((0&#910-9&#93|1&#910-3&#93):&#910-5&#93&#910-9&#93|14:00))?'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:gDay . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''65535''^^xsd:integer ; sh:minInclusive ''0''^^xsd:integer .
The property that determines the class that an existential property restriction refers to.
Shapes graphs that should be used when validating this data graph.
?property a owl:DatatypeProperty ; rdfs:label ?propertyName .
A constraint component that can be used to verify that all value nodes conform to the given node shape.
Links a SPARQL validator with zero or more sh:ResultAnnotation instances, defining how to derive additional result properties based on the variables of the SELECT query.
Suggested shapes graphs for this ontology. The values of this property may be used in the absence of specific sh:shapesGraph statements.
The subject is a subproperty of a property.
?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; ?variableRange ?valuesInRange .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape ; sh:minInclusive ?restrictionMin . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . OPTIONAL { ?restrictionElement xsd:minInclusive ?restrictionMin . } FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '-?P(((&#910-9&#93+Y(&#910-9&#93+M)?(&#910-9&#93+D)?|(&#910-9&#93+M)(&#910-9&#93+D)?|(&#910-9&#93+D))(T((&#910-9&#93+H)(&#910-9&#93+M)?(&#910-9&#93+(\\.&#910-9&#93+)?S)?|(&#910-9&#93+M)(&#910-9&#93+(\\.&#910-9&#93+)?S)?|(&#910-9&#93+(\\.&#910-9&#93+)?S)))?)|(T((&#910-9&#93+H)(&#910-9&#93+M)?(&#910-9&#93+(\\.&#910-9&#93+)?S)?|(&#910-9&#93+M)(&#910-9&#93+(\\.&#910-9&#93+)?S)?|(&#910-9&#93+(\\.&#910-9&#93+)?S))))'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:duration . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The property that identifies the version IRI of an ontology.
?property a rdfs:Datatype ; rdfs:range xsd:gMonth . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
A constraint component that can be used to define constraints based on SPARQL queries.
?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode sh:qualifiedMinCount ?minQualifiedCardinality; sh:qualifiedValueShape [ sh:class ?onClassRestriction ] .
?type a owl:Class ; owl:intersectionOf ?intersectedTypesList . ?intersectedTypesList rdf:rest* ?intersectedTypesListRest ; rdf:first ?intersectedTypesListHead ; rdf:rest ?intersectedTypesListTail .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape ; sh:disjoint ?disjointType . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . ?type owl:disjointWith ?disjointType . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
?property a owl:DatatypeProperty ; rdfs:range xsd:unsignedLong . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a owl:DatatypeProperty ; rdfs:range xsd:double . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?type a owl:Class ; owl:complementOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?complementaryProperty .
Specifies the minimum number of values in the set of value nodes.
?property a rdfs:Datatype ; rdfs:range xsd:nonPositiveInteger . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The class of negative property assertions.
?type a owl:Class ; owl:oneOf ?inclusionTypesList . ?inclusionTypesList rdf:rest* ?inclusionTypesListRest ; rdf:first ?inclusionTypesListHead ; rdf:rest ?inclusionTypesListTail .
The class of resources that encapsulate a SPARQL query.
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''18446744073709551615''^^xsd:integer ; sh:minInclusive ''0''^^xsd:integer .
Specifies the minimum inclusive value of each value node.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:maxInclusive ?restrictionMax . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . OPTIONAL { ?restrictionElement xsd:maxInclusive ?restrictionMax . } FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string . ?shapeUrl sh:maxInclusive '4294967295'^^xsd:integer . ?shapeUrl sh:minInclusive '0'^^xsd:integer . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:unsignedInt . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The class of validators, which provide instructions on how to process a constraint definition. This class serves as base class for the SPARQL-based validators and other possible implementations.
The class of constraints backed by a JavaScript function.
RDF list of shapes to validate the value nodes against.
The property that determines the collection of facet-value pairs that define a datatype restriction.
?property a owl:DatatypeProperty ; rdfs:range xsd:gYearMonth . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?type a owl:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty .
The annotation property that indicates that a given entity has been deprecated.
The class of SHACL rules based on SPARQL CONSTRUCT queries.
?type a owl:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:qualifiedCardinality ?qualifiedCardinality ; owl:onClass ?onClassRestriction .
The shape that all input nodes of the expression need to conform to.
A class of result annotations, which define the rules to derive the values of a given annotation property as extra values for a validation result.
?type a owl:Class ; rdfs:isDefinedBy ?shapeNodeDefinedBy .
Indicates whether a parameter is optional.
The class of SHACL rules expressed using JavaScript.
Represents a JavaScript library, typically identified by one or more URLs of files to include.
The property that determines the data range that a qualified data cardinality restriction refers to.
?shapeUrl a sh:NodeShape ; sh:description ?shapeNodeDescription .
?shapeUrl a sh:PropertyShape ; sh:equals ?equivalentProperty .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; sh:class ?typeInRange . } WHERE { ?property a ?propertyType . VALUES ?propertyType { owl:ObjectProperty } ?property rdfs:range ?typeInRange . FILTER (!isBlank(?typeInRange)) . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The property that determines that two given classes are equivalent, and that is used to specify datatype definitions.
The class of targets that are based on SPARQL queries.
The severity for a violation validation result.
A constraint component that can be used to verify that one of the value nodes is a given RDF node.
?property a owl:DatatypeProperty ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:maxExclusive ?restrictionMax .
?type a owl:Class ; owl:complementOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?complementaryProperty ; owl:hasValue ?complementaryPropertyRange .
The property that determines the individual that a has-value restriction refers to.
A constraint component that can be used to restrict the datatype of all value nodes.
?property a rdfs:Datatype ; rdfs:comment ?propertyComment .
?shapeUrl a sh:PropertyShape ; sh:minLength ?restrictionMin .
Superclass of components that can take parameters, especially functions and constraint components.
The class of parameter declarations, consisting of a path predicate and (possibly) information about allowed value type, cardinality and other characteristics.
Links a shape to a property, indicating that all all objects of triples that have the given property as their predicate must conform to the shape.
A constraint component that can be used to verify that each value node is an instance of a given type.
The constraint component that is the source of the result.
A constraint component that can be used to verify that the set of value nodes is equal to the set of nodes that have the focus node as subject and the value of a given property as predicate.
?type a rdfs:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty .
?shapeUrl a sh:PropertyShape ; sh:maxCount 1 ; sh:inversePath ?property .
The focus node that was validated when the result was produced.
?property a rdfs:Datatype ; rdfs:range xsd:boolean . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
If set to true then the shape is closed.
?property a rdfs:Datatype ; rdfs:range xsd:gYear . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a rdfs:Datatype ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:maxInclusive ?restrictionMax .
An optional RDF list of properties that are also permitted in addition to those explicitly enumerated via sh:property/sh:path.
The property that determines that a given data range is the complement of another data range with respect to the data domain.
?type a rdfs:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:maxQualifiedCardinality ?maxQualifiedCardinality ; owl:onClass ?onClassRestriction .
The (default) values of the annotation property.
The property that determines that a given class is the complement of another class.
The severity for a warning validation result.
The validator(s) used to evaluate a constraint in the context of a property shape.
?type a rdfs:Class ; rdfs:seeAlso ?shapeNodeSeeAlso .
?property a owl:DatatypeProperty ; rdfs:range xsd:dateTime . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The annotation property that shall be set.
The property that determines the subject of an annotated axiom or annotated annotation.
?property a owl:DatatypeProperty ; rdfs:range xsd:date . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '-?(&#911-9&#93&#910-9&#93{3,}|0&#910-9&#93{3})-(0&#911-9&#93|1&#910-2&#93)(Z|(\\+|-)((0&#910-9&#93|1&#910-3&#93):&#910-5&#93&#910-9&#93|14:00))?'^^xsd:string . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:gYearMonth . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string .
A default value for a property, for example for user interface tools to pre-populate input fields.
The property that determines the value of a negative data property assertion.
A constraint component that can be used to verify that value nodes do not conform to a given shape.
?property a rdfs:Datatype ; rdfs:range xsd:negativeInteger . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The property that determines the cardinality of an exact qualified cardinality restriction.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:maxCount ?cardinality; sh:minCount ?cardinality . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} ?type rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty . ?owlPropertyRestriction owl:cardinality ?cardinality . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?rangedProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:PropertyShape ; sh:datatype ?typeInRange . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} ?property rdfs:range ?typeInRange. FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape ; sh:minLength ?restrictionMin . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . OPTIONAL { ?restrictionElement xsd:minLength ?restrictionMin . } FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:NodeShape ; sh:in ?inclusionTypesList . ?inclusionTypesListRest rdf:first ?inclusionTypesListHeadShape ; rdf:rest ?inclusionTypesListTailShape . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . OPTIONAL { ?type owl:oneOf ?inclusionTypesList . ?inclusionTypesList rdf:rest* ?inclusionTypesListRest . ?inclusionTypesListRest rdf:first ?inclusionTypesListHead . ?inclusionTypesListRest rdf:rest ?inclusionTypesListTail . BIND ( IF ( ?inclusionTypesListHead != rdf:nil && !isBlank(?inclusionTypesListHead), URI(CONCAT(STR(?inclusionTypesListHead),'Shape')), ?inclusionTypesListHead ) AS ?inclusionTypesListHeadShape ) BIND ( IF ( ?inclusionTypesListTail != rdf:nil && !isBlank(?inclusionTypesListTail), URI(CONCAT(STR(?inclusionTypesListTail),'Shape')), ?inclusionTypesListTail ) AS ?inclusionTypesListTailShape ) } FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
?type a owl:Class ; owl:disjointWith ?disjointType .
?property a rdfs:Datatype ; rdfs:range xsd:duration . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?shapeUrl a sh:PropertyShape ; sh:minExclusive ?restrictionMin .
The class of OWL data ranges, which are special kinds of datatypes. Note: The use of the IRI owl:DataRange has been deprecated as of OWL 2. The IRI rdfs:Datatype SHOULD be used instead.
?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:minCount ?minCardinality .
?property a rdfs:Datatype; rdfs:range ?typeInRange .
?property a rdfs:Datatype ; rdfs:range xsd:integer . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''9223372036854775807''^^xsd:integer ; sh:minInclusive ''-9223372036854775808''^^xsd:integer .
?property a rdfs:Datatype ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:pattern ?restrictionPattern .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; sh:nodeKind sh:Literal . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
A constraint component that can be used to verify that a specified minimum number of value nodes conforms to a given shape.
Qualified-min-count constraint component
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape ; sh:maxLength ?restrictionMax . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . OPTIONAL { ?restrictionElement xsd:maxLength ?restrictionMax . } FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a owl:DatatypeProperty ; rdfs:range xsd:duration . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The data property that relates every individual to every data value.
A constraint component that can be used to restrict the value nodes so that they conform to exactly one out of several provided shapes.
The class of all node kinds, including sh:BlankNode, sh:IRI, sh:Literal or the combinations of these: sh:BlankNodeOrIRI, sh:BlankNodeOrLiteral, sh:IRIOrLiteral.
Outlines how human-readable labels of instances of the associated Parameterizable shall be produced. The values can contain {?paramName} as placeholders for the actual values of the given parameter.
?property a owl:DatatypeProperty ; rdfs:range xsd:positiveInteger . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The property that determines the property that a self restriction refers to.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91a-zA-Z&#93{1,8}(-&#91a-zA-Z0-9&#93{1,8})*'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:language . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The class of validators based on SPARQL ASK queries. The queries are evaluated for each value node and are supposed to return true if the given node conforms.
?type a rdfs:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:maxCardinality ?maxCardinality .
Specifies the minimum string length of each value node.
?type a owl:Class ; owl:complementOf ?complementType .
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:minInclusive ''1''^^xsd:integer .
?type a owl:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:maxQualifiedCardinality ?maxQualifiedCardinality ; owl:onClass ?onClassRestriction .
The severity for an informational validation result.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:maxExclusive ?restrictionMax . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . OPTIONAL { ?restrictionElement xsd:maxExclusive ?restrictionMax . } FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:NodeShape ; sh:disjoint ?disjointType .
?class a rdfs:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:minQualifiedCardinality ?minQualifiedCardinality ; owl:onClass ?onClassRestriction .
?class a owl:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:minQualifiedCardinality ?minQualifiedCardinality ; owl:onClass ?onClassRestriction .
A list of node expressions that shall be intersected.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; rdfs:isDefinedBy ?shapeNodeDefinedBy . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} ?type rdfs:isDefinedBy ?shapeNodeDefinedBy . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
Specifies the node shape that all value nodes must conform to.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string . ?shapeUrl sh:maxInclusive '9223372036854775807'^^xsd:integer . ?shapeUrl sh:minInclusive '-9223372036854775808'^^xsd:integer . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:long . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string . ?shapeUrl sh:maxInclusive '127'^^xsd:integer . ?shapeUrl sh:minInclusive '-128'^^xsd:integer . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:byte . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; sh:class ?typeInRange . } WHERE { ?property a ?propertyType . VALUES ?propertyType { owl:ObjectProperty } ?property rdfs:range ?typeInRangeBlank . ?typeInRangeBlank owl:unionOf ?typeInRange . FILTER (!isBlank(?typeInRangeUnited)) . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:maxCount ?maxCardinality . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} ?type rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty . ?owlPropertyRestriction owl:maxCardinality ?maxCardinality . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?rangedProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '^((&#91^:/?#&#93+):)?(//(&#91^/?#&#93*))?(&#91^?#&#93*)(\\?(&#91^#&#93*))?(#(.*))?'^^xsd:string . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:anyURI . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
Specifies the property path of a property shape.
Specifies an RDF datatype that all value nodes must have.
?property a owl:DatatypeProperty ; rdfs:range xsd:integer . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a rdfs:Datatype ; rdfs:range xsd:positiveInteger . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
Human-readable messages explaining the cause of the result.
Specifies the maximum number of values in the set of value nodes.
?shapeUrl a sh:NodeShape ; sh:name ?shapeNodeName ; rdfs:label ?shapeNodeName .
?shapeUrl a sh:PropertyShape ; sh:maxInclusive ?restrictionMax .
The property that determines the collection of properties that jointly build a key.
Specifies a regular expression pattern that the string representations of the value nodes must match.
?shapeUrl a sh:NodeShape ; sh:not ?embeddedNode . ?embeddedNode a sh:PropertyShape ; sh:hasValue ?complementaryPropertyRange ; sh:path ?complementaryProperty .
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''2147483647''^^xsd:integer ; sh:minInclusive ''-2147483648''^^xsd:integer .
?shapeUrl a sh:PropertyShape ; sh:pattern ''\\c+''^^xsd:string ; sh:minLength ''1''^^xsd:integer .
?property a rdfs:Datatype ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:minLength ?restrictionMin .
A constraint component that can be used to verify that a specified maximum number of value nodes conforms to a given shape.
Qualified-max-count constraint component
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; rdfs:seeAlso ?shapePropertySeeAlso . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:ObjectProperty owl:DatatypeProperty rdfs:Datatype } . ?property rdfs:seeAlso ?shapePropertySeeAlso . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?type a owl:Class ; rdfs:seeAlso ?shapeNodeSeeAlso .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '(((&#91A-Za-z0-9+/&#93 ?){4})*((&#91A-Za-z0-9+/&#93 ?){3}&#91A-Za-z0-9+/&#93|(&#91A-Za-z0-9+/&#93 ?){2}&#91AEIMQUYcgkosw048&#93 ?=|&#91A-Za-z0-9+/&#93 ?&#91AQgw&#93 ?= ?=))?'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:base64Binary . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:PropertyShape; sh:pattern ''[^DT]*''^^xsd:string.
The class of SPARQL executables based on a SPARQL UPDATE.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91^DT&#93*'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:yearMonthDuration . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
Specifies a property where the set of values must be disjoint with the value nodes.
?shapeUrl a sh:PropertyShape ; sh:pattern ''true|false|0|1''^^xsd:string .
?shapeUrl a sh:PropertyShape ; rdfs:isDefinedBy ?shapePropertyDefinedBy .
A constraint component that can be used to verify that a given node expression produces true for all value nodes.
?property a owl:ObjectProperty ; rdfs:range [ owl:unionOf ?typeInRange ] .
Declares the URLs of a JavaScript library. This should be the absolute URL of a JavaScript file. Implementations may redirect those to local files.
If true then the validation engine was certain that the shapes graph has passed all SHACL syntax requirements during the validation process.
The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom.
The property that determines the collection of classes or data ranges that build a union.
A constraint component that can be used to indicate that focus nodes must only have values for those properties that have been explicitly enumerated via sh:property/sh:path.
The property that determines the cardinality of a minimum qualified cardinality restriction.
?property a rdfs:Datatype ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:maxExclusive ?restrictionMax .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape ; sh:maxLength ?restrictionLength ; sh:minLength ?restrictionLength . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . OPTIONAL { ?restrictionElement xsd:length ?restrictionLength . } FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
Can be used to mark the qualified value shape to be disjoint with its sibling shapes.
The name of the JavaScript function to execute.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode sh:qualifiedMinCount ?qualifiedCardinality; sh:qualifiedMaxCount ?qualifiedCardinality; sh:qualifiedValueShape &#91 sh:class ?onClassRestriction &#93 . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl { owl:Class rdfs:Class } ?type rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty . ?owlPropertyRestriction owl:qualifiedCardinality ?qualifiedCardinality . ?owlPropertyRestriction owl:onClass ?onClassRestriction . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?rangedProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
?property a rdfs:Datatype ; rdfs:range xsd:time . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?shapeUrl a sh:NodeShape ; sh:targetClass ?type .
Declares which JavaScript libraries are needed to execute this.
?property a rdfs:Datatype ; rdfs:range xsd:base64Binary . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The minimum number of value nodes that must conform to the shape.
An entailment regime that indicates what kind of inferencing is required by a shapes graph.
The class of targets that are based on JavaScript functions.
The property that determines that two given properties are disjoint.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '\\c+'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:NMTOKEN . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
Links a result with other results that provide more details, for example to describe violations against nested shapes.
The property that determines the n-tuple of properties that build a sub property chain of a given property.
The node expression that must return true for the value nodes.
The class of inverse-functional properties.
?property a rdfs:Datatype ; rdfs:range xsd:int . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
Instances of this class represent groups of property shapes that belong together.
?property a rdfs:Datatype ; rdfs:range xsd:date . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string . ?shapeUrl sh:maxInclusive '65535'^^xsd:integer . ?shapeUrl sh:minInclusive '0'^^xsd:integer . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:unsignedShort . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The data property that does not relate any individual to any data value.
The class of validators based on SPARQL SELECT queries. The queries are evaluated for each focus node and are supposed to produce bindings for all focus nodes that do not conform.
?property a owl:DatatypeProperty ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:minExclusive ?restrictionMin .
?type a owl:Class ; owl:equivalentClass ?sameAsType .
The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.
?property a owl:DatatypeProperty; rdfs:range ?typeInRange .
?shapeUrl a sh:PropertyShape ; sh:maxExclusive ?restrictionMax .
The property that is used for importing other ontologies into a given ontology.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:NodeShape ; sh:not ?complementTypeShape . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . ?type owl:complementOf ?complementType . BIND ( URI(CONCAT(STR(?complementType),'Shape')) AS ?complementTypeShape) . FILTER (!isBlank(?complementType)) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
?shapeUrl a sh:PropertyShape ; sh:pattern ''([0-9a-fA-F]{2})*''^^xsd:string .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '(\\+|-)?(&#910-9&#93+(\\.&#910-9&#93*)?|\\.&#910-9&#93+)(&#91Ee&#93(\\+|-)?&#910-9&#93+)? |(\\+|-)?INF|NaN'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:double . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The property that determines that two given classes are disjoint.
The class of collections of pairwise disjoint classes.
The prefixes that shall be applied before parsing the associated SPARQL query.
The name of the SPARQL variable from the SELECT clause that shall be used for the values.
?property a owl:DatatypeProperty ; rdfs:range xsd:time . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; sh:name ?propertyName; rdfs:label ?propertyName . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:ObjectProperty owl:DatatypeProperty rdfs:Datatype } . ?property rdfs:label ?propertyName . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a rdfs:Datatype ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:minInclusive ?restrictionMin .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string . ?shapeUrl sh:maxInclusive '255'^^xsd:integer . ?shapeUrl sh:minInclusive '0'^^xsd:integer . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:unsignedByte . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a owl:DatatypeProperty ; rdfs:comment ?propertyComment .
?property a rdfs:Datatype ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:minExclusive ?restrictionMin .
A constraint component that can be used to restrict the value nodes so that they conform to at least one out of several provided shapes.
?type a rdfs:Class; rdfs:comment ?shapeNodeDescription .
?type a rdfs:Class ; rdfs:isDefinedBy ?shapeNodeDefinedBy .
Specifies the relative order of this compared to its siblings. For example use 0 for the first, 1 for the second.
?property a owl:InverseFunctionalProperty .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '.*'^^xsd:string . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:string . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The property that determines the object of an annotated axiom or annotated annotation.
?type a rdfs:Class ; owl:disjointWith ?disjointType .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string. ?shapeUrl sh:minInclusive '1'^^xsd:integer. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:positiveInteger . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:hasValue ?hasValue .
?property a owl:DatatypeProperty ; rdfs:isDefinedBy ?shapePropertyDefinedBy .
?type a rdfs:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:minCardinality ?minCardinality .
The severity of the result, e.g. warning.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:NodeShape ; sh:not ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:hasValue ?complementaryPropertyRange; sh:path ?complementaryProperty . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . ?type owl:complementOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?complementaryProperty . ?owlPropertyRestriction owl:hasValue ?complementaryPropertyRange . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?complementaryProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
The property that determines the class that a qualified object cardinality restriction refers to.
?property a owl:DatatypeProperty ; rdfs:range xsd:hexBinary . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a owl:DatatypeProperty ; rdfs:range xsd:unsignedShort . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string . ?shapeUrl sh:maxInclusive '18446744073709551615'^^xsd:integer . ?shapeUrl sh:minInclusive '0'^^xsd:integer . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:unsignedLong . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
Specifies a property that must have the same values as the value nodes.
Specifies the node kind (e.g. IRI or literal) each value node.
Specifies a shape that the value nodes must not conform to.
Links a shape to a property, indicating that all subjects of triples that have the given property as their predicate must conform to the shape.
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''127''^^xsd:integer ; sh:minInclusive ''-128''^^xsd:integer .
?property a owl:DatatypeProperty ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:length ?restrictionLength .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:name ?shapeNodeName; rdfs:label ?shapeNodeName . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . ?type rdfs:label ?shapeNodeName . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; sh:maxCount 1; sh:nodeKind sh:IRIOrLiteral ; sh:inversePath ?property . } WHERE { ?property a owl:InverseFunctionalProperty . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom.
The class of SHACL rules. Never instantiated directly.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:PropertyShape; rdfs:isDefinedBy ?shapePropertyDefinedBy . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:ObjectProperty owl:DatatypeProperty rdfs:Datatype } . ?property rdfs:isDefinedBy ?shapePropertyDefinedBy . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The (single) value of this property must be a list of path elements, representing the elements of alternative paths.
The node expression producing the input nodes of a filter shape expression.
The node kind of all blank nodes or literals.
?property a rdfs:Datatype ; rdfs:range xsd:gDay . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?shapeUrl a sh:PropertyShape ; sh:description ?propertyComment ; rdfs:label ?propertyComment .
?shapeUrl a sh:PropertyShape ; sh:maxCount 1 .
The property that determines the class that a universal property restriction refers to.
?property a rdfs:Datatype ; owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . ?restrictionElement xsd:length ?restrictionLength .
The class of collections of pairwise disjoint properties.
An optional flag to be used with regular expression pattern matching.
?property a rdfs:Datatype ; rdfs:range xsd:anyURI . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
The property that determines the predicate of an annotated axiom or annotated annotation.
?type a owl:Class; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:allValuesFrom ?valuesInRange .
?shapeUrl a sh:NodeShape ; sh:or ?unionTypesList . ?unionTypesListRest rdf:first ?unionTypesListHeadShape ; rdf:rest ?unionTypesListTailShape .
A constraint component that can be used to restrict the range of value nodes with a minimum exclusive value.
?property a rdfs:Datatype ; rdfs:range xsd:NMTOKEN . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
Specifies the maximum string length of each value node.
The defininition of the subject resource.
?property a owl:DatatypeProperty ; rdfs:range xsd:long . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?type a rdfs:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:cardinality ?cardinality .
?property a owl:DatatypeProperty ; rdfs:range xsd:dayTimeDuration . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?type a rdfs:Class; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty ; owl:hasValue ?hasValue .
?property a rdfs:Datatype ; rdfs:range xsd:unsignedLong . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
A constraint component that can be used to verify that each value node is smaller than all the nodes that have the focus node as subject and the value of a given property as predicate.
The property that determines the collection of individuals or data values that build an enumeration.
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:path ?rangedProperty . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} ?type rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?rangedProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
The path of a validation result, based on the path of the validated property shape.
?property a rdfs:Datatype ; rdfs:seeAlso ?shapePropertySeeAlso .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:nodeKind sh:IRI . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
?property a owl:ObjectProperty ; rdfs:seeAlso ?shapePropertySeeAlso .
The validation results contained in a validation report.
The class of SPARQL executables based on a SELECT query.
?property a owl:DatatypeProperty ; rdfs:range xsd:byte . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode sh:qualifiedMinCount ?qualifiedCardinality; sh:qualifiedMaxCount ?qualifiedCardinality; sh:qualifiedValueShape [ sh:class ?onClassRestriction ] .
?shapeUrl a sh:PropertyShape ; sh:maxLength ?restrictionLength ; sh:minLength ?restrictionLength .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:minCount ?minCardinality . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} ?type rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?rangedProperty . ?owlPropertyRestriction owl:minCardinality ?minCardinality . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?rangedProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
?type a owl:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:minCardinality ?minCardinality .
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:maxInclusive ''255''^^xsd:integer ; sh:minInclusive ''0''^^xsd:integer .
?shapeUrl a sh:PropertyShape ; sh:nodeKind sh:BlankNodeOrIRI .
?property a owl:DatatypeProperty ; rdfs:range xsd:yearMonthDuration . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
Human-readable descriptions for the property in the context of the surrounding shape.
?property a rdfs:Datatype ; rdfs:range xsd:nonNegativeInteger . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '(&#910-9a-fA-F&#93{2})*'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:hexBinary . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:NodeShape ; sh:not ?complementTypeShape .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> CONSTRUCT { ?shapeUrl a sh:NodeShape; rdfs:seeAlso ?shapeNodeSeeAlso . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} ?type rdfs:seeAlso ?shapeNodeSeeAlso . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
?shapeUrl a sh:PropertyShape ; sh:nodeKind sh:Literal .
The (meta) class for parameterizable targets that are based on SPARQL queries.
A constraint component that can be used to verify that the set of value nodes is disjoint with the the set of nodes that have the focus node as subject and the value of a given property as predicate.
?property a rdfs:Datatype ; rdfs:range xsd:Name . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
A constraint component that can be used to restrict the minimum string length of value nodes.
The class of container membership properties, rdf:_1, rdf:_2, ..., all of which are sub-properties of 'member'.
Links a resource with its namespace prefix declarations.
An expression producing the resources that shall be inferred as subjects.
The class of SHACL functions that execute a JavaScript function when called.
The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object.
?property a owl:DatatypeProperty ; rdfs:range xsd:anyURI . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:minExclusive ?restrictionMin . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype} ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . OPTIONAL { ?restrictionElement xsd:minExclusive ?restrictionMin . } FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:NodeShape; sh:or ?unionTypesList . ?unionTypesListRest rdf:first ?unionTypesListHeadShape ; rdf:rest ?unionTypesListTailShape . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . ?type owl:unionOf ?unionTypesList . ?unionTypesList rdf:rest* ?unionTypesListRest . ?unionTypesListRest rdf:first ?unionTypesListHead . ?unionTypesListRest rdf:rest ?unionTypesListTail . BIND ( IF ( ?unionTypesListHead != rdf:nil && !isBlank(?unionTypesListHead), URI(CONCAT(STR(?unionTypesListHead),'Shape')), ?unionTypesListHead ) AS ?unionTypesListHeadShape ) BIND ( IF ( ?unionTypesListTail != rdf:nil && !isBlank(?unionTypesListTail), URI(CONCAT(STR(?unionTypesListTail),'Shape')), ?unionTypesListTail ) AS ?unionTypesListTailShape ) FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
The base class of validation results, typically not instantiated directly.
The maximum number of value nodes that can conform to the shape.
?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode sh:qualifiedMaxCount ?maxQualifiedCardinality; sh:qualifiedValueShape [ sh:class ?onClassRestriction ] .
?shapeUrl a sh:PropertyShape ; sh:pattern ''\\c+''^^xsd:string .
A constraint component that can be used to specify that no pair of value nodes may use the same language tag.
?property a rdfs:Datatype ; rdfs:range xsd:hexBinary . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
A constraint component that can be used to verify that every value node is smaller than all the nodes that have the focus node as subject and the value of a given property as predicate.
less-than-or-equals constraint component
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:NodeShape ; sh:not ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:nodeKind sh:IRIOrLiteral; sh:path ?complementaryProperty . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} . ?type ?relationship ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction . ?owlPropertyRestriction owl:onProperty ?complementaryProperty . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(CONCAT(STR(?type),STR(?complementaryProperty))))) AS ?embeddedNode) . FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
An expression producing the properties that shall be inferred as predicates.
A list of node expressions that shall be used together.
?type a owl:Class ; owl:unionOf ?unionTypesList . ?unionTypesList rdf:rest* ?unionTypesListRest ; rdf:first ?unionTypesListHead ; rdf:rest ?unionTypesListTail .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> CONSTRUCT { ?shapeUrl a sh:NodeShape ; sh:and ?intersectedTypesList . ?intersectedTypesListRest rdf:first ?intersectedTypesListHeadShape ; rdf:rest ?intersectedTypesListTailShape . } WHERE { ?type a ?typeClassUrl . VALUES ?typeClassUrl {owl:Class rdfs:Class} ?type owl:intersectionOf ?intersectedTypesList . ?intersectedTypesList rdf:rest* ?intersectedTypesListRest . ?intersectedTypesListRest rdf:first ?intersectedTypesListHead . ?intersectedTypesListRest rdf:rest ?intersectedTypesListTail . BIND ( IF ( ?intersectedTypesListHead != rdf:nil && !isBlank(?intersectedTypesListHead), URI(CONCAT(STR(?intersectedTypesListHead),'Shape')), ?intersectedTypesListHead ) AS ?intersectedTypesListHeadShape ) BIND ( IF ( ?intersectedTypesListTail != rdf:nil && !isBlank(?intersectedTypesListTail), URI(CONCAT(STR(?intersectedTypesListTail),'Shape')), ?intersectedTypesListTail ) AS ?intersectedTypesListTailShape ) FILTER (!isBlank(?type)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?type)))) AS ?shapeUrl) . }
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:integer . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The expected type of values returned by the associated function.
?property a rdfs:Datatype ; rdfs:label ?propertyName .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '-?(&#911-9&#93&#910-9&#93{3,}|0&#910-9&#93{3})(Z|(\\+|-)((0&#910-9&#93|1&#910-3&#93):&#910-5&#93&#910-9&#93|14:00))?'^^xsd:string . } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:gYear . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a owl:ObjectProperty ; owl:equivalentProperty ?equivalentProperty . MINUS { ?property a owl:InverseFunctionalProperty } . MINUS { ?property a owl:FunctionalProperty } .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern '&#91\\-+&#93?&#910-9&#93+'^^xsd:string. ?shapeUrl sh:maxInclusive '-1'^^xsd:integer. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:negativeInteger . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?shapeUrl a sh:NodeShape; sh:property ?embeddedNode . ?embeddedNode a sh:PropertyShape; sh:maxCount ?maxCardinality .
?property a owl:DatatypeProperty ; rdfs:range xsd:negativeInteger . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?shapeUrl a sh:PropertyShape ; sh:pattern ''.*''^^xsd:string .
A human-readable message (possibly with placeholders for variables) explaining the cause of the result.
Human-readable labels for the property in the context of the surrounding shape.
The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object.
Links a shape to a class, indicating that all instances of the class must conform to the shape.
Defines the severity that validation results produced by a shape must have. Defaults to sh:Violation.
?property a rdfs:Datatype ; rdfs:range xsd:NMTOKENS . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
Specifies a property that must have smaller or equal values than the value nodes.
A SHACL validator based on JavaScript. This can be used to declare SHACL constraint components that perform JavaScript-based validation when used.
The annotation property that indicates the predecessor ontology of a given ontology.
?property a owl:DatatypeProperty ; rdfs:range xsd:short . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?shapeUrl a sh:PropertyShape ; sh:pattern ''[\\-+]?[0-9]+''^^xsd:string ; sh:minInclusive ''0''^^xsd:integer .
?shapeUrl a sh:PropertyShape ; sh:pattern ''\\i\\c*''^^xsd:string .
?property a owl:DatatypeProperty ; rdfs:range xsd:decimal . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a rdfs:Datatype ; rdfs:range xsd:dateTime . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?type a owl:Class ; rdfs:subClassOf ?owlPropertyRestriction . ?owlPropertyRestriction a owl:Restriction ; owl:onProperty ?rangedProperty ; owl:maxCardinality ?maxCardinality .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape . ?shapeUrl sh:pattern 'true|false|0|1'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:boolean . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
The shape that a specified number of values must conform to.
Can be used to link to a property group to indicate that a property shape belongs to a group of related property shapes.
?shapeUrl a sh:PropertyShape ; sh:pattern ''[a-zA-Z]{1,8}(-[a-zA-Z0-9]{1,8})*''^^xsd:string .
PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> CONSTRUCT { ?shapeUrl a sh:PropertyShape ; sh:pattern '&#91^YM&#93*(T.*)?'^^xsd:string. } WHERE { ?property a ?propertyType . VALUES ?propertyType {owl:DatatypeProperty rdfs:Datatype } OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } } ?property rdfs:range xsd:dayTimeDuration . FILTER (!isBlank(?property)) . BIND(URI(CONCAT('https://astrea.linkeddata.es/shapes#',MD5(STR(?property)))) AS ?shapeUrl) . }
?property a rdfs:Datatype ; rdfs:range xsd:float . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
?property a owl:DatatypeProperty ; rdfs:range xsd:nonPositiveInteger . OPTIONAL { ?property owl:withRestrictions ?restrictionsList . ?restrictionsList rdf:rest*/rdf:first ?restrictionElement . FILTER NOT EXISTS { ?restrictionElement xsd:pattern ?restrictionPattern . } }
A constraint component that can be used to restrict the range of value nodes with a maximum inclusive value.
Specifies the maximum inclusive value of each value node.
The annotation property that provides version information for an ontology or another OWL construct.
Links a shape to a target specified by an extension language, for example instances of sh:SPARQLTarget.
The annotation property that indicates that a given ontology is incompatible with another ontology.
The property that determines the collection of classes or data ranges that build an intersection.