TopBraid Data Shapes Library

IRI:
http://topbraid.org/tosh
Imported Ontologies:
http://datashapes.org/dash (visualise it with LODE)
Other visualisation:
Ontology source

Abstract

A collection of SHACL features that are used whenever SHACL graphs are used within TopBraid Suite products. This includes things like suggested PropertyGroups and Shapes that control the layout of forms. Some of these may be of general use outside of TopBraid too. This namespace also includes the function tosh:hasShape, which can be used to implement some advanced constraint components using SPARQL only.

Table of Content

  1. Object Properties
  2. Data Properties
  3. Named Individuals
  4. Annotation Properties
  5. Namespace Declarations

Object Properties

view gadgetop back to ToC or Object Property ToC

IRI: http://topbraid.org/tosh#viewGadget

Can link a property shape with a UI gadget that shall be used to render property values on forms (in viewing mode). In contrast to tosh:viewWidget which is about individual values only, a gadget is expected to take full control, i.e. it needs to make all necessary decisions to render the values appropriately. The gadget is parameterized with the focus node and the path. This property is currently only supported at property groups and then applies to all properties in that group.
has range
resourcec

view widgetop back to ToC or Object Property ToC

IRI: http://topbraid.org/tosh#viewWidget

has range
object viewer classc

Data Properties

closeddp back to ToC or Data Property ToC

IRI: http://topbraid.org/tosh#closed

If set to true, then the corresponding form section will be closed by default.
has domain
property group
has range
boolean

edit group descriptiondp back to ToC or Data Property ToC

IRI: http://topbraid.org/tosh#editGroupDescription

A description of the property group when in "edit" mode.
has domain
property group
has range
string

limitdp back to ToC or Data Property ToC

IRI: http://www.w3.org/ns/shacl#limit

is defined by
http://www.w3.org/ns/shacl#
Resources with values N for sh:limit are node expressions that produce only the first N values of the associated node expression sh:nodes.
has range
integer

offsetdp back to ToC or Data Property ToC

IRI: http://www.w3.org/ns/shacl#offset

is defined by
http://www.w3.org/ns/shacl#
Resources with values N for sh:offset are node expressions that produce only all values of the associated node expression sh:nodes after the first N values have been skipped.
has range
integer

opendp back to ToC or Data Property ToC

IRI: http://topbraid.org/tosh#open

DEPRECATED: This flag is only used by SWA forms. With the new forms of 6.2 onwards, all form sections are open by default, but you can use tosh:closed to state otherwise. If set to true, then the corresponding form section will be open by default. This only has an effect if sh:openable is set to true as well.
has range
boolean

openabledp back to ToC or Data Property ToC

IRI: http://topbraid.org/tosh#openable

DEPRECATED - this was only used by the SWA-based forms that were default before 6.2. In the new forms, all sections are openable. If set to true, then the corresponding form section shall be openable/closable (and show up closed).
has range
boolean

system namespacedp back to ToC or Data Property ToC

IRI: http://topbraid.org/tosh#systemNamespace

Can be used to mark namespace resources (subjects) to count as "system namespace" that should be filtered by tosh:SystemNamespaceShape. Search for the usage of this predicate for examples. Anyone can add their own namespaces to their graphs.
has range
boolean

view group descriptiondp back to ToC or Data Property ToC

IRI: http://topbraid.org/tosh#viewGroupDescription

A description of the property group when in "view" mode.
has domain
property group
has range
string

Named Individuals

:ni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#

has facts
system namespacedp "true"^^boolean

and constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#AndConstraintComponent

has facts
property validatorop ""
node validatorop ""

and constraint component andni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#AndConstraintComponent-and

has facts
orderdp "11"^^integer
view widgetop source code viewer
groupop Complex Constraint Expressions

class constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#ClassConstraintComponent

has facts
property suggestion generatorop Delete triple suggestion generator
property suggestion generatorop Replace with default value suggestion generator
property suggestion generatorop ""

