SC-PROV-O: An ontology for describing provenance of social computation
type: Ontology
created: 2015-08-30T00:00:00+00:00
version info: 1.0.0
creator: Milan Markovic
creator: Peter Edwards
creator: David Corsar
rights: Copyright © 2015 University of Aberdeen
license: http://creativecommons.org/licenses/by-sa/3.0/
imports: p-plan#
imports: prov-o-20130430

correspondsToActor
type: FunctionalProperty
type: ObjectProperty
comment: A relation that links a prov:Agent to its expected description captured by sc-prov-o:SocialActorSpec.
range: Social Actor Specification
domain: Agent

hadCondition
type: FunctionalProperty
type: ObjectProperty
comment: A relation that links a specific sc-prov-o:evaluationContext to the sc-prov-o:Condition for which the evaluation was sought for.
range: Condition
domain: Evaluation Context

hadActivity
type: FunctionalProperty
type: ObjectProperty
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.
domain: Evaluation Context
range: Activity

had Parameter Collection
type: ObjectProperty
comment: A relation that is used to associate an sc-prov:ParameterCollection with an sc-prov:EvaluationContext

hadResult
type: FunctionalProperty
type: ObjectProperty
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.
domain: Evaluation Context
range: Entity

hasIncentive
type: ObjectProperty
comment: placeholder
range: Incentive
domain: Step

hasParameter
type: ObjectProperty
comment: sc-prov:hasParameter is a relation defining that a p-plan:Variable provides a parameter value for the sc-prov:Condition.
domain: Condition
range: Variable

hasRoleSpec
type: FunctionalProperty
type: ObjectProperty
comment: A relation that links an instance of sc-prov-o:Purpose with a single specifica- tion of the assigned sc-prov-o: RoleSpec.
domain: Purpose
range: Role Specification

isConditionOfPlan
type: ObjectProperty
comment: Links an instance of an sc-prov-o:Condition to a specific instance of a p-plan:Plan
domain: Condition
range: Plan

isImposedOn
type: ObjectProperty
comment: sc-prov:isImposedOn is a relation defining that an sc-prov:Condition is defined for a p-plan:Step.
domain: Condition
range: Step

isPurposeInPlan
type: ObjectProperty
comment: Links an instance of a sc-prov-o:Purpose to a specific instance of a p-plan:Plan
domain: Purpose
sub property of: topObjectProperty
range: Plan

performs
type: ObjectProperty
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.
domain: Social Actor Specification
property disjoint with: requests
range: Step

qualifiedAction
type: ObjectProperty
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.
range: Action
domain: Social Actor Specification
sub property of: qualifiedPurpose

qualifiedImposition
type: ObjectProperty
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.
domain: Condition
range: Imposition
sub property of: qualifiedPurpose

qualifiedInput
type: ObjectProperty
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).
range: Input
sub property of: qualifiedPurpose
domain: Variable

qualifiedOutput
type: ObjectProperty
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).
range: Output
sub property of: qualifiedPurpose
domain: Variable

qualifiedPurpose
type: ObjectProperty
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.
range: Purpose
domain: Class
  union of: Condition
  union of: Variable

requests
type: ObjectProperty
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.
domain: Social Actor Specification
range: Step

target
type: FunctionalProperty
type: ObjectProperty
comment: A relation that links an sc-prov-o:Purpose with the subject of its influence, i.e. a p-plan:Step.
range: Step
domain: Class
  union of: Condition
  union of: Variable

Action
type: Class
subclass of: Purpose
comment: Action is the scope of the expected activity performed by agents that correspond to sc-prov:SocialActorSpec.

Condition
type: Class
subclass of: Thing
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.

Evaluation Context
type: Class
subclass of: Thing
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.

Imposition
type: Class
subclass of: Purpose
comment: Imposition is the subjection of p-plan:Step to the constraints described by sc- prov:Condition.

Incentive
type: Class
subclass of: Variable
disjoint with: Social Actor Specification
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.

Input
type: Class
subclass of: Purpose
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.

Output
type: Class
subclass of: Purpose
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.

Parameter Collection
type: Class
subclass of: Collection
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.

Purpose
type: Class
subclass of: Thing
comment: Purpose is the expected scope of influence of a p-plan:Variable or an sc- prov:Condition on a p-plan:Step.

Role Specification
type: Class
subclass of: Thing
comment: A role specification is the function of a variable, a social actor, or a condition in the context of a particular step.

Social Actor Specification
type: Class
subclass of: Variable
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.