@base <http://purl.org/wild/vocab> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix : <#> .
@prefix sp: <http://spinrdf.org/sp#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix http: <http://www.w3.org/2011/http#> .
@prefix list: <../list/vocab#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

<>
    a owl:Ontology ;
    rdfs:comment "Ontology to describe Workflows in Linked Data" ;
    rdfs:label "WiLD ontology" ;
    rdfs:seeAlso <semantics> ;
    foaf:maker <http://www.aifb.kit.edu/id/Tobias_K-C3-A4fer> .

:ActiveOrInitialisedInstanceState
    a rdfs:Class ;
    rdfs:subClassOf :State .

:Activity
    a rdfs:Class .

:ActivityInstance
    a rdfs:Class ;
    rdfs:subClassOf :Instance .

:AtomicActivity
    a rdfs:Class ;
    rdfs:subClassOf :Activity ;
    owl:disjointWith :CompositeActivity .

:CompositeActivity
    a rdfs:Class ;
    rdfs:subClassOf :Activity .

:ConditionalActivity
    a rdfs:Class ;
    rdfs:subClassOf :CompositeActivity ;
    owl:disjointWith :ParallelActivity, :SequentialActivity .

:Instance
    a rdfs:Class .

:ParallelActivity
    a rdfs:Class ;
    rdfs:subClassOf :CompositeActivity ;
    owl:disjointWith :SequentialActivity .

:SequentialActivity
    a rdfs:Class ;
    rdfs:subClassOf :CompositeActivity .

:State
    a rdfs:Class .

:VirtualInstanceState
    a rdfs:Class ;
    rdfs:subClassOf :State .

:WorkflowInstance
    a rdfs:Class ;
    rdfs:subClassOf :Instance .

:WorkflowModel
    a rdfs:Class .

:active
    a :ActiveOrInitialisedInstanceState .

:activityInstanceOf
    a rdf:Property ;
    rdfs:domain :ActivityInstance ;
    rdfs:range :Activity .

:containsActivity
    a rdf:Property ;
    rdfs:domain :WorkflowModel ;
    rdfs:range :Activity .

:done
    a :InstanceState .

:doneFromListItemOne
    a :VirtualInstanceState .

:hasAtomicActivity
    a rdf:Property ;
    rdfs:domain :CompositeActivity ;
    rdfs:range :AtomicActivity .

:hasBehaviour
    a rdf:Property ;
    rdfs:domain :WorkflowModel ;
    rdfs:range :Activity .

:hasChildActivities
    a rdf:Property ;
    rdfs:domain :CompositeActivity ;
    rdfs:range rdf:List .

:hasChildActivity
    list:accompanying :hasChildActivities ;
    a list:ListMembershipProperty, rdf:Property ;
    rdfs:domain :CompositeActivity ;
    rdfs:range :Activity ;
    rdfs:subPropertyOf :hasDescendantActivity .

:hasDescendantActivity
    a rdf:Property, owl:TransitiveProperty ;
    rdfs:domain :CompositeActivity ;
    rdfs:range :Activity .

:hasHttpRequest
    a rdf:Property ;
    rdfs:domain :AtomicActivity ;
    rdfs:range http:Request .

:hasPostcondition
    a rdf:Property ;
    rdfs:domain :Activity ;
    rdfs:range sp:Ask .

:hasPrecondition
    a rdf:Property ;
    rdfs:domain :Activity ;
    rdfs:range sp:Ask .

:hasState
    a rdf:Property ;
    rdfs:domain :Instance ;
    rdfs:range :State .

:inWorkflowInstance
    a rdf:Property ;
    rdfs:domain :ActivityInstance ;
    rdfs:range :WorkflowInstance .

:initialised
    a :ActiveOrInitialisedInstanceState .

:initialisedFromListItemOne
    a :VirtualInstanceState .

:paused
    a :InstanceState .

:skipped
    a :InstanceState .

:uninitialised
    a :InstanceState .

:workflowInstanceOf
    a rdf:Property ;
    rdfs:domain :WorkflowInstance ;
    rdfs:range :WorkflowModel .

<http://schema.org/endDate>
    a rdfs:Property ;
    rdfs:range xsd:dateTime .

sp:Ask
    a rdfs:Class .

<http://www.aifb.kit.edu/id/Tobias_K-C3-A4fer>
    rdfs:label "Tobias Käfer" .

rdf:List
    a rdfs:Class .

http:Request
    a rdfs:Class .