PML Trust OWL Ontology

From Semantic Portal Wiki

Contents 1 Overview 2 Domain Concept Coverage 3 Concept Modeling 3.1 cardinality integrity constraint 3.2 complex relation 3.3 typed list 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 PML ontology

• PML Data Structure OWL Ontology
• PML Provenance OWL Ontology
• PML Justification OWL Ontology
• PML Trust OWL Ontology

Domain Concept Coverage

complex datatype

• pmlt:FloatMetric ...... hasFloatValue

complex relation

• pmlt:BeliefElement ...... hasBelievingAgent hasBelievedInformation
  • pmlt:FloatBelief
• pmlt:TrustElement ...... hasTrustee hasTrustor
  • pmlt:FloatTrust

Concept Modeling

cardinality integrity constraint

Some types of owl cardinality restriction were used, but they are all use 1 as the cardinality value.

• owl:cardinality (=1)

  <owl:Class rdf:ID="TrustElement">
    <rdfs:label xml:lang="en">Trust</rdfs:label>
    <rdfs:comment xml:lang="en">The abstract trust concept that associate from an agent to a source. The trust relation summarizes an agent's overall believes about information from the specified source. The specific trust metrics are defined in the decendents of this class.</rdfs:comment>
    <rdfs:subClassOf>

      <owl:Restriction>
        <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
        <owl:onProperty rdf:resource="#hasTrustor"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>

        <owl:onProperty rdf:resource="#hasTrustee"/>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>

complex relation

pmlt:FloatTrust can be viewed as a complex relation that connects agent-to-agent with trust statement and evaluation

  <owl:Class rdf:ID="FloatTrust">
    <rdfs:label xml:lang="en">Float trust</rdfs:label>
    <rdfs:comment xml:lang="en">An agent's overall trust on an information source quantified by a float value between 0 and 1. </rdfs:comment>
    <rdfs:subClassOf rdf:resource="#TrustElement"/>
    <rdfs:subClassOf rdf:resource="#FloatMetric"/>
  </owl:Class>

  <owl:Class rdf:ID="FloatMetric">
    <rdfs:label xml:lang="en">float metric</rdfs:label>
    <rdfs:comment xml:lang="en">A specific valuation metric that is defined on [0,1] as float number. 0 means fully negative point, 0.5 means nutral point, and 1 means fully positive point.</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
        <owl:onProperty rdf:resource="#hasFloatValue"/>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>

typed list

An list is supplied to enable representation of an ordered sequence.

  <owl:Class rdf:about="&pmlj;NodeSetList">

    <rdfs:label xml:lang="en"> List of NodeSet</rdfs:label>	
    <rdfs:subClassOf rdf:resource="&ds;List"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="&pmlj;NodeSet"/>
        <owl:onProperty rdf:resource="&ds;first"/>
      </owl:Restriction>
    </rdfs:subClassOf>

    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="&pmlj;NodeSetList"/>
        <owl:onProperty rdf:resource="&ds;rest"/>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>  

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|70 }}

OWL (execute )

{{#vardefine:ns| }}{{#vardefine:p|OWL Species }}{{#vardefine:v|DL }} -- note that it imports other PMLP ontology, so it could also be considered OWL-DL {{#vardefine:ns| }}{{#vardefine:p|DL Expressivity }}{{#vardefine:v|ALCHIF(D) }}

AL - Attribute Logic: Conjunction, Universal Value Restriction, Limited Existential Quantification 
(D) - Datatypes

Usage of OWL Constructs

OWL Validation (execute)

• Individuals
• Cardinality
• Datatype
• Partial

Meta Usage of Semantic Web Terms

(see Semantic Web Ontology Analysis Techniques#Meta Usage)

classes populated in this ontology (POP-C)

• Category:owl:Class
• Category:owl:DatatypeProperty
• Category:owl:ObjectProperty
• Category:owl:Ontology
• Category:owl:Restriction

properties populated in this ontology (POP-P)

• Property:rdf:type
• Property:rdfs:comment
• Property:rdfs:domain
• Property:rdfs:label
• Property:rdfs:range
• Property:rdfs:subClassOf
• Property:owl:cardinality
• Property:owl:imports
• Property:owl:onProperty
• Property:owl:versionInfo

classes defined in this ontology (DEF-C)

1. Category:pmlt:BeliefElement
2. Category:pmlt:FloatBelief
3. Category:pmlt:FloatMetric
4. Category:pmlt:FloatTrust
5. Category:pmlt:TrustElement

properties defined in this ontology (DEF-P)

1. Property:pmlt:hasBelievedInformation
2. Property:pmlt:hasBelievingAgent
3. Property:pmlt:hasFloatValue
4. Property:pmlt:hasTrustee
5. Property:pmlt:hasTrustor

Class Hierarchy (Frame-ish view)

• pmlt:FloatMetric ...... hasFloatValue
• pmlt:BeliefElement ...... hasBelievingAgent hasBelievedInformation
  • pmlt:FloatBelief
• pmlt:TrustElement ...... hasTrustee hasTrustor
  • pmlt:FloatTrust