@prefix : . @prefix sp: . @prefix ns1: . @prefix owl: . @prefix rdf: . @prefix spl: . @prefix xml: . @prefix xsd: . @prefix prov: . @prefix rdfs: . @prefix spin: . @prefix dcterm: . @prefix p-plan: . @prefix SC-PROV-O: . @base . rdf:type owl:Ontology ; dcterm:created "2015-08-30T00:00:00+00:00"^^xsd:dateTime ; owl:versionInfo "1.0.0"^^xsd:string ; dcterm:creator "Milan Markovic"^^xsd:string ; dcterm:creator "Peter Edwards"^^xsd:string ; dcterm:creator "David Corsar"^^xsd:string ; dcterm:title "SC-PROV-O: An ontology for describing provenance of social computation" ; dcterm:rights "Copyright © 2015 University of Aberdeen" ; rdfs:isDefinedBy "" ; ns1:license ; owl:imports p-plan: , . ################################################################# # # Object Properties # ################################################################# ### https://w3id.org/abdn/socialcomp/sc-prov#correspondsToActor SC-PROV-O:correspondsToActor rdf:type owl:FunctionalProperty , owl:ObjectProperty ; rdfs:label "correspondsToActor"^^xsd:string ; rdfs:comment "A relation that links a prov:Agent to its expected description captured by sc-prov-o:SocialActorSpec."^^xsd:string ; rdfs:range SC-PROV-O:SocialActorSpec ; rdfs:domain prov:Agent . ### https://w3id.org/abdn/socialcomp/sc-prov#hadCondition SC-PROV-O:hadCondition rdf:type owl:FunctionalProperty , owl:ObjectProperty ; rdfs:label "hadCondition"^^xsd:string ; rdfs:comment "A relation that links a specific sc-prov-o:evaluationContext to the sc-prov-o:Condition for which the evaluation was sought for."^^xsd:string ; rdfs:range SC-PROV-O:Condition ; rdfs:domain SC-PROV-O:EvaluationContext . ### https://w3id.org/abdn/socialcomp/sc-prov#hadEvaluationSubject SC-PROV-O:hadEvaluationSubject rdf:type owl:FunctionalProperty , owl:ObjectProperty ; rdfs:label "hadActivity"^^xsd:string ; rdfs:comment """A relation describing that a particular p-plan:Activity captured as part of the sc-prov-o:EvaluationContext is the activity for which the condition was evaluated."""^^xsd:string ; rdfs:domain SC-PROV-O:EvaluationContext ; rdfs:range p-plan:Activity . ### https://w3id.org/abdn/socialcomp/sc-prov#hadParameterCollection SC-PROV-O:hadParameterCollection rdf:type owl:ObjectProperty ; rdfs:label "had Parameter Collection" ; rdfs:comment "A relation that is used to associate an sc-prov:ParameterCollection with an sc-prov:EvaluationContext" . ### https://w3id.org/abdn/socialcomp/sc-prov#hadResult SC-PROV-O:hadResult rdf:type owl:FunctionalProperty , owl:ObjectProperty ; rdfs:label "hadResult"^^xsd:string ; rdfs:comment "A relation describing that a particular p-plan:Entity represents the evaluation result of specific condition applicable to the state of the world described by the sc- prov-o:EvaluationContext."^^xsd:string ; rdfs:domain SC-PROV-O:EvaluationContext ; rdfs:range p-plan:Entity . ### https://w3id.org/abdn/socialcomp/sc-prov#hasIncentive SC-PROV-O:hasIncentive rdf:type owl:ObjectProperty ; rdfs:label "hasIncentive"@en ; rdfs:comment "placeholder"@en ; rdfs:range SC-PROV-O:Incentive ; rdfs:domain p-plan:Step . ### https://w3id.org/abdn/socialcomp/sc-prov#hasParameter SC-PROV-O:hasParameter rdf:type owl:ObjectProperty ; rdfs:label "hasParameter"@en ; rdfs:comment """sc-prov:hasParameter is a relation defining that a p-plan:Variable provides a parameter value for the sc-prov:Condition."""@en ; rdfs:domain SC-PROV-O:Condition ; rdfs:range p-plan:Variable . ### https://w3id.org/abdn/socialcomp/sc-prov#hasRoleSpec SC-PROV-O:hasRoleSpec rdf:type owl:FunctionalProperty , owl:ObjectProperty ; rdfs:label "hasRoleSpec"@en ; rdfs:comment "A relation that links an instance of sc-prov-o:Purpose with a single specifica- tion of the assigned sc-prov-o: RoleSpec."@en ; rdfs:domain SC-PROV-O:Purpose ; rdfs:range SC-PROV-O:RoleSpec . ### https://w3id.org/abdn/socialcomp/sc-prov#isConditionOfPlan SC-PROV-O:isConditionOfPlan rdf:type owl:ObjectProperty ; rdfs:label "isConditionOfPlan"@en ; rdfs:comment "Links an instance of an sc-prov-o:Condition to a specific instance of a p-plan:Plan"@en ; rdfs:domain SC-PROV-O:Condition ; rdfs:range prov:Plan . ### https://w3id.org/abdn/socialcomp/sc-prov#isImposedOn SC-PROV-O:isImposedOn rdf:type owl:ObjectProperty ; rdfs:label "isImposedOn"@en ; rdfs:comment "sc-prov:isImposedOn is a relation defining that an sc-prov:Condition is defined for a p-plan:Step."@en ; rdfs:domain SC-PROV-O:Condition ; rdfs:range p-plan:Step . ### https://w3id.org/abdn/socialcomp/sc-prov#isPurposeInPlan SC-PROV-O:isPurposeInPlan rdf:type owl:ObjectProperty ; rdfs:label "isPurposeInPlan"@en ; rdfs:comment "Links an instance of a sc-prov-o:Purpose to a specific instance of a p-plan:Plan"@en ; rdfs:domain SC-PROV-O:Purpose ; rdfs:subPropertyOf owl:topObjectProperty ; rdfs:range prov:Plan . ### https://w3id.org/abdn/socialcomp/sc-prov#performs SC-PROV-O:performs rdf:type owl:ObjectProperty ; rdfs:label "performs"@en ; rdfs:comment "sc-prov:performs is a relation defining that an sc-prov:socialActor defines a description of an agent that will bear some responsibility for the activity described by p-plan:Step."@en ; rdfs:domain SC-PROV-O:SocialActorSpec ; owl:propertyDisjointWith SC-PROV-O:requests ; rdfs:range p-plan:Step . ### https://w3id.org/abdn/socialcomp/sc-prov#qualifiedAction SC-PROV-O:qualifiedAction rdf:type owl:ObjectProperty ; rdfs:label "qualifiedAction"@en ; rdfs:comment """A relation that links an sc-prov-o: SocialActorSpec to the scope of the expected activity performed by agents that correspond to such sc-prov-o: SocialActorSpec."""@en ; rdfs:range SC-PROV-O:Action ; rdfs:domain SC-PROV-O:SocialActorSpec ; rdfs:subPropertyOf SC-PROV-O:qualifiedPurpose . ### https://w3id.org/abdn/socialcomp/sc-prov#qualifiedImposition SC-PROV-O:qualifiedImposition rdf:type owl:ObjectProperty ; rdfs:label "qualifiedImposition"@en ; rdfs:comment """A relation that links an sc-prov-o: Condition to an sc-prov-o: Imposition which describes the subjection of a p-plan:Step to the constraints described by the sc-prov:Condition."""@en ; rdfs:domain SC-PROV-O:Condition ; rdfs:range SC-PROV-O:Imposition ; rdfs:subPropertyOf SC-PROV-O:qualifiedPurpose . ### https://w3id.org/abdn/socialcomp/sc-prov#qualifiedInput SC-PROV-O:qualifiedInput rdf:type owl:ObjectProperty ; rdfs:label "qualifiedInput"@en ; rdfs:comment "A relation that links a p-plan: Variable to the description of the specification context in which a variable is expected to be taken as an input for a step (sc-prov-o: Input)."@en ; rdfs:range SC-PROV-O:Input ; rdfs:subPropertyOf SC-PROV-O:qualifiedPurpose ; rdfs:domain p-plan:Variable . ### https://w3id.org/abdn/socialcomp/sc-prov#qualifiedOutput SC-PROV-O:qualifiedOutput rdf:type owl:ObjectProperty ; rdfs:label "qualifiedOutput"@en ; rdfs:comment "A relation that links a p-plan: Variable to the description of the specification context in which a variable is expected to be produced as an output of a step (sc-prov-o: Output)."@en ; rdfs:range SC-PROV-O:Output ; rdfs:subPropertyOf SC-PROV-O:qualifiedPurpose ; rdfs:domain p-plan:Variable . ### https://w3id.org/abdn/socialcomp/sc-prov#qualifiedPurpose SC-PROV-O:qualifiedPurpose rdf:type owl:ObjectProperty ; rdfs:label "qualifiedPurpose"@en ; rdfs:comment """A relation that links a p-plan:Variable or an sc-prov:Condition with the descrip- tion of their expected scope of influence on a p-plan:Step."""@en ; rdfs:range SC-PROV-O:Purpose ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( SC-PROV-O:Condition p-plan:Variable ) ] . ### https://w3id.org/abdn/socialcomp/sc-prov#requests SC-PROV-O:requests rdf:type owl:ObjectProperty ; rdfs:label "requests"@en ; rdfs:comment "sc-prov:requests is a relation defining that a prov:Agent corresponding to the sc-prov:socialActor description is responsible for existence of the particular p-plan:Step."@en ; rdfs:domain SC-PROV-O:SocialActorSpec ; rdfs:range p-plan:Step . ### https://w3id.org/abdn/socialcomp/sc-prov#target SC-PROV-O:target rdf:type owl:FunctionalProperty , owl:ObjectProperty ; rdfs:label "target"@en ; rdfs:comment "A relation that links an sc-prov-o:Purpose with the subject of its influence, i.e. a p-plan:Step."@en ; rdfs:range p-plan:Step ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( SC-PROV-O:Condition p-plan:Variable ) ] . ################################################################# # # Classes # ################################################################# ### https://w3id.org/abdn/socialcomp/sc-prov#Action SC-PROV-O:Action rdf:type owl:Class ; rdfs:label "Action"@en ; rdfs:subClassOf SC-PROV-O:Purpose ; rdfs:comment "Action is the scope of the expected activity performed by agents that correspond to sc-prov:SocialActorSpec."@en . ### https://w3id.org/abdn/socialcomp/sc-prov#Condition SC-PROV-O:Condition rdf:type owl:Class ; rdfs:label "Condition"@en ; rdfs:subClassOf owl:Thing ; rdfs:comment "An sc-prov:Condition defines a state of the world described by a logical state- ment that is used to define a desired state of a particular aspect of a successful step."@en . ### https://w3id.org/abdn/socialcomp/sc-prov#EvaluationContext SC-PROV-O:EvaluationContext rdf:type owl:Class ; rdfs:label "Evaluation Context"@en ; rdfs:subClassOf owl:Thing ; rdfs:comment "A concept used to connect the evaluation result of a particular sc-prov:Condition (C1) with a single executed p-plan:Activity corresponding to the step associated with C1."@en . ### https://w3id.org/abdn/socialcomp/sc-prov#Imposition SC-PROV-O:Imposition rdf:type owl:Class ; rdfs:label "Imposition"@en ; rdfs:subClassOf SC-PROV-O:Purpose ; rdfs:comment "Imposition is the subjection of p-plan:Step to the constraints described by sc- prov:Condition."@en . ### https://w3id.org/abdn/socialcomp/sc-prov#Incentive SC-PROV-O:Incentive rdf:type owl:Class ; rdfs:label "Incentive"@en ; rdfs:subClassOf p-plan:Variable ; owl:disjointWith SC-PROV-O:SocialActorSpec ; rdfs:comment "Incentive is a kind of p-plan:Variable and represents a thing (e.g. monetary value, increased knowledge, etc.) that would be realised by a worker following successful completion of a task."@en . ### https://w3id.org/abdn/socialcomp/sc-prov#Input SC-PROV-O:Input rdf:type owl:Class ; rdfs:label "Input"@en ; rdfs:subClassOf SC-PROV-O:Purpose ; rdfs:comment "Input describes a specification context in which a p-plan:Variable is expected to be taken as an input for a p-plan:Step."@en . ### https://w3id.org/abdn/socialcomp/sc-prov#Output SC-PROV-O:Output rdf:type owl:Class ; rdfs:label "Output"@en ; rdfs:subClassOf SC-PROV-O:Purpose ; rdfs:comment """Output describes a specification context in which a p-plan:Variable is expected to be produced as an output of a p-plan:Step."""@en . ### https://w3id.org/abdn/socialcomp/sc-prov#ParameterCollection SC-PROV-O:ParameterCollection rdf:type owl:Class ; rdfs:label "Parameter Collection"@en ; rdfs:subClassOf prov:Collection ; rdfs:comment """A kind of prov:Collection which is used to encapsulate the in- stances of prov:Entity that were used as parameters to evaluate a particular sc-prov:Condition."""@en . ### https://w3id.org/abdn/socialcomp/sc-prov#Purpose SC-PROV-O:Purpose rdf:type owl:Class ; rdfs:label "Purpose"@en ; rdfs:subClassOf owl:Thing ; rdfs:comment "Purpose is the expected scope of influence of a p-plan:Variable or an sc- prov:Condition on a p-plan:Step."@en . ### https://w3id.org/abdn/socialcomp/sc-prov#RoleSpec SC-PROV-O:RoleSpec rdf:type owl:Class ; rdfs:label "Role Specification"@en ; rdfs:subClassOf owl:Thing ; rdfs:comment "A role specification is the function of a variable, a social actor, or a condition in the context of a particular step."@en . ### https://w3id.org/abdn/socialcomp/sc-prov#SocialActorSpec SC-PROV-O:SocialActorSpec rdf:type owl:Class ; rdfs:label "Social Actor Specification"@en ; rdfs:subClassOf p-plan:Variable ; rdfs:comment "An sc-prov:SocialActor is a kind of p-plan:Variable and represents a desired specification of an agent who should be associated with a p-plan:Step in order to perform a non- administrative function in a social computation process."@en . ################################################################# # # General axioms # ################################################################# [ rdf:type owl:AllDisjointClasses ; owl:members ( SC-PROV-O:Condition p-plan:Step p-plan:Variable ) ] . [ rdf:type owl:AllDisjointClasses ; owl:members ( SC-PROV-O:Action SC-PROV-O:Imposition SC-PROV-O:Input SC-PROV-O:Output ) ] . ### Generated by the OWL API (version 3.5.1) http://owlapi.sourceforge.net