PML Justification OWL Ontology

From Semantic Portal Wiki

Contents 1 Overview 2 Domain Concept Coverage 3 Concept Modeling 3.1 class hierarchy 3.2 cardinality integrity constraint 3.3 complex relation 3.4 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

entity

• pmlj:AbstractionRule ...... hasPatternNodeSet
• pmlj:Query ...... isFromEngine hasAnswer isQueryFor
• pmlj:Question ...... hasAnswerPattern

event

• pmlj:JustificationElement
  • pmlj:InferenceStep ...... hasInferenceEngine hasIndex hasVariableMapping hasInferenceRule hasSourceUsage fromAnswerOrQuery hasAntecedentList hasMetaBinding hasDischarge
  • pmlj:NodeSet ...... hasConclusion isExplanationOf isConsequentOf
• pmlj:NodeSetList
• pmlj:Mapping ...... mapFrom mapTo

Concept Modeling

class hierarchy

  <owl:Class rdf:about="&pmlj;AbstractionRule">
     <rdfs:label>Abstraction Rule</rdfs:label>
     <rdfs:subClassOf rdf:resource="&pmlp;MethodRule"/>
  </owl:Class>  

cardinality integrity constraint

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

• owl:cardinality (=1)
• owl:maxCardinality (<=1)

  <owl:Class rdf:about="&pmlj;Question">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxCardinality>
        <owl:onProperty rdf:resource="&pmlj;hasAnswerPattern"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
        <owl:onProperty rdf:resource="&pmlp;hasContent"/>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>

complex relation

pmlj:InferenceStep can be viewed as a complex relation

  <owl:Class rdf:about="&pmlj;InferenceStep">
	<rdfs:label xml:lang="en">Inference Step</rdfs:label>
    <rdfs:comment xml:lang="en">An inference step represents a justification for the conclusion of the corresponding node set. Instances of inference step are usually anonymous as part of node set. For this reason, inference steps usually have no URIs. Moreover, an application should treat node set and its inference steps in whole.</rdfs:comment>
	<rdfs:subClassOf rdf:resource="&pmlj;JustificationElement" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxCardinality>

        <owl:onProperty rdf:resource="&pmlj;hasIndex"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxCardinality>
        <owl:onProperty rdf:resource="&pmlj;hasSourceUsage"/>
      </owl:Restriction>

    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxCardinality>
        <owl:onProperty rdf:resource="&pmlj;hasInferenceRule"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>

      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxCardinality>
        <owl:onProperty rdf:resource="&pmlj;fromAnswerOrQuery"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxCardinality>

        <owl:onProperty rdf:resource="&pmlj;hasInferenceEngine"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxCardinality>
        <owl:onProperty rdf:resource="&pmlp;hasConfidenceValue"/>
      </owl:Restriction>

    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxCardinality>
        <owl:onProperty rdf:resource="&pmlj;hasAntecedentList"/>
      </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|207 }}

OWL (execute )

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

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

Usage of OWL Constructs

OWL Validation (execute)

• All
• 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:rdfs:subPropertyOf
• Property:owl:allValuesFrom
• Property:owl:cardinality
• Property:owl:imports
• Property:owl:maxCardinality
• Property:owl:onProperty
• Property:owl:versionInfo

classes defined in this ontology (DEF-C)

1. Category:pmlj:AbstractionRule
2. Category:pmlj:InferenceStep
3. Category:pmlj:JustificationElement
4. Category:pmlj:Mapping
5. Category:pmlj:NodeSet
6. Category:pmlj:NodeSetList
7. Category:pmlj:Query
8. Category:pmlj:Question

properties defined in this ontology (DEF-P)

1. Property:pmlj:fromAnswer
2. Property:pmlj:fromAnswerOrQuery
3. Property:pmlj:fromQuery
4. Property:pmlj:hasAnswer
5. Property:pmlj:hasAnswerPattern
6. Property:pmlj:hasAntecedentList
7. Property:pmlj:hasConclusion
8. Property:pmlj:hasDischarge
9. Property:pmlj:hasIndex
10. Property:pmlj:hasInferenceEngine
11. Property:pmlj:hasInferenceRule
12. Property:pmlj:hasMetaBinding
13. Property:pmlj:hasPatternNodeSet
14. Property:pmlj:hasSourceUsage
15. Property:pmlj:hasVariableMapping
16. Property:pmlj:isConsequentOf
17. Property:pmlj:isExplanationOf
18. Property:pmlj:isFromEngine
19. Property:pmlj:isQueryFor
20. Property:pmlj:mapFrom
21. Property:pmlj:mapTo

Class Hierarchy (Frame-ish view)

• pmlj:JustificationElement
  • pmlj:InferenceStep ...... hasInferenceEngine hasIndex hasVariableMapping hasInferenceRule hasSourceUsage fromAnswerOrQuery hasAntecedentList hasMetaBinding hasDischarge
  • pmlj:NodeSet ...... hasConclusion isExplanationOf isConsequentOf
  • pmlj:Query ...... isFromEngine hasAnswer isQueryFor
  • pmlj:Question ...... hasAnswerPattern
• pmlj:NodeSetList
• pmlj:Mapping ...... mapFrom mapTo
• pmlp:MethodRule
  • pmlj:AbstractionRule ...... hasPatternNodeSet