Provenance Vocabulary Integrity Verification OWL Ontology

From Semantic Portal Wiki

Contents 1 Overview 2 Domain Concept Coverage 3 Concept Modeling 3.1 class hierarchy 3.2 disjointed classes 3.3 reuse other ontology 4 Semantic Web Language Feature Usage 4.1 Usage of OWL Constructs 4.2 Meta Usage of Semantic Web Terms 4.2.1 classes populated in this ontology (POP-C) 4.2.2 properties populated in this ontology (POP-P) 4.2.3 classes defined in this ontology (DEF-C) 4.2.4 properties defined in this ontology (DEF-P) 4.3 Class Hierarchy (Frame-ish view)

Overview

This is one module of Provenance Vocabulary

• Provenance Vocabulary Core OWL Ontology http://purl.org/net/provenance/ns.rdf
• Provenance Vocabulary Types OWL Ontology - http://purl.org/net/provenance/types.rdf
• Provenance Vocabulary Integrity Verification OWL Ontology - http://purl.org/net/provenance/integrity.rdf

Domain Concept Coverage

artifact

• prv:Artifact ...... prvIV:verifiedBy
  • prvIV:IntegrityVerification

event

• prv:Execution
  • prvIV:IntegrityVerification ...... prvIV:obtainedResult
    • prvIV:SignatureVerification ...... prvIV:usedMethod prvIV:signedBy

Concept Modeling

class hierarchy

disjointed classes

  <owl:Class rdf:about="http://purl.org/net/provenance/integrity#IntegrityVerification">
    <rdfs:subClassOf rdf:resource="http://purl.org/net/provenance/ns#Execution"/>
    <owl:disjointWith rdf:resource="http://purl.org/net/provenance/ns#DataCreation"/>
    <owl:disjointWith rdf:resource="http://purl.org/net/provenance/ns#DataAccess"/>
    <rdfs:label xml:lang="en">Integrity Verification</rdfs:label>
    <rdfs:comment xml:lang="en">IntegrityVerification is a concept that represents the completed verification of the integrity of an artifact.</rdfs:comment>
    <rdfs:isDefinedBy rdf:resource="http://purl.org/net/provenance/integrity"/>
  </owl:Class>

reuse other ontology

the following features were used

• rdfs:range

  <owl:ObjectProperty rdf:about="http://purl.org/net/provenance/integrity#signedBy">
    <rdfs:label xml:lang="en">signed by</rdfs:label>
    <rdfs:comment xml:lang="en">This property refers to the authority responsible for the digital signature that was verified by a signature verification.</rdfs:comment>
    <rdfs:domain rdf:resource="http://purl.org/net/provenance/integrity#SignatureVerification"/>
    <rdfs:range rdf:resource="http://www.w3.org/2004/03/trix/swp-2/Authority"/>
    <rdfs:isDefinedBy rdf:resource="http://purl.org/net/provenance/integrity"/>
  </owl:ObjectProperty>

Semantic Web Language Feature Usage

Below are some general information about this ontology. The analytical results are generated based on Semantic Web Ontology Analysis Techniques.

RDF

{{#vardefine:ns| }}{{#vardefine:p|number of triples }}{{#vardefine:v|66 }}

OWL

{{#vardefine:ns| }}{{#vardefine:p|OWL Species }}{{#vardefine:v|Full }} {{#vardefine:ns| }}{{#vardefine:p|DL Expressivity }}{{#vardefine:v|ALCHI(D) }}

AL - Attribute Logic: Conjunction, Universal Value Restriction, Limited Existential Quantification 
C - Complement (together with AL allows Disjunction, Full Existential Quantification) 
H - Role Hierarchy 
I - Role Inverse
(D) - Datatypes

Usage of OWL Constructs

OWL Validation (execute)

• Individuals
• RelatedIndividuals
• IndividualData
• Disjoint
• Partial
• Complete

Meta Usage of Semantic Web Terms

(see Semantic Web Ontology Analysis Techniques#Meta Usage)

 xmlns:prv="http://purl.org/net/provenance/ns#"
 xmlns:wot="http://xmlns.com/wot/0.1/"
 xmlns:xhv="http://www.w3.org/1999/xhtml/vocab#"
 xmlns:dcterms="http://purl.org/dc/terms/"
 xmlns:foaf="http://xmlns.com/foaf/0.1/"

classes populated in this ontology (POP-C)

• Category:prv:DataCreation
• Category:prv:DataItem
• Category:owl:Class
• Category:owl:ObjectProperty
• Category:owl:Ontology
• Category:foaf:Document

properties populated in this ontology (POP-P)

note: this ontology also redefines classes from other ontology, such as foaf:Agent. we skipped those definition

• Property:dcterms:created
• Property:dcterms:creator
• Property:dcterms:description
• Property:dcterms:title
• Property:prv:createdBy
• Property:prv:performedAt
• Property:prv:performedBy
• Property:rdf:type
• Property:rdfs:comment
• Property:rdfs:domain
• Property:rdfs:isDefinedBy
• Property:rdfs:label
• Property:rdfs:range
• Property:rdfs:subClassOf
• Property:owl:disjointWith
• Property:owl:equivalentClass
• Property:owl:imports
• Property:foaf:primaryTopic

classes defined in this ontology (DEF-C)

note: this ontology also redefines classes from other ontology, such as void:Dataset. we skipped those definition

1. Category:prvIV:IntegrityVerification
2. Category:prvIV:SignatureMethod
3. Category:prvIV:SignatureVerification
4. Category:prvIV:VerificationResult

properties defined in this ontology (DEF-P)

1. Property:prvIV:obtainedResult
2. Property:prvIV:signedBy
3. Property:prvIV:usedMethod
4. Property:prvIV:verifiedBy

Class Hierarchy (Frame-ish view)

• prv:Artifact ...... prvIV:verifiedBy
  • prvIV:IntegrityVerification
• prv:Execution
  • prvIV:IntegrityVerification ...... prvIV:obtainedResult
    • prvIV:SignatureVerification ...... prvIV:usedMethod prvIV:signedBy