SHACL Shapes

Validation constraints defined using SHACL (Shapes Constraint Language) that enforce structural rules on ontology data.

23shapes

82constraints

Shapesmart:PublicationDocumentShapesmart

Property	Min	Max	Type / Class	Node Kind
dcterms:hasVersion	—	—	smart:PublicationDocument	sh:IRI
dcterms:replaces	—	1	smart:PublicationDocument	sh:IRI
dcterms:issued	—	—	xsd:date	—

Shapesmart:ProvisionShapesmart

Target class: smart:Provision

Property	Min	Max	Type / Class	Node Kind
dcterms:isPartOf	1	1		sh:IRI
dcat:distribution	—	—	dcat:Distribution	sh:IRI

Shapesmart:ClauseShapesmart

Target class: smart:Clause

Property	Min	Max	Type / Class	Node Kind
smart:hasSectionNumber	—	—	xsd:string	—
dcterms:title	—	—	rdf:langString	—
dcterms:isPartOf	1	1		sh:IRI

Shapesmart:AnnotationShapesmart

Target class: oa:Annotation

Property	Min	Max	Type / Class	Node Kind
oa:hasTarget	—	—	oa:SpecificResource	sh:IRI
oa:hasBody	—	—	smart:Provision	sh:IRI

Shapesmart:SpecificResourceShapesmart

Target class: oa:SpecificResource

Property	Min	Max	Type / Class	Node Kind
oa:hasSource	—	—	smart:PublicationDocument	sh:IRI
oa:hasSelector	—	—	oa:Selector	sh:IRI
smart:isSuccessorOf	—	—	oa:SpecificResource	sh:IRI
rdf:value	—	1	rdf:langString	—
dcterms:format	—	1	xsd:string	—

Shapesmart:SelectorShapesmart

Target class: oa:Selector

Property	Min	Max	Type / Class	Node Kind
rdf:value	1	1	xsd:string	—

Shapesmart:TermEntryShapesmart

Target class: smart:TermEntry

Property	Min	Max	Type / Class	Node Kind
skosxl:prefLabel	1	—	smart:Term	sh:IRI
skosxl:prefLabel / skosxl:literalForm	1	—	rdf:langString	—
skosxl:altLabel	—	—	smart:Term	sh:IRI
smart:deprecatedLabel	—	—	smart:Term	sh:IRI
prov:qualifiedDerivation	—	—	prov:Derivation	sh:BlankNodeOrIRI
skos:scopeNote	—	—	rdf:langString	—
skos:definition	1	—	rdf:langString	—
dcterms:identifier	—	—	xsd:string	—

Shapesmart:TermShapesmart

Target class: smart:Term

Property	Min	Max	Type / Class	Node Kind
smart:hasTermFormType	1	1	smart:TermFormType	sh:IRI
smart:hasPartOfSpeechType	1	1	smart:PartOfSpeechType	sh:IRI
rdf:type	2	—	= skosxl:Label	—
skosxl:literalForm	1	1	rdf:langString	—
smart:hasTermFormType	1	1	smart:TermFormType	sh:IRI

Shapesmart:DerivationShapesmart

Target class: prov:Derivation

Property	Min	Max	Type / Class	Node Kind
prov:entity	1	1		sh:IRI
skos:changeNote	—	—	rdf:langString	—

Shapeisq:QuantityShapeisq

Target class: isq:Quantity

Property	Min	Max	Type / Class	Node Kind
rdf:type	2	—	= smart:TermEntry	—
dcterms:identifier	1	1	xsd:string	—
skosxl:prefLabel	1	—	smart:Term	sh:IRI
skosxl:altLabel	—	—	smart:Term	sh:IRI
skos:definition	1	—	rdf:langString	—
skos:note	—	—	rdf:langString	—
isq:hasUnit	—	—	isq:Unit	sh:IRI
isq:hasDimension	—	1	isq:Dimension	sh:IRI
smart:hasBindingnessType	1	1	smart:BindingnessType	sh:IRI
dcterms:isPartOf	1	1		sh:IRI

Shapeisq:UnitShapeisq

Target class: isq:Unit