class constraint component classni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#ClassConstraintComponent-class

has facts
orderdp "2"^^integer
groupop Type of Values

closed by types constraint component closed by typesni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#ClosedByTypesConstraintComponent-closedByTypes

has facts
groupop Other Constraints

closed constraint component closedni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#ClosedConstraintComponent-closed

has facts
orderdp "0"^^decimal
groupop Other Constraints

closed constraint component ignored propertiesni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#ClosedConstraintComponent-ignoredProperties

has facts
orderdp "1"^^decimal
groupop Other Constraints

co exists with constraint component co exists withni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#CoExistsWithConstraintComponent-coExistsWith

has facts
orderdp "10"^^decimal
groupop Relationship to Other Properties

Complex Constraint Expressionsni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#ComplexConstraintPropertyGroup

belongs to
property group
has facts
orderdp "9"^^integer
openabledp "true"^^boolean
edit group descriptiondp "Most edit fields in this section currently require Turtle source code, esp to enter blank node expressions. To reference existing shapes via their URI, enter them as <URI>."

Constraint Metadatani back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#ConstraintMetadataPropertyGroup

belongs to
property group

Constraints for Strings and Textni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#StringBasedConstraintPropertyGroup

belongs to
property group
has facts
orderdp "7"^^integer
openabledp "true"^^boolean

count shapes with match resultni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#countShapesWithMatchResult

Counts the number of shapes from a given rdf:List (?arg2) defined in a given shapes graph (?arg3) where tosh:hasShape returns the provided match value (true or false, ?arg4) for a given focus node (?arg1). The function produces a failure if one of the shapes validated to a failure.
belongs to
s p a r q l function
has facts
selectdp " # The SUM will fail with an error if one of the operands is not a number # (this mechanism is used to propagate errors from tosh:hasShape calls) SELECT (SUM(?s) AS ?result) WHERE { GRAPH $shapesGraph { $shapes rdf:rest*/rdf:first ?shape . } BIND (tosh:hasShape($focusNode, ?shape, true) AS ?hasShape) . BIND (IF(bound(?hasShape), IF(?hasShape = $expectedValue, 1, 0), 'error') AS ?s) . } "
prefixesop TopBraid Data Shapes Library
return typeop integer
parameterop ""
parameterop ""
parameterop ""
parameterop ""

dash:ni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#

has facts
system namespacedp "true"^^boolean

datatype constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#DatatypeConstraintComponent

has facts
property suggestion generatorop Delete triple suggestion generator
property suggestion generatorop Replace with default value suggestion generator
validatorop has datatype
property suggestion generatorop ""
property suggestion generatorop ""

datatype constraint component datatypeni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#DatatypeConstraintComponent-datatype

has facts
max countdp "1"^^integer
orderdp "1"^^integer
groupop Type of Values
classop datatype

Delete triple suggestion generatorni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#DeleteTripleSuggestionGenerator

Produces a suggestion that would delete the offending value in the validation result from the focus node.
belongs to
s p a r q l update suggestion generator
has facts
orderdp "100"^^integer
updatedp "DELETE { $focusNode $predicate $value . } WHERE { $focusNode $predicate $value . }"

disjoint constraint component disjointni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#DisjointConstraintComponent-disjoint

has facts
deactivateddp "true"^^boolean

Display Settingsni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#DisplayPropertyGroup

A group for properties that are primarily for display purposes (names, ordering etc).
belongs to
property group
has facts
orderdp "1"^^integer

equals constraint component equalsni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#EqualsConstraintComponent-equals

has facts
deactivateddp "true"^^boolean

has datatypeni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#hasDatatype

Checks whether a given node ($value) is a literal with a given datatype ($datatype), and that the literal is well-formed.
belongs to
s p a r q l ask validator
has facts
askdp " ASK { FILTER (datatype($value) = $datatype && spif:isValidForDatatype($value, $datatype)) . } "
prefixesop TopBraid Data Shapes Library

