IRI:: http://purl.org/net/provenance/integrity#

Authors:: http://olafhartig.de/foaf.rdf#olaf; http://users.ox.ac.uk/~zool0770/foaf.rdf#me

Imported Ontologies:: http://purl.org/net/provenance/ns# (visualise it with LODE)

Other visualisation:: Ontology source

Abstract

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.

Table of Content

Classes
Object Properties
Named Individuals
Namespace Declarations

Classes

Integrity Verification
Signature Method
Signature Verification
Verification Result

Integrity Verification^c back to ToC or Class ToC

IRI: http://purl.org/net/provenance/integrity#IntegrityVerification

is defined by: http://purl.org/net/provenance/integrity#

IntegrityVerification is a concept that represents the completed verification of the integrity of an artifact.

has super-classes: activity
has sub-classes: Signature Verification^c
is in domain of: resulted in^op
is in range of: checked by^op
is disjoint with: data access, data creation

Signature Method^c back to ToC or Class ToC

IRI: http://purl.org/net/provenance/integrity#SignatureMethod

is defined by: http://purl.org/net/provenance/integrity#

SignatureMethod is a concept that represents a method used to digitally sign artifacts.

is equivalent to: signature method^c
is in range of: used method^op

Signature Verification^c back to ToC or Class ToC

IRI: http://purl.org/net/provenance/integrity#SignatureVerification

is defined by: http://purl.org/net/provenance/integrity#

SignatureVerification is a concept that represents the completed verification of a digital signature for an artifact.

has super-classes: Integrity Verification^c
is in domain of: signed by^op, used method^op

Verification Result^c back to ToC or Class ToC

IRI: http://purl.org/net/provenance/integrity#VerificationResult

is defined by: http://purl.org/net/provenance/integrity#

VerificationResult is a concept that represents the result of an integrity verification (see concept prvIV:IntegrityVerification).

has super-classes: immutable; entity
is in range of: resulted in^op

Object Properties

checked by
resulted in
signed by
used method

checked by^op back to ToC or Object Property ToC

IRI: http://purl.org/net/provenance/integrity#verifiedBy

is defined by: http://purl.org/net/provenance/integrity#

This property refers to an integrity verification of an entity.

has domain: entity
has range: Integrity Verification^c

resulted in^op back to ToC or Object Property ToC

IRI: http://purl.org/net/provenance/integrity#obtainedResult

is defined by: http://purl.org/net/provenance/integrity#

This property refers to the result of an integrity verification.

has domain: Integrity Verification^c
has range: Verification Result^c

signed by^op back to ToC or Object Property ToC

IRI: http://purl.org/net/provenance/integrity#signedBy

is defined by: http://purl.org/net/provenance/integrity#

This property refers to the authority responsible for the digital signature that was verified by a signature verification.

has domain: Signature Verification^c
has range: authority^c

used method^op back to ToC or Object Property ToC

IRI: http://purl.org/net/provenance/integrity#usedMethod

is defined by: http://purl.org/net/provenance/integrity#

This property refers to the signature method used for the digital signature that was verified by a signature verification.

has domain: Signature Verification^c
has range: Signature Method^c

Named Individuals

:
Document that defines the integrity verification module of the Provenance Vocabulary

:ⁿⁱ back to ToC or Named Individual ToC

IRI: http://purl.org/net/provenance/integrity#

Document that defines the integrity verification module of the Provenance Vocabularyⁿⁱ back to ToC or Named Individual ToC

IRI: http://purl.org/net/provenance/integrity

belongs to: document

Namespace Declarations back to ToC

default namespace: http://purl.org/net/provenance/integrity#
foaf: http://xmlns.com/foaf/0.1/
foaf-rdf: http://olafhartig.de/foaf.rdf#
ns: http://purl.org/net/provenance/ns#
owl: http://www.w3.org/2002/07/owl#
prov: http://www.w3.org/ns/prov#
provenance: http://purl.org/net/provenance/
rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs: http://www.w3.org/2000/01/rdf-schema#
swp-2: http://www.w3.org/2004/03/trix/swp-2/
terms: http://purl.org/dc/terms/
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.