Probabilistic SHACL Validation

IRI:
http://ns.inria.fr/probabilistic-shacl/
Current version :
1.0
Authors :
Rémi Felin
Contributors :
Catherine Faron
Rémi Felin
Andrea G. B. Tettamanzi
Publisher :
Inria
Other visualisation :
Ontology source - WebVowl

Abstract

This vocabulary defines terms used to include and exploit probabilistic information in SHACL validation reports

Table of Content

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

Classes

Validation summaryc back to ToC or Class ToC

IRI: http://ns.inria.fr/probabilistic-shacl/ValidationSummary

is defined by
http://ns.inria.fr/probabilistic-shacl/
The class of probabilistic validation summary
has super-classes
resourcec
is in range of
summaryop

Object Properties

focus shapeop back to ToC or Object Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/focusShape

has range
shapec
is also defined as
annotation property

summaryop back to ToC or Object Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/summary

is defined by
http://ns.inria.fr/probabilistic-shacl/
The probabilistic validation results contained in a validation report.
has domain
validation reportc
has range
Validation summaryc

Data Properties

generalitydp back to ToC or Data Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/generality

has range
double
is also defined as
annotation property

likelihooddp back to ToC or Data Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/likelihood

has range
double
is also defined as
annotation property

number of confirmationdp back to ToC or Data Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/numConfirmation

has range
integer
is also defined as
annotation property

number of violationdp back to ToC or Data Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/numViolation

has range
integer
is also defined as
annotation property

reference cardinalitydp back to ToC or Data Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/referenceCardinality

has range
integer
is also defined as
annotation property

Named Individuals

Probabilistic SHACL Validationni back to ToC or Named Individual ToC

IRI: http://ns.inria.fr/probabilistic-shacl/

belongs to
vocabularyc

Annotation Properties

focus shapeap back to ToC or Annotation Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/focusShape

has domain
validation summary
is also defined as
object property

generalityap back to ToC or Annotation Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/generality

has domain
validation summary
is also defined as
data property

likelihoodap back to ToC or Annotation Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/likelihood

has domain
validation summary
is also defined as
data property

number of confirmationap back to ToC or Annotation Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/numConfirmation

has domain
validation summary
is also defined as
data property

number of violationap back to ToC or Annotation Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/numViolation

has domain
validation summary
is also defined as
data property

reference cardinalityap back to ToC or Annotation Property ToC

IRI: http://ns.inria.fr/probabilistic-shacl/referenceCardinality

has domain
validation summary
is also defined as
data property

Namespace Declarations back to ToC

default namespace
http://ns.inria.fr/probabilistic-shacl/
foaf
http://xmlns.com/foaf/0.1/
ns
http://www.w3.org/2003/06/sw-vocab-status/ns#
ns-inria-fr
http://ns.inria.fr/
owl
http://www.w3.org/2002/07/owl#
probabilistic-shacl
http://ns.inria.fr/probabilistic-shacl/
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#
status
http://purl.org/adms/status/
terms
http://purl.org/dc/terms/
vann
http://purl.org/vocab/vann/
voaf
http://purl.org/vocommons/voaf#
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 .