Property	Min	Max	Type / Class	Node Kind
rdf:type	2	—	= smart:TermEntry	—
skos:prefLabel	1	—	rdf:langString	—
skos:notation	1	—	xsd:string	—
smart:hasBindingnessType	1	1	smart:BindingnessType	sh:IRI

Shapeisq:MathConceptShapeisq

Target class: isq:MathConcept

Property	Min	Max	Type / Class	Node Kind
rdf:type	2	—	= smart:TermEntry	—
dcterms:identifier	1	1	xsd:string	—
skosxl:prefLabel	1	—	smart:Term	sh:IRI
skosxl:altLabel	—	—	smart:Term	sh:IRI
skos:definition	1	—	rdf:langString	—
skos:note	—	—	rdf:langString	—
smart:hasBindingnessType	1	1	smart:BindingnessType	sh:IRI
dcterms:isPartOf	1	1		sh:IRI

Shapeisq:PartDocumentShapeisq

Objects of: dcterms:isPartOf

Property	Min	Max	Type / Class	Node Kind
rdf:type	1	—	= smart:PublicationDocument	—
dcterms:title	1	—	rdf:langString	—
smart:hasPublicationType	1	1	smart:PublicationDocumentType	sh:IRI
smart:hasBindingnessType	1	1	smart:BindingnessType	sh:IRI

Shapeisq:HasUnitShapeisq

Subjects of: isq:hasUnit

No constraints defined.

Shapeisq:DimensionShapeisq

Target class: isq:Dimension

Property	Min	Max	Type / Class	Node Kind
rdf:type	2	—	= smart:TermEntry	—
dcterms:identifier	1	1	xsd:string	—
skos:prefLabel	1	—	rdf:langString	—
skos:definition	1	—	rdf:langString	—

Shapeisq:HasDimensionShapeisq

Subjects of: isq:hasDimension

No constraints defined.

Shapeisq:KindOfQuantityShapeisq

Target class: isq:KindOfQuantity

Property	Min	Max	Type / Class	Node Kind
isq:hasMember	—	—	isq:Quantity	sh:IRI
skos:prefLabel	1	—	rdf:langString	—
skos:definition	1	—	rdf:langString	—

Shapeisq:EntityKindShapeisq

Target class: isq:EntityKind

Property	Min	Max	Type / Class	Node Kind
skos:prefLabel	1	—	rdf:langString	—
skos:definition	1	—	rdf:langString	—

Shapeisq:EntityConceptShapeisq

Target class: isq:EntityConcept

Property	Min	Max	Type / Class	Node Kind
skos:prefLabel	1	—	rdf:langString	—
skos:definition	1	—	rdf:langString	—

Shapeisq:DedicatedQuantityShapeisq

Target class: isq:DedicatedQuantity

Property	Min	Max	Type / Class	Node Kind
isq:dedicatedTo	1	1	isq:Quantity	sh:IRI
isq:characterizes	1	—	isq:EntityConcept	sh:IRI
skos:prefLabel	1	—	rdf:langString	—
skos:definition	1	—	rdf:langString	—

Shapeisq:QuantityInstantiationShapeisq

Target class: isq:QuantityInstantiation

Property	Min	Max	Type / Class	Node Kind
isq:instantiationOf	1	1	isq:DedicatedQuantity	sh:IRI
isq:instantiates	1	—	smart:Entity	sh:IRI
isq:instantiatedAt	—	1	xsd:dateTime	—
skos:prefLabel	1	—	rdf:langString	—

Shapeisq:MeasuredQuantityShapeisq

Target class: isq:MeasuredQuantity

Property	Min	Max	Type / Class	Node Kind
isq:measurementOf	1	1	isq:QuantityInstantiation	sh:IRI
isq:hasValue	1	1	xsd:decimal	—
isq:hasUnit	1	1	isq:Unit	sh:IRI
isq:uncertainty	—	1	xsd:decimal	—
isq:measuredAt	—	1	xsd:dateTime	—
skos:prefLabel	1	—	rdf:langString	—

Shapeisq:HasKindShapeisq

Subjects of: isq:hasKind

No constraints defined.