has shapeni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#hasShape

A built-in function of the TopBraid SHACL implementation. Can be used to validate a given (focus) node against a given shape, returning <code>true</code> if the node is valid. If executed within a SHACL validation engine, this uses the shapes graph that was provided when the engine started. If executed in other contexts, e.g. in a stand-alone SPARQL query, the function attempts to use the URI of the current default graph as the shapes graph. This may not always be supported. If called from within an SWP engine, the shapes graph is the current query graph.
belongs to
function
has facts
return typeop boolean
parameterop ""
parameterop ""

has value constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#HasValueConstraintComponent

has facts
property suggestion generatorop ""
propertyop ""

has value constraint component has valueni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#HasValueConstraintComponent-hasValue

has facts
groupop Other Constraints

has value with class constraint component has value with classni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#HasValueWithClassConstraintComponent-hasValueWithClass

has facts
groupop Other Constraints

http://spinrdf.org/sp#ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/sp#

has facts
system namespacedp "true"^^boolean

http://spinrdf.org/spin#ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spin#

has facts
system namespacedp "true"^^boolean

http://spinrdf.org/spl#ni back to ToC or Named Individual ToC

IRI: http://spinrdf.org/spl#

has facts
system namespacedp "true"^^boolean

in constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#InConstraintComponent

has facts
property suggestion generatorop Delete triple suggestion generator
property suggestion generatorop Replace with default value suggestion generator
property suggestion generatorop ""

in constraint component inni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#InConstraintComponent-in

has facts
groupop Other Constraints

Inferencesni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#InferencesPropertyGroup

belongs to
property group
has facts
orderdp "11"^^decimal
openabledp "true"^^boolean

Instances in graph select editorni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#InstancesInGraphSelectEditor

A drop-down editor for all instances of a class (based on tosh:shapeInGraph/sh:class of the property) in a graph specified using tosh:graph.
belongs to
editor

is hidden classni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#isHiddenClass

Checks if a given resource is supposed to be hidden in typical class displays. This applies to owl:Nothing, owl:NamedIndividual and owl:Restriction.
belongs to
s p a r q l function
has facts
askdp "ASK { FILTER (?resource IN (owl:Nothing, owl:NamedIndividual, owl:Restriction)) }"
prefixesop TopBraid Data Shapes Library
return typeop boolean
parameterop ""

is in target ofni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#isInTargetOf

Checks whether a given node is in the target of a given shape.
belongs to
function
has facts
return typeop boolean
parameterop ""
parameterop ""

is reification URIni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#isReificationURI

Checks whether a given URI represents a reified triple.
belongs to
function
has facts
return typeop boolean
parameterop ""

is reifiedni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#isReified

Checks whether there are any reified values for a given triple.
belongs to
function
has facts
return typeop boolean
parameterop ""
parameterop ""
parameterop ""

is system resourceni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#isSystemResource

Checks if a given resource is from a namespace that is marked with tosh:systemNamespace true.
belongs to
s p a r q l function
has facts
askdp "ASK { BIND (IRI(afn:namespace($resource)) AS ?namespace) . FILTER (bound(?namespace) && EXISTS { ?namespace tosh:systemNamespace true . }) }"
prefixesop TopBraid Data Shapes Library
return typeop boolean
parameterop ""

j s constraint jsni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#JSConstraint-js

has facts
groupop Complex Constraint Expressions

language in constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#LanguageInConstraintComponent

has facts
property suggestion generatorop Delete triple suggestion generator

language in constraint component language inni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#LanguageInConstraintComponent-languageIn

has facts
orderdp "9"^^decimal
groupop Constraints for Strings and Text
propertyop ""

less than constraint component less thanni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#LessThanConstraintComponent-lessThan

has facts
deactivateddp "true"^^boolean

less than or equals constraint component less than or equalsni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#LessThanOrEqualsConstraintComponent-lessThanOrEquals

has facts
deactivateddp "true"^^boolean

