@base <http://purl.org/net/provenance/integrity#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix prvIV: <> .
@prefix swp: <http://www.w3.org/2004/03/trix/swp-2/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <../../dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix prv: <ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<>
    a foaf:Document ;
    rdfs:label "Document that defines the integrity verification module of the Provenance  Vocabulary"@en ;
    foaf:primaryTopic <> .

<>
    dcterms:created "2009-07-10T12:00:00Z"^^xsd:dateTime ;
    dcterms:creator <http://olafhartig.de/foaf.rdf#olaf>, <http://users.ox.ac.uk/~zool0770/foaf.rdf#me> ;
    dcterms:description "Extends the Provenance Vocabulary by defining classes and properties to describe the verification of integrity of data items or information resources."@en ;
    dcterms:modified "2012-03-14T12:00:00Z"^^xsd:dateTime ;
    dcterms:title "Provenance Vocabulary integrity verification module namespace"@en ;
    a owl:Ontology ;
    rdfs:comment "The WOT vocabulary and the SWP vocabulary focus on the description of signatures and on enabling the verification of signatures. WOT, in particular, focuses on PGP only; signing events (wot:SigEvent) represent the act of signing a public key; wot:Endorsement represent a _detached_ signature for a foaf:Document. Our vocabulary, in contrast, focuses on (the process of) the verification itself (i.e. from our point of view the verification has already happened). Nonetheless, we reuse some of the classes of SWP; thus, users can use instances (in particular, the signature methods defined in SWP) from SWP."@en ;
    owl:imports <ns#> .

prvIV:IntegrityVerification
    a owl:Class ;
    rdfs:comment "IntegrityVerification is a concept that represents the completed verification of the integrity of an artifact."@en ;
    rdfs:isDefinedBy <> ;
    rdfs:label "Integrity Verification"@en ;
    rdfs:subClassOf prov:Activity ;
    owl:disjointWith prv:DataAccess, prv:DataCreation .

prvIV:SignatureMethod
    a owl:Class ;
    rdfs:comment "SignatureMethod is a concept that represents a method used to digitally sign artifacts."@en ;
    rdfs:isDefinedBy <> ;
    rdfs:label "Signature Method"@en ;
    owl:equivalentClass swp:SignatureMethod .

prvIV:SignatureVerification
    a owl:Class ;
    rdfs:comment "SignatureVerification is a concept that represents the completed verification of a digital signature for an artifact."@en ;
    rdfs:isDefinedBy <> ;
    rdfs:label "Signature Verification"@en ;
    rdfs:subClassOf prvIV:IntegrityVerification .

prvIV:VerificationResult
    a owl:Class ;
    rdfs:comment "VerificationResult is a concept that represents the result of an integrity verification (see concept prvIV:IntegrityVerification)."@en ;
    rdfs:isDefinedBy <> ;
    rdfs:label "Verification Result"@en ;
    rdfs:subClassOf prv:Immutable, prov:Entity .

prvIV:obtainedResult
    a owl:ObjectProperty ;
    rdfs:comment "This property refers to the result of an integrity verification."@en ;
    rdfs:domain prvIV:IntegrityVerification ;
    rdfs:isDefinedBy <> ;
    rdfs:label "resulted in"@en ;
    rdfs:range prvIV:VerificationResult .

prvIV:signedBy
    a owl:ObjectProperty ;
    rdfs:comment "This property refers to the authority responsible for the digital signature that was verified by a signature verification."@en ;
    rdfs:domain prvIV:SignatureVerification ;
    rdfs:isDefinedBy <> ;
    rdfs:label "signed by"@en ;
    rdfs:range swp:Authority .

prvIV:usedMethod
    a owl:ObjectProperty ;
    rdfs:comment "This property refers to the signature method used for the digital signature that was verified by a signature verification."@en ;
    rdfs:domain prvIV:SignatureVerification ;
    rdfs:isDefinedBy <> ;
    rdfs:label "used method"@en ;
    rdfs:range prvIV:SignatureMethod .

prvIV:verifiedBy
    a owl:ObjectProperty ;
    rdfs:comment "This property refers to an integrity verification of an entity."@en ;
    rdfs:domain prov:Entity ;
    rdfs:isDefinedBy <> ;
    rdfs:label "checked by"@en ;
    rdfs:range prvIV:IntegrityVerification .

swp:Authority
    a owl:Class .

swp:SignatureMethod
    a owl:Class .