Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- _AbstractResult :: Node
- _AndConstraintComponent :: Node
- _AndConstraintComponent_and :: Node
- _BlankNode :: Node
- _BlankNodeOrIRI :: Node
- _BlankNodeOrLiteral :: Node
- _ClassConstraintComponent :: Node
- _ClassConstraintComponent_class :: Node
- _ClosedConstraintComponent :: Node
- _ClosedConstraintComponent_closed :: Node
- _ClosedConstraintComponent_ignoredProperties :: Node
- _ConstraintComponent :: Node
- _DatatypeConstraintComponent :: Node
- _DatatypeConstraintComponent_datatype :: Node
- _DerivedValuesConstraintComponent :: Node
- _DisjointConstraintComponent :: Node
- _DisjointConstraintComponent_disjoint :: Node
- _EqualsConstraintComponent :: Node
- _EqualsConstraintComponent_equals :: Node
- _Function :: Node
- _HasValueConstraintComponent :: Node
- _HasValueConstraintComponent_hasValue :: Node
- _IRI :: Node
- _IRIOrLiteral :: Node
- _InConstraintComponent :: Node
- _InConstraintComponent_in :: Node
- _Info :: Node
- _LanguageInConstraintComponent :: Node
- _LanguageInConstraintComponent_languageIn :: Node
- _LessThanConstraintComponent :: Node
- _LessThanConstraintComponent_lessThan :: Node
- _LessThanOrEqualsConstraintComponent :: Node
- _LessThanOrEqualsConstraintComponent_lessThanOrEquals :: Node
- _Literal :: Node
- _MaxCountConstraintComponent :: Node
- _MaxCountConstraintComponent_maxCount :: Node
- _MaxExclusiveConstraintComponent :: Node
- _MaxExclusiveConstraintComponent_maxExclusive :: Node
- _MaxInclusiveConstraintComponent :: Node
- _MaxInclusiveConstraintComponent_maxInclusive :: Node
- _MaxLengthConstraintComponent :: Node
- _MaxLengthConstraintComponent_maxLength :: Node
- _MinCountConstraintComponent :: Node
- _MinCountConstraintComponent_minCount :: Node
- _MinExclusiveConstraintComponent :: Node
- _MinExclusiveConstraintComponent_minExclusive :: Node
- _MinInclusiveConstraintComponent :: Node
- _MinInclusiveConstraintComponent_minInclusive :: Node
- _MinLengthConstraintComponent :: Node
- _MinLengthConstraintComponent_minLength :: Node
- _NodeConstraintComponent :: Node
- _NodeConstraintComponent_node :: Node
- _NodeKind :: Node
- _NodeKindConstraintComponent :: Node
- _NodeKindConstraintComponent_nodeKind :: Node
- _NodeShape :: Node
- _NotConstraintComponent :: Node
- _NotConstraintComponent_not :: Node
- _OrConstraintComponent :: Node
- _OrConstraintComponent_or :: Node
- _Parameter :: Node
- _Parameterizable :: Node
- _PatternConstraintComponent :: Node
- _PatternConstraintComponent_flags :: Node
- _PatternConstraintComponent_pattern :: Node
- _PrefixDeclaration :: Node
- _PropertyConstraintComponent :: Node
- _PropertyConstraintComponent_property :: Node
- _PropertyGroup :: Node
- _PropertyShape :: Node
- _QualifiedMaxCountConstraintComponent :: Node
- _QualifiedMaxCountConstraintComponent_qualifiedMaxCount :: Node
- _QualifiedMaxCountConstraintComponent_qualifiedValueShape :: Node
- _QualifiedMaxCountConstraintComponent_qualifiedValueShapesDisjoint :: Node
- _QualifiedMinCountConstraintComponent :: Node
- _QualifiedMinCountConstraintComponent_qualifiedMinCount :: Node
- _QualifiedMinCountConstraintComponent_qualifiedValueShape :: Node
- _QualifiedMinCountConstraintComponent_qualifiedValueShapesDisjoint :: Node
- _ResultAnnotation :: Node
- _SPARQLAskExecutable :: Node
- _SPARQLAskValidator :: Node
- _SPARQLConstraint :: Node
- _SPARQLConstraintComponent :: Node
- _SPARQLConstraintComponent_sparql :: Node
- _SPARQLConstructExecutable :: Node
- _SPARQLExecutable :: Node
- _SPARQLFunction :: Node
- _SPARQLSelectExecutable :: Node
- _SPARQLSelectValidator :: Node
- _SPARQLTarget :: Node
- _SPARQLTargetType :: Node
- _SPARQLUpdateExecutable :: Node
- _SPARQLValuesDeriver :: Node
- _Severity :: Node
- _Shape :: Node
- _Target :: Node
- _TargetType :: Node
- _UniqueLangConstraintComponent :: Node
- _UniqueLangConstraintComponent_uniqueLang :: Node
- _ValidationReport :: Node
- _ValidationResult :: Node
- _Validator :: Node
- _ValuesDeriver :: Node
- _Violation :: Node
- _Warning :: Node
- _XoneConstraintComponent :: Node
- _XoneConstraintComponent_xone :: Node
- _class :: Node
- _in :: Node
- alternativePath :: Node
- and :: Node
- annotationProperty :: Node
- annotationValue :: Node
- annotationVarName :: Node
- ask :: Node
- closed :: Node
- conforms :: Node
- construct :: Node
- datatype :: Node
- deactivated :: Node
- declare :: Node
- defaultValue :: Node
- derivedValues :: Node
- description :: Node
- detail :: Node
- disjoint :: Node
- equals :: Node
- flags :: Node
- focusNode :: Node
- group :: Node
- hasValue :: Node
- ignoredProperties :: Node
- inversePath :: Node
- labelTemplate :: Node
- languageIn :: Node
- lessThan :: Node
- lessThanOrEquals :: Node
- maxCount :: Node
- maxExclusive :: Node
- maxInclusive :: Node
- maxLength :: Node
- message :: Node
- minCount :: Node
- minExclusive :: Node
- minInclusive :: Node
- minLength :: Node
- name :: Node
- namespace :: Node
- node :: Node
- nodeKind :: Node
- nodeValidator :: Node
- not :: Node
- oneOrMorePath :: Node
- optional :: Node
- or :: Node
- order :: Node
- parameter :: Node
- path :: Node
- pattern :: Node
- prefix :: Node
- prefixes :: Node
- property :: Node
- propertyValidator :: Node
- qualifiedMaxCount :: Node
- qualifiedMinCount :: Node
- qualifiedValueShape :: Node
- qualifiedValueShapesDisjoint :: Node
- result :: Node
- resultAnnotation :: Node
- resultMessage :: Node
- resultPath :: Node
- resultSeverity :: Node
- returnType :: Node
- select :: Node
- severity :: Node
- shacl :: Node
- shapesGraph :: Node
- shapesGraphWellFormed :: Node
- sourceConstraint :: Node
- sourceConstraintComponent :: Node
- sourceShape :: Node
- sparql :: Node
- suggestedShapesGraph :: Node
- target :: Node
- targetClass :: Node
- targetNode :: Node
- targetObjectsOf :: Node
- targetSubjectsOf :: Node
- uniqueLang :: Node
- update :: Node
- validator :: Node
- value :: Node
- xone :: Node
- zeroOrMorePath :: Node
- zeroOrOnePath :: Node
- xsdNS :: Namespace
- shNS :: Namespace
- rdfsNS :: Namespace
- rdfNS :: Namespace
- owlNS :: Namespace
- iris :: [Node]
Documentation
_AbstractResult :: Node Source #
The base class of validation results, typically not instantiated directly.
_AndConstraintComponent :: Node Source #
A constraint component that can be used to test whether a value node conforms to all members of a provided list of shapes.
_BlankNode :: Node Source #
The node kind of all blank nodes.
_BlankNodeOrIRI :: Node Source #
The node kind of all blank nodes or IRIs.
_BlankNodeOrLiteral :: Node Source #
The node kind of all blank nodes or literals.
_ClassConstraintComponent :: Node Source #
A constraint component that can be used to verify that each value node is an instance of a given type.
_ClosedConstraintComponent :: Node Source #
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.
_ConstraintComponent :: Node Source #
The class of constraint components.
_DatatypeConstraintComponent :: Node Source #
A constraint component that can be used to restrict the datatype of all value nodes.
_DerivedValuesConstraintComponent :: Node Source #
A constraint component that can be used to state that the set of value nodes must be equivalent to a set of values derived using a given mechanism, such as a SPARQL query.
_DisjointConstraintComponent :: Node Source #
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.
_EqualsConstraintComponent :: Node Source #
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.
_HasValueConstraintComponent :: Node Source #
A constraint component that can be used to verify that one of the value nodes is a given RDF node.
_IRIOrLiteral :: Node Source #
The node kind of all IRIs or literals.
_InConstraintComponent :: Node Source #
A constraint component that can be used to exclusively enumerate the permitted value nodes.
_LanguageInConstraintComponent :: Node Source #
A constraint component that can be used to enumerate language tags that all value nodes must have.
_LessThanConstraintComponent :: Node Source #
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.
_LessThanOrEqualsConstraintComponent :: Node Source #
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.
_MaxCountConstraintComponent :: Node Source #
A constraint component that can be used to restrict the maximum number of value nodes.
_MaxExclusiveConstraintComponent :: Node Source #
A constraint component that can be used to restrict the range of value nodes with a maximum exclusive value.
_MaxInclusiveConstraintComponent :: Node Source #
A constraint component that can be used to restrict the range of value nodes with a maximum inclusive value.
_MaxLengthConstraintComponent :: Node Source #
A constraint component that can be used to restrict the maximum string length of value nodes.
_MinCountConstraintComponent :: Node Source #
A constraint component that can be used to restrict the minimum number of value nodes.
_MinExclusiveConstraintComponent :: Node Source #
A constraint component that can be used to restrict the range of value nodes with a minimum exclusive value.
_MinInclusiveConstraintComponent :: Node Source #
A constraint component that can be used to restrict the range of value nodes with a minimum inclusive value.
_MinLengthConstraintComponent :: Node Source #
A constraint component that can be used to restrict the minimum string length of value nodes.
_NodeConstraintComponent :: Node Source #
A constraint component that can be used to verify that all value nodes conform to the given node shape.
The class of all node kinds, including sh:BlankNode, sh:IRI, sh:Literal or the combinations of these: sh:BlankNodeOrIRI, sh:BlankNodeOrLiteral, sh:IRIOrLiteral.
_NodeKindConstraintComponent :: Node Source #
A constraint component that can be used to restrict the RDF node kind of each value node.
_NodeShape :: Node Source #
A node shape is a shape that specifies constraint that need to be met with respect to focus nodes.
_NotConstraintComponent :: Node Source #
A constraint component that can be used to verify that value nodes do not conform to a given shape.
_OrConstraintComponent :: Node Source #
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.
_Parameter :: Node Source #
The class of parameter declarations, consisting of a path predicate and (possibly) information about allowed value type, cardinality and other characteristics.
_Parameterizable :: Node Source #
Superclass of components that can take parameters, especially functions and constraint components.
_PatternConstraintComponent :: Node Source #
A constraint component that can be used to verify that every value node matches a given regular expression.
_PrefixDeclaration :: Node Source #
The class of prefix declarations, consisting of pairs of a prefix with a namespace.
_PropertyConstraintComponent :: Node Source #
A constraint component that can be used to verify that all value nodes conform to the given property shape.
_PropertyGroup :: Node Source #
Instances of this class represent groups of property shapes that belong together.
_PropertyShape :: Node Source #
A property shape is a shape that specifies constraints on the values of a focus node for a given property or path.
_QualifiedMaxCountConstraintComponent :: Node Source #
A constraint component that can be used to verify that a specified maximum number of value nodes conforms to a given shape.
_QualifiedMinCountConstraintComponent :: Node Source #
A constraint component that can be used to verify that a specified minimum number of value nodes conforms to a given shape.
_ResultAnnotation :: Node Source #
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.
_SPARQLAskExecutable :: Node Source #
The class of SPARQL executables that are based on an ASK query.
_SPARQLAskValidator :: Node Source #
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.
_SPARQLConstraint :: Node Source #
The class of constraints based on SPARQL SELECT queries.
_SPARQLConstraintComponent :: Node Source #
A constraint component that can be used to define constraints based on SPARQL queries.
_SPARQLConstructExecutable :: Node Source #
The class of SPARQL executables that are based on a CONSTRUCT query.
_SPARQLExecutable :: Node Source #
The class of resources that encapsulate a SPARQL query.
_SPARQLFunction :: Node Source #
A function backed by a SPARQL query - either ASK or SELECT.
_SPARQLSelectExecutable :: Node Source #
The class of SPARQL executables based on a SELECT query.
_SPARQLSelectValidator :: Node Source #
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.
_SPARQLTarget :: Node Source #
The class of targets that are based on SPARQL SELECT queries.
_SPARQLTargetType :: Node Source #
The (meta) class for parameterizable targets that are based on SPARQL SELECT queries.
_SPARQLUpdateExecutable :: Node Source #
The class of SPARQL executables based on a SPARQL UPDATE.
_SPARQLValuesDeriver :: Node Source #
The class of objects that can be used to derive values based on a SPARQL SELECT query.
The class of validation result severity levels, including violation and warning levels.
A shape is a collection of constraints that may be targeted for certain nodes.
_TargetType :: Node Source #
The (meta) class for parameterizable targets. Instances of this are instantiated as values of the sh:target property.
_UniqueLangConstraintComponent :: Node Source #
A constraint component that can be used to specify that no pair of value nodes may use the same language tag.
_ValidationReport :: Node Source #
The class of SHACL validation reports.
_ValidationResult :: Node Source #
The class of validation results.
_Validator :: Node Source #
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.
_ValuesDeriver :: Node Source #
The class of objects that can be used to derive values. SHACL itself only defines a single subclass, sh:SPARQLValuesDeriver.
_Violation :: Node Source #
The severity for a violation validation result.
_XoneConstraintComponent :: Node Source #
A constraint component that can be used to restrict the value nodes so that they conform to exactly one out of several provided shapes.
Specifies a list of allowed values so that each value node must be among the members of the given list.
alternativePath :: Node Source #
The (single) value of this property must be a list of path elements, representing the elements of alternative paths.
annotationProperty :: Node Source #
The annotation property that shall be set.
annotationValue :: Node Source #
The (default) values of the annotation property.
annotationVarName :: Node Source #
The name of the SPARQL variable from the SELECT clause that shall be used for the values.
True if the validation did not produce any validation results, and false otherwise.
deactivated :: Node Source #
If set to true for a shape then the shape is deactivated and all nodes conform to it.
defaultValue :: Node Source #
A default value for a property, for example for user interface tools to pre-populate input fields.
derivedValues :: Node Source #
Links a constraint with a sh:ValuesDeriver used to compute the property values.
description :: Node Source #
Human-readable descriptions for the property in the context of the surrounding shape.
Links a result with other results that provide more details, for example to describe violations against nested shapes.
Specifies a property where the set of values must be disjoint with the value nodes.
Can be used to link to a property group to indicate that a property shape belongs to a group of related property shapes.
ignoredProperties :: Node Source #
An optional RDF list of properties that are also permitted in addition to those explicitly enumerated via sh:property/sh:path.
inversePath :: Node Source #
The (single) value of this property represents an inverse path (object to subject).
labelTemplate :: Node Source #
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.
languageIn :: Node Source #
Specifies a list of language tags that all value nodes must have.
lessThanOrEquals :: Node Source #
Specifies a property that must have smaller or equal values than the value nodes.
maxExclusive :: Node Source #
Specifies the maximum exclusive value of each value node.
maxInclusive :: Node Source #
Specifies the maximum inclusive value of each value node.
A human-readable message (possibly with placeholders for variables) explaining the cause of the result.
minExclusive :: Node Source #
Specifies the minimum exclusive value of each value node.
minInclusive :: Node Source #
Specifies the minimum inclusive value of each value node.
Human-readable labels for the property in the context of the surrounding shape.
nodeValidator :: Node Source #
The validator(s) used to evaluate a constraint in the context of a node shape.
oneOrMorePath :: Node Source #
The (single) value of this property represents a path that is matched one or more times.
Specifies a list of shapes so that the value nodes must conform to at least one of the shapes.
Specifies the relative order of this compared to its siblings. For example use 0 for the first, 1 for the second.
Specifies a regular expression pattern that the string representations of the value nodes must match.
The prefixes that shall be applied before parsing the associated SPARQL query.
propertyValidator :: Node Source #
The validator(s) used to evaluate a constraint in the context of a property shape.
qualifiedMaxCount :: Node Source #
The maximum number of value nodes that can conform to the shape.
qualifiedMinCount :: Node Source #
The minimum number of value nodes that must conform to the shape.
qualifiedValueShape :: Node Source #
The shape that a specified number of values must conform to.
qualifiedValueShapesDisjoint :: Node Source #
Can be used to mark the qualified value shape to be disjoint with its sibling shapes.
resultAnnotation :: Node Source #
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.
resultMessage :: Node Source #
Human-readable messages explaining the cause of the result.
resultPath :: Node Source #
The path of a validation result, based on the path of the validated property shape.
resultSeverity :: Node Source #
The severity of the result, e.g. warning.
returnType :: Node Source #
The expected type of values returned by the associated function.
Defines the severity that validation results produced by a shape must have. Defaults to sh:Violation.
This vocabulary defines terms used in SHACL, the W3C Shapes Constraint Language.
shapesGraph :: Node Source #
Shapes graphs that should be used when validating this data graph.
shapesGraphWellFormed :: Node Source #
If true then the validation engine was certain that the shapes graph has passed all SHACL syntax requirements during the validation process.
sourceConstraint :: Node Source #
The constraint that was validated when the result was produced.
sourceConstraintComponent :: Node Source #
The constraint component that is the source of the result.
sourceShape :: Node Source #
The shape that is was validated when the result was produced.
suggestedShapesGraph :: Node Source #
Suggested shapes graphs for this ontology. The values of this property may be used in the absence of specific sh:shapesGraph statements.
Links a shape to a target specified by an extension language, for example instances of sh:SPARQLTarget.
targetClass :: Node Source #
Links a shape to a class, indicating that all instances of the class must conform to the shape.
targetNode :: Node Source #
Links a shape to individual nodes, indicating that these nodes must conform to the shape.
targetObjectsOf :: Node Source #
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.
targetSubjectsOf :: Node Source #
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.
uniqueLang :: Node Source #
Specifies whether all node values must have a unique (or no) language tag.
The validator(s) used to evaluate constraints of either node or property shapes.
Specifies a list of shapes so that the value nodes must conform to exactly one of the shapes.
zeroOrMorePath :: Node Source #
The (single) value of this property represents a path that is matched zero or more times.
zeroOrOnePath :: Node Source #
The (single) value of this property represents a path that is matched zero or one times.
Namespace prefix for <http://www.w3.org/2001/XMLSchema#>.
Namespace prefix for <http://www.w3.org/ns/shacl#>.
Namespace prefix for <http://www.w3.org/2000/01/rdf-schema#>.
Namespace prefix for <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
Namespace prefix for <http://www.w3.org/2002/07/owl#>.