max count constraint component max countni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MaxCountConstraintComponent-maxCount

has facts
orderdp "1"^^integer
groupop Number of Values

max exclusive constraint component max exclusiveni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MaxExclusiveConstraintComponent-maxExclusive

has facts
orderdp "3"^^integer
groupop Min/Max Values

max inclusive constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MaxInclusiveConstraintComponent

has facts
property suggestion generatorop ""

max inclusive constraint component max inclusiveni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MaxInclusiveConstraintComponent-maxInclusive

has facts
orderdp "2"^^integer
groupop Min/Max Values

max length constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MaxLengthConstraintComponent

has facts
property suggestion generatorop Delete triple suggestion generator
property suggestion generatorop Replace with default value suggestion generator
property suggestion generatorop ""

max length constraint component max lengthni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MaxLengthConstraintComponent-maxLength

has facts
orderdp "4"^^integer
groupop Constraints for Strings and Text

Member shape constraint componentni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#MemberShapeConstraintComponent

Can be used to specify constraints on the members of a given list, assuming that the given sh:property has rdf:Lists as values. A violation is reported for each member of the list that does not comply with the constraints specified by the given shape.
belongs to
constraint component
has facts
parameterop member shape constraint component member shape
target classop property shape
property validatorop ""

member shape constraint component member shapeni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#MemberShapeConstraintComponent-memberShape

belongs to
parameter
has facts
pathop member shape
classop shape

min count constraint component min countni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MinCountConstraintComponent-minCount

has facts
orderdp "0"^^integer
groupop Number of Values

min exclusive constraint component min exclusiveni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MinExclusiveConstraintComponent-minExclusive

has facts
orderdp "0"^^integer
groupop Min/Max Values

min inclusive constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MinInclusiveConstraintComponent

has facts
property suggestion generatorop ""

min inclusive constraint component min inclusiveni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MinInclusiveConstraintComponent-minInclusive

has facts
orderdp "1"^^integer
groupop Min/Max Values

min length constraint component min lengthni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#MinLengthConstraintComponent-minLength

has facts
orderdp "3"^^integer
groupop Constraints for Strings and Text

Min/Max Valuesni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#ValueRangeConstraintPropertyGroup

belongs to
property group
has facts
orderdp "5"^^integer
openabledp "true"^^boolean

node constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#NodeConstraintComponent

has facts
node validatorop ""
property validatorop ""

node constraint component nodeni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#NodeConstraintComponent-node

has facts
orderdp "0"^^integer
view widgetop source code viewer
groupop Complex Constraint Expressions

node kind constraint component node kindni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#NodeKindConstraintComponent-nodeKind

has facts
orderdp "0"^^integer
groupop Type of Values

non recursive constraint componentni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#NonRecursiveConstraintComponent

has facts
property suggestion generatorop Delete triple suggestion generator

non recursive constraint component non recursiveni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#NonRecursiveConstraintComponent-nonRecursive

has facts
groupop Relationship

not constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#NotConstraintComponent

has facts
node validatorop ""
property validatorop ""

not constraint component notni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#NotConstraintComponent-not

has facts
orderdp "10"^^integer
view widgetop source code viewer
groupop Complex Constraint Expressions

Number of Valuesni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#CardinalityConstraintPropertyGroup

belongs to
property group
has facts
orderdp "2"^^integer

or constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#OrConstraintComponent

has facts
node validatorop ""
property validatorop ""

or constraint component orni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#OrConstraintComponent-or

has facts
orderdp "12"^^integer
view widgetop source code viewer
groupop Complex Constraint Expressions

Other Constraintsni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#OtherConstraintPropertyGroup

belongs to
property group
has facts
orderdp "10"^^integer
openabledp "true"^^boolean

owl:ni back to ToC or Named Individual ToC

IRI: http://www.w3.org/2002/07/owl#

has facts
system namespacedp "true"^^boolean

pattern constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#PatternConstraintComponent

has facts
property suggestion generatorop Delete triple suggestion generator
property suggestion generatorop Replace with default value suggestion generator

pattern constraint component flagsni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#PatternConstraintComponent-flags

has facts
max countdp "1"^^integer
groupop Constraints for Strings and Text

pattern constraint component patternni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#PatternConstraintComponent-pattern

has facts
max countdp "1"^^integer
groupop Constraints for Strings and Text
sparqlop ""

Primary Keyni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#PrimaryKeyPropertyGroup

belongs to
property group
has facts
orderdp "6.5"^^decimal
openabledp "true"^^boolean

primary key constraint component uri startni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#PrimaryKeyConstraintComponent-uriStart

has facts
groupop Primary Key

Property group shapeni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#PropertyGroupShape

belongs to
node shape
has facts
target classop property group
propertyop ""

Property shape shapeni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#PropertyShapeShape

belongs to
node shape
has facts
target classop property shape
propertyop ""
propertyop ""
propertyop ""
propertyop ""
propertyop ""
propertyop ""
propertyop ""
propertyop ""
propertyop ""
sparqlop ""
propertyop ""
propertyop ""
propertyop ""

qualified max count constraint component qualified max countni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#QualifiedMaxCountConstraintComponent-qualifiedMaxCount

has facts
max countdp "1"^^integer
orderdp "3"^^integer
groupop Complex Constraint Expressions

qualified min count constraint component qualified min countni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#QualifiedMinCountConstraintComponent-qualifiedMinCount

has facts
max countdp "1"^^integer
orderdp "2"^^integer
groupop Complex Constraint Expressions

qualified min count constraint component qualified value shapeni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#QualifiedMinCountConstraintComponent-qualifiedValueShape

has facts
max countdp "1"^^integer
orderdp "1"^^integer
view widgetop source code viewer
groupop Complex Constraint Expressions

rdf:ni back to ToC or Named Individual ToC

IRI: http://www.w3.org/1999/02/22-rdf-syntax-ns#

has facts
system namespacedp "true"^^boolean

rdfs:ni back to ToC or Named Individual ToC

IRI: http://www.w3.org/2000/01/rdf-schema#

has facts
system namespacedp "true"^^boolean

reification URIni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#reificationURI

Constructs a URI that is used to represent a reified triple. This is the inverse operation of tosh:reificationURIOf.
belongs to
function
has facts
return typeop resource
parameterop ""
parameterop ""
parameterop ""

reified valueni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#reifiedValue

Provides direct access to a value of a reified triple, e.g. the timestamp.
belongs to
function
has facts
parameterop ""
parameterop ""
parameterop ""
parameterop ""

Relationshipni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#RelationshipPropertyGroup

belongs to
property group
has facts
orderdp "8"^^integer
openabledp "true"^^boolean

Relationship to Other Propertiesni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#PropertyPairConstraintPropertyGroup

belongs to
property group
has facts
orderdp "6"^^integer
openabledp "true"^^boolean

Remote Valuesni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#RemoteValuesPropertyGroup

belongs to
property group
has facts
orderdp "12"^^decimal

Replace with default value suggestion generatorni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#ReplaceWithDefaultValueSuggestionGenerator

Produces a suggestion to replace all values of the given predicate (which must exist) at the focus node to the default value declared at the shape that has caused the violation. Does nothing if the shape does not declare a sh:defaultValue. Deletes any old value of the property.
belongs to
s p a r q l update suggestion generator
has facts
updatedp "DELETE { $focusNode $predicate ?oldValue . } INSERT { $focusNode $predicate ?defaultValue . } WHERE { $focusNode $predicate ?oldValue . }"
selectdp "SELECT ?defaultValue WHERE { GRAPH $shapesGraph { $sourceShape sh:defaultValue ?defaultValue . } }"
prefixesop TopBraid Data Shapes Library

root class constraint componentni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#RootClassConstraintComponent

has facts
property suggestion generatorop Delete triple suggestion generator

Set to default value suggestion generatorni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#SetToDefaultValueSuggestionGenerator

Produces a suggestion to set the given predicate at the focus node to the default value declared at the shape that has caused the violation. Does nothing if the shape does not declare a sh:defaultValue. Deletes any old value of the property.
belongs to
s p a r q l update suggestion generator
has facts
updatedp "DELETE { $focusNode $predicate ?oldValue . } INSERT { $focusNode $predicate ?defaultValue . } WHERE { OPTIONAL { $focusNode $predicate ?oldValue . } }"
selectdp "SELECT ?defaultValue WHERE { GRAPH $shapesGraph { $sourceShape sh:defaultValue ?defaultValue . } }"
prefixesop TopBraid Data Shapes Library

SHACL existsni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#shaclExists

Checks whether the current query graph has SHACL activated, i.e. imports the triples typically found in the SHACL namespace. This is currently relying on an approximation, only certain triples, and is natively implemented for TopBraid. Future versions may expose the actual logic as a SPARQL query.
belongs to
function
has facts
return typeop boolean

shacl:ni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#

has facts
system namespacedp "true"^^boolean

Shape in graph constraint componentni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#ShapeInGraphConstraintComponent

A constraint component that can be used to verify that the value nodes have a given shape, where the shape validation is executed in a given graph. This can, for example, be used to verify that a given value is declared as an instance of a given class in some specified (not imported) graph. A typical design pattern is as follows: ex:NodeShape sh:property [ sh:path ex:myProperty ; sh:nodeKind sh:IRI ; tosh:graph <http://example.org/externalGraph> ; tosh:shapeInGraph [ sh:class ex:ExternalClass ; ] ; tosh:editor tosh:InstancesInGraphSelectEditor ; tosh:viewer tosh:URIInGraphViewer ; ] .
belongs to
constraint component
has facts
property suggestion generatorop Delete triple suggestion generator
parameterop ""
validatorop ""
parameterop ""

Shape of shapesni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#ShapeShape

belongs to
node shape
has facts
propertyop shape shape deactivated
propertyop shape shape severity
target classop shape
sparqlop ""

shape shape deactivatedni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#ShapeShape-deactivated

belongs to
property shape
has facts
orderdp "1"^^decimal
max countdp "1"^^integer
groupop This Shape
pathop deactivated

shape shape severityni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#ShapeShape-severity

belongs to
property shape
has facts
max countdp "1"^^integer
orderdp "2"^^decimal
groupop This Shape
classop severity
pathop severity

stem constraint component stemni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#StemConstraintComponent-stem

has facts
groupop Constraints for Strings and Text

symmetric constraint componentni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#SymmetricConstraintComponent

has facts
property suggestion generatorop Delete triple suggestion generator
property suggestion generatorop ""

symmetric constraint component symmetricni back to ToC or Named Individual ToC

IRI: http://datashapes.org/dash#SymmetricConstraintComponent-symmetric

has facts
groupop Relationship

System namespace shapeni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#SystemNamespaceShape

A shape that detects whether the focus node is a URI that has a namespace from one of the system namespaces - RDF, RDFS, OWL etc. The list of actual system namespaces is represented via tosh:systemNamespace true triples.
belongs to
node shape
has facts
sparqlop ""

Teamwork platformni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#TeamworkPlatform

The platform consisting of TopBraid plus any teamwork features used by TopBraid EDG.
belongs to
execution platform
has facts
included execution platformop TopBraid platform

This Shapeni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#AboutPropertyGroup

belongs to
property group
has facts
orderdp "0"^^integer

TopBraid Data Shapes Libraryni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh

has facts
declareop ""
declareop ""
declareop ""
declareop ""

TopBraid platformni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#TopBraidPlatform

The platform consisting of TopBraid.
belongs to
execution platform

Type of Valuesni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#ValueTypeConstraintPropertyGroup

A property group for constraint parameters that restrict the value types of values.
belongs to
property group
has facts
orderdp "3"^^integer
edit group descriptiondp "Hint: Use "or" under Complex Constraints to represent choices between multiple value types."

unique lang constraint component unique langni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#UniqueLangConstraintComponent-uniqueLang

has facts
orderdp "8"^^integer
groupop Constraints for Strings and Text

URI in graph viewerni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#URIInGraphViewer

A viewer for URI resources that have their data in a given graph that may be outside of the imports closure. The graph must be specified using a tosh:graph constraint for the property.
belongs to
viewer

Use declared datatype constraint componentni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#UseDeclaredDatatypeConstraintComponent

Constrains the value nodes to be either non-literals or literals that have the same datatype as the declared sh:datatype for the given constraint node. This is used, among others, in properties such as sh:hasValue and sh:minExclusive.
belongs to
constraint component
has facts
target classop property shape
parameterop ""
property validatorop ""
property suggestion generatorop ""

validator for contextni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#validatorForContext

Gets a suitable validator for a given context, following the resolution rules from the spec.
belongs to
s p a r q l function
has facts
selectdp " SELECT ?validator WHERE { { BIND (IF($context = sh:PropertyShape, sh:propertyValidator, sh:nodeValidator) AS ?predicate) . } OPTIONAL { $component ?predicate ?specialized . } OPTIONAL { $component sh:validator ?default . } BIND (COALESCE(?specialized, ?default) AS ?validator) . }"
prefixesop TopBraid Data Shapes Library
return typeop validator
parameterop ""
parameterop ""

values with shape countni back to ToC or Named Individual ToC

IRI: http://topbraid.org/tosh#valuesWithShapeCount

Counts the number of values from a given subject (?arg1) / predicate (?arg2) combination that do not produce any error-level constraint violations for a given shape (?arg3) in a given shapes graph (?arg4). The function produces an error if one of the shapes validated to a fatal error.
belongs to
s p a r q l function
has facts
selectdp " # The SUM will fail with an error if one of the operands is not a number # (this mechanism is used to propagate errors from tosh:hasShape calls) SELECT (SUM(?s) AS ?result) WHERE { { FILTER NOT EXISTS { $arg1 $arg2 ?value } BIND (0 AS ?s) } UNION { FILTER EXISTS { $arg1 $arg2 ?value } $arg1 $arg2 ?value . BIND (tosh:hasShape(?value, $arg3, true) AS ?hasShape) . BIND (IF(bound(?hasShape), IF(?hasShape, 1, 0), 'error') AS ?s) . } } "
prefixesop TopBraid Data Shapes Library
return typeop integer
parameterop ""
parameterop ""
parameterop ""

xone constraint componentni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#XoneConstraintComponent

has facts
property validatorop ""
node validatorop ""

xone constraint component xoneni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/shacl#XoneConstraintComponent-xone

has facts
orderdp "13"^^integer
view widgetop source code viewer
groupop Complex Constraint Expressions

xsd:ni back to ToC or Named Individual ToC

IRI: http://www.w3.org/2001/XMLSchema#

has facts
system namespacedp "true"^^boolean

Annotation Properties

descriptionap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/ns/shacl#description

is also defined as
named individual

label templateap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/ns/shacl#labelTemplate

messageap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/ns/shacl#message

nameap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/ns/shacl#name

is also defined as
named individual

use declared datatypeap back to ToC or Annotation Property ToC

IRI: http://topbraid.org/tosh#useDeclaredDatatype

is also defined as
named individual

Namespace Declarations back to ToC

default namespace
http://topbraid.org/tosh#
dash
http://datashapes.org/dash#
datashapes-org
http://datashapes.org/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
shacl
http://www.w3.org/ns/shacl#
swa
http://topbraid.org/swa#
topbraid-org
http://topbraid.org/
tosh
http://topbraid.org/tosh#
tosh-ui
http://topbraid.org/tosh.ui#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.