PML Data Structure OWL Ontology

From Semantic Portal Wiki

Contents 1 Overview 2 Domain Concept Coverage 3 Concept Modeling 3.1 list 3.2 cardinality integrity constraint 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.2.5 individuals defined in this ontology (DEF-I) 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 type

• ds:List ...... ds:first ds:rest

Concept Modeling

list

A general-purposed ordered list is defined here

<owl:Class rdf:ID="List">
	<rdfs:label xml:lang="en">List</rdfs:label>

	<rdfs:comment xml:lang="en">A template for defining typed-list. It functions like rdf:List with object members.</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#first"/>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int">1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>

      <owl:Restriction>
        <owl:onProperty rdf:resource="#rest"/>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int">1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>  
</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)

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

OWL (execute )

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

AL - Attribute Logic: Conjunction, Universal Value Restriction, Limited Existential Quantification 

Usage of OWL Constructs

OWL Validation (execute)

• Individuals
• Cardinality
• Partial

Meta Usage of Semantic Web Terms

(see Semantic Web Ontology Analysis Techniques#Meta Usage)

classes populated in this ontology (POP-C)

• Category:ds:List
• Category:owl:Class
• 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:maxCardinality
• Property:owl:onProperty

classes defined in this ontology (DEF-C)

1. ds:List

properties defined in this ontology (DEF-P)

1. ds:first
2. ds:rest

individuals defined in this ontology (DEF-I)

1. ds:nil

Class Hierarchy (Frame-ish view)

• ds:List ...... ds:first ds:rest