<?xml version="1.0" encoding="utf-8" ?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:owl="http://www.w3.org/2002/07/owl#"
         xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
         xmlns:dc="http://purl.org/dc/terms/"
         xmlns:ns0="http://purl.org/vocab/vann/"
         xmlns:ns1="http://www.w3.org/2003/06/sw-vocab-status/ns#"
         xmlns:foaf="http://xmlns.com/foaf/0.1/">

  <owl:Ontology rdf:about="http://ns.inria.fr/probabilistic-shacl/">
    <rdf:type rdf:resource="http://purl.org/vocommons/voaf#Vocabulary"/>
    <rdfs:label xml:lang="en">Probabilistic SHACL Validation</rdfs:label>
    <rdfs:comment xml:lang="en">This vocabulary defines terms used to include and exploit probabilistic information in SHACL validation reports</rdfs:comment>
    <dc:contributor>Rémi Felin</dc:contributor>
    <dc:contributor>Catherine Faron</dc:contributor>
    <dc:contributor>Andrea G. B. Tettamanzi</dc:contributor>
    <dc:created rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2023-03-16</dc:created>
    <dc:creator>Rémi Felin</dc:creator>
    <dc:description xml:lang="en">An OWL vocabulary to include and exploit probabilistic information in SHACL validation reports</dc:description>
    <dc:publisher>Inria</dc:publisher>
    <dc:status rdf:resource="http://purl.org/adms/status/UnderDevelopment"/>
    <dc:title xml:lang="en">Probabilistic SHACL Validation</dc:title>
    <ns0:preferredNamespacePrefix>psh</ns0:preferredNamespacePrefix>
    <ns0:preferredNamespaceUri>http://ns.inria.fr/probabilistic-shacl/</ns0:preferredNamespaceUri>
    <ns1:term_status>stable</ns1:term_status>
    <owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#decimal">1.0</owl:versionInfo>
    <foaf:homepage>http://ns.inria.fr/probabilistic-shacl/psh.html</foaf:homepage>
  </owl:Ontology>

  <rdfs:Class rdf:about="http://ns.inria.fr/probabilistic-shacl/ValidationSummary">
    <rdfs:label xml:lang="en">Validation summary</rdfs:label>
    <rdfs:comment xml:lang="en">The class of probabilistic validation summary</rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>
    <rdfs:isDefinedBy rdf:resource="http://ns.inria.fr/probabilistic-shacl/"/>
  </rdfs:Class>

  <rdf:Property rdf:about="http://ns.inria.fr/probabilistic-shacl/summary">
    <rdfs:label xml:lang="en">summary</rdfs:label>
    <rdfs:comment xml:lang="en">The probabilistic validation results contained in a validation report.</rdfs:comment>
    <rdfs:domain rdf:resource="http://www.w3.org/ns/shacl#ValidationReport"/>
    <rdfs:range rdf:resource="http://ns.inria.fr/probabilistic-shacl/ValidationSummary"/>
    <rdfs:isDefinedBy rdf:resource="http://ns.inria.fr/probabilistic-shacl/"/>
  </rdf:Property>

  <rdf:Property rdf:about="http://ns.inria.fr/probabilistic-shacl/focusShape">
    <rdfs:label xml:lang="en">focus shape</rdfs:label>
    <rdfs:comment xml:lang="en">The shape concerned by the results of the probabilistic validation</rdfs:comment>
    <rdfs:domain rdf:resource="http://www.w3.org/ns/shacl#ValidationSummary"/>
    <rdfs:range rdf:resource="http://www.w3.org/ns/shacl#Shape"/>
    <rdfs:isDefinedBy rdf:resource="http://ns.inria.fr/probabilistic-shacl/"/>
  </rdf:Property>

  <rdf:Property rdf:about="http://ns.inria.fr/probabilistic-shacl/numConfirmation">
    <rdfs:label xml:lang="en">number of confirmation</rdfs:label>
    <rdfs:comment xml:lang="en">Specifies the number of nodes that confirm the current shape</rdfs:comment>
    <rdfs:domain rdf:resource="http://www.w3.org/ns/shacl#ValidationSummary"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
    <rdfs:isDefinedBy rdf:resource="http://ns.inria.fr/probabilistic-shacl/"/>
  </rdf:Property>

  <rdf:Property rdf:about="http://ns.inria.fr/probabilistic-shacl/numViolation">
    <rdfs:label xml:lang="en">number of violation</rdfs:label>
    <rdfs:comment xml:lang="en">Specifies the number of nodes that contradict the current shape</rdfs:comment>
    <rdfs:domain rdf:resource="http://www.w3.org/ns/shacl#ValidationSummary"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
    <rdfs:isDefinedBy rdf:resource="http://ns.inria.fr/probabilistic-shacl/"/>
  </rdf:Property>

  <rdf:Property rdf:about="http://ns.inria.fr/probabilistic-shacl/referenceCardinality">
    <rdfs:label xml:lang="en">reference cardinality</rdfs:label>
    <rdfs:comment xml:lang="en">Specifies the number of RDF triples tested during the validation of the current shape</rdfs:comment>
    <rdfs:domain rdf:resource="http://www.w3.org/ns/shacl#ValidationSummary"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
    <rdfs:isDefinedBy rdf:resource="http://ns.inria.fr/probabilistic-shacl/"/>
  </rdf:Property>

  <rdf:Property rdf:about="http://ns.inria.fr/probabilistic-shacl/likelihood">
    <rdfs:label xml:lang="en">likelihood</rdfs:label>
    <rdfs:comment xml:lang="en">Specifies the likelihood to observe the number of exceptions among the RDF triples tested (i.e. referenceCardinality)</rdfs:comment>
    <rdfs:domain rdf:resource="http://www.w3.org/ns/shacl#ValidationSummary"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#double"/>
    <rdfs:isDefinedBy rdf:resource="http://ns.inria.fr/probabilistic-shacl/"/>
  </rdf:Property>

  <rdf:Property rdf:about="http://ns.inria.fr/probabilistic-shacl/generality">
    <rdfs:label xml:lang="en">generality</rdfs:label>
    <rdfs:comment xml:lang="en">Specifies the representativeness of the current shape</rdfs:comment>
    <rdfs:domain rdf:resource="http://www.w3.org/ns/shacl#ValidationSummary"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#double"/>
    <rdfs:isDefinedBy rdf:resource="http://ns.inria.fr/probabilistic-shacl/"/>
  </rdf:Property>

</rdf:RDF>