Provenir OWL Ontology

From Semantic Portal Wiki

Contents 1 Overview 2 Domain Concept Coverage 3 Concept Modeling 3.1 inheritance 3.2 disjointed classes 3.3 complex relation 3.4 ontology mapping 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) 4.4 Property Hierarchy

Overview

A simple provenance ontology connecting to OBO RO ontology.

documentation: http://wiki.knoesis.org/index.php/Provenir_Ontology

Domain Concept Coverage

data

• provenir:data ...... ro:derives_from ro:contained_in ro:transformation_of
  • provenir:data_collection
  • provenir:parameter
    • provenir:domain_parameter

agent

• provenir:agent ...... provenir:has_parameter ro:contained_in ro:adjacent_to

event

• provenir:process ...... provenir:has_parameter ro:has_participant ro:preceded_by ro:has_agent

location

• provenir:spatial_parameter

time

• provenir:temporal_parameter

auxiliary

• provenir:has_temporal_value

Concept Modeling

inheritance

• class hierarchy
• property hierarchy

disjointed classes

  <owl:Class rdf:about="#process">
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    <rdfs:subClassOf>

      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="#process"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://obofoundry.org/ro/ro.owl#part_of"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#data"/>
    <owl:disjointWith rdf:resource="#agent"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This class models the occurrent entities that affect (process, modify, create, delete among other dynamic activities) individuals of data.</rdfs:comment>
  </owl:Class>

complex relation

process

ontology mapping

Provnenir even redifine the external concept by adding domain/range statements.

  <owl:ObjectProperty rdf:about="http://obofoundry.org/ro/ro.owl#has_agent">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >This is a causal property that links agent to process and is directly responsible for the change in state of the process.</rdfs:comment>
    <rdfs:range rdf:resource="#agent"/>
    <rdfs:domain rdf:resource="#process"/>
  </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|137 }}

OWL

{{#vardefine:ns| }}{{#vardefine:p|OWL Species }}{{#vardefine:v|DL }} {{#vardefine:ns| }}{{#vardefine:p|DL Expressivity }}{{#vardefine:v|ALCH }}

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

Usage of OWL Constructs

OWL Validation (execute)

• Union
• All
• Disjoint
• Partial

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:owl:Class
• Category:owl:ObjectProperty
• Category:owl:Ontology
• Category:owl:Restriction

properties populated in this ontology (POP-P)

• Property:rdf:first
• Property:rdf:rest
• Property:rdf:type
• Property:rdfs:comment
• Property:rdfs:domain
• Property:rdfs:range
• Property:rdfs:subClassOf
• Property:rdfs:subPropertyOf
• Property:owl:allValuesFrom
• Property:owl:disjointWith
• Property:owl:onProperty
• Property:owl:unionOf

classes defined in this ontology (DEF-C)

1. Category:provenir:agent
2. Category:provenir:data
3. Category:provenir:data_collection
4. Category:provenir:domain_parameter
5. Category:provenir:parameter
6. Category:provenir:process
7. Category:provenir:spatial_parameter
8. Category:provenir:temporal_parameter

properties defined in this ontology (DEF-P)

1. Property:provenir:has_parameter
2. Property:provenir:has_temporal_value

note: this ontology redefines properties from other ontology, such as ro:part_of.

  xmlns:ro="http://obofoundry.org/ro/ro.owl#"

1. Property:ro:adjacent_to
2. Property:ro:contained_in
3. Property:ro:derives_from
4. Property:ro:has_agent
5. Property:ro:has_participant
6. Property:ro:located_in
7. Property:ro:part_of
8. Property:ro:preceded_by
9. Property:ro:transformation_of

Class Hierarchy (Frame-ish view)

• provenir:data ...... ro:derives_from ro:contained_in ro:transformation_of
  • provenir:data_collection
  • provenir:parameter
    • provenir:spatial_parameter
    • provenir:domain_parameter
    • provenir:temporal_parameter
• provenir:agent ...... provenir:has_parameter ro:contained_in ro:adjacent_to
• provenir:process ...... provenir:has_parameter ro:has_participant ro:preceded_by ro:has_agent

Property Hierarchy

• provenir:has_parameter
  • provenir:has_temporal_value
  • ro:located_in