WDO OWL Ontology

From Semantic Portal Wiki

Contents 1 Overview 2 Domain Concept Coverage 3 Concept Modeling 3.1 class hierarchy 3.2 inverse 3.3 cardinality integrity constraint 3.4 complex relation 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 ontology is used to describe abstract workflow, i.e. the plan of a workflow.

Domain Concept Coverage

This ontology owl:imports PML Data Structure OWL Ontology and PML Provenance OWL Ontology.

data

• wdo:Data ...... wdo:hasFormat wdo:isInputTo wdo:hasSource wdo:hasSink wdo:isPartOf wdo:isComposedOf wdo:hasLabelCoordinate wdo:isOutputOf

event

• • wdo:Method ...... wdo:hasInferenceEngine wdo:isDetailedBy wdo:hasOutput wdo:hasInput
    • wdo:Decision
      • wdo:XOR
      • wdo:Broadcast

context

• • • wdo:SemanticAbstractWorkflow ...... wdo:isAbstractedBy

axillary (for presentation)

• wdo:WorkflowNode ...... wdo:hasCoordinate
  • pml-provenance:Source
• pml-provenance:MethodRule
  • wdo:Method
• wdo:RectangularCoordinate ...... wdo:hasXCoordinateValue wdo:hasYCoordinateValue wdo:hasZCoordinateValue

Concept Modeling

class hierarchy

  <owl:Class rdf:about="#Decision">
    <rdfs:comment xml:lang="en">Used to specify a decision point in an abstract workflow. Semantics of the decision concept are intentionally vague.</rdfs:comment>
    <rdfs:label xml:lang="en">Decision</rdfs:label>

    <rdfs:subClassOf rdf:resource="#Method"/>
  </owl:Class> 

inverse

  <owl:ObjectProperty rdf:about="#hasInput">

    <rdfs:comment xml:lang="en">Used to specify the wdo:Data concepts that a wdo:Method uses as inputs. Inverse of the wdo:isInputTo property.</rdfs:comment>
    <rdfs:label xml:lang="en">has input</rdfs:label>
    <rdfs:domain rdf:resource="#Method"/>
    <rdfs:range rdf:resource="#Data"/>
    <owl:inverseOf rdf:resource="#isInputTo"/>
  </owl:ObjectProperty>

cardinality integrity constraint

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

• owl:maxCardinality (<=1)

  <owl:Class rdf:about="#Method">
    <rdfs:comment xml:lang="en">Methods, algorithms and other functionality concepts of the domain being modeled.</rdfs:comment>
    <rdfs:label xml:lang="en">Method</rdfs:label>
    <rdfs:subClassOf rdf:resource="&pml-provenance;#MethodRule"/>
    <rdfs:subClassOf rdf:resource="#WorkflowNode"/>
    <rdfs:subClassOf>

      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="#Data"/>
        <owl:onProperty rdf:resource="#hasInput"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="#Data"/>
        <owl:onProperty rdf:resource="#hasOutput"/>

      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="#SemanticAbstractWorkflow"/>
        <owl:onProperty rdf:resource="#isDetailedBy"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>

      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxCardinality>
        <owl:onProperty rdf:resource="#isDetailedBy"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="&pml-provenance;#InferenceEngine"/>

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

    </rdfs:subClassOf>
  </owl:Class>

complex relation

wdo:Method is a complex relation

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

OWL

{{#vardefine:ns| }}{{#vardefine:p|OWL Species }}{{#vardefine:v|DL }} {{#vardefine:ns| }}{{#vardefine:p|DL Expressivity }}{{#vardefine:v|ALCHIF(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
F - Functionality
(D) - Datatypes

Usage of OWL Constructs

OWL Validation (execute)

• Inverse
• 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:owl:allValuesFrom
• Property:owl:imports
• Property:owl:inverseOf
• Property:owl:maxCardinality
• Property:owl:onProperty
• Property:owl:versionInfo

classes defined in this ontology (DEF-C)

1. Category:wdo:Broadcast
2. Category:wdo:Data
3. Category:wdo:Decision
4. Category:wdo:Method
5. Category:wdo:RectangularCoordinate
6. Category:wdo:SemanticAbstractWorkflow
7. Category:wdo:WorkflowNode
8. Category:wdo:XOR

properties defined in this ontology (DEF-P)

1. Property:wdo:hasCoordinate
2. Property:wdo:hasFormat
3. Property:wdo:hasInferenceEngine
4. Property:wdo:hasInput
5. Property:wdo:hasLabelCoordinate
6. Property:wdo:hasOutput
7. Property:wdo:hasSink
8. Property:wdo:hasSource
9. Property:wdo:hasXCoordinateValue
10. Property:wdo:hasYCoordinateValue
11. Property:wdo:hasZCoordinateValue
12. Property:wdo:isAbstractedBy
13. Property:wdo:isComposedOf
14. Property:wdo:isDetailedBy
15. Property:wdo:isInputTo
16. Property:wdo:isOutputOf
17. Property:wdo:isPartOf

Class Hierarchy (Frame-ish view)

• wdo:Data ...... wdo:hasFormat wdo:isInputTo wdo:hasSource wdo:hasSink wdo:isPartOf wdo:isComposedOf wdo:hasLabelCoordinate wdo:isOutputOf
• wdo:WorkflowNode ...... wdo:hasCoordinate
  • pml-provenance:Source
  • wdo:Method ...... wdo:hasInferenceEngine wdo:isDetailedBy wdo:hasOutput wdo:hasInput
    • wdo:Decision
      • wdo:XOR
      • wdo:Broadcast
    • wdo:SemanticAbstractWorkflow ...... wdo:isAbstractedBy
• pml-provenance:MethodRule
  • wdo:Method
• wdo:RectangularCoordinate ...... wdo:hasXCoordinateValue wdo:hasYCoordinateValue wdo:hasZCoordinateValue