wizpol.owl
type: Ontology
version info: Version 3.9
comment: wizpol.owl 1st June 2013 (C) Gavin A. Campbell (www.cs.stir.ac.uk/~gca) and Kenneth J. Turner (www.cs.stir.ac.uk/~kjt) Computing Science and Mathematics University of Stirling This ontology defines common policy wizard interface components. It is based on the generic policy description language ontology (genpol.owl). It includes categorisation for timer handling in APPEL. OWLDoc documentation for this ontology may be accessed at: http://www.cs.stir.ac.uk/schemas/doc/wizpol Updates: Version 3.3: o provided goal-related information Version 3.4: o used "schemas" directory throughout Version 3.5: o converted "matchValue" and "displayName" DatatypeProperty to AnnotationProperty (fixed definition error) Version 3.6: o added "receive_message" trigger of category "ReceiveCategory" Version 3.7: o removed "Flag" classes o adjusted effects for "add_caller", "add_medium", "play_clip", and "remove_medium" o removed space in "set_variable" parameters Version 3.8 (19th April 2013): o parameter prefixes removed for "restart_timer", "set_variable", "start_timer", "stop_timer" and "unset_variable" o parameter types given initial capitals Version 3.9 (1st June 2013): o "channel" effect renamed "link"
imports: genpol.owl

Intermediate
type: Class
subclass of: UserLevelValue
comment: Intermediate User Level

Admin
type: Class
subclass of: UserLevelValue
comment: Administrator User Level

ClassCategorisation
type: Class
comment: Used to assign a particular exhaustive set of values to a class, as a form of categorisation.

lt_epoch
type: Class
subclass of: NamedConditionOp
subclass of: Restriction
  on property: hasCategory
  some values from: epoch
subclass of: Restriction
  some values from: Novice
  on property: hasUserLevel
subclass of: Restriction
  on property: hasUserLevel
  some values from: Intermediate
subclass of: Restriction
  on property: hasUserLevel
  some values from: Expert
subclass of: Restriction
  some values from: Admin
  on property: hasUserLevel

epoch
type: Class
subclass of: ConditionParamCategory

Novice
type: Class
subclass of: UserLevelValue
comment: Novice User Level

Expert
type: Class
subclass of: UserLevelValue
comment: Expert User Level

timer_set
type: Class
subclass of: ActionCategory

audio_clip_variable
type: Class
comment: A variable holding a sound clip
subclass of: PolVariable

link
type: Class
subclass of: ActionEffect

data.type
type: Class

send
type: Class
equivalent class: Class
  intersection of: PolAction
  intersection of: Restriction
    on property: hasCategory
    some values from: send

send
type: Class
subclass of: ActionCategory

ExpertTriggerEvent
type: Class
comment: A TriggerEvent suitable for use at Expert UserLevel.
equivalent class: Class
  intersection of: Restriction
    on property: hasUserLevel
    some values from: Expert
  intersection of: PolTriggerEvent

timer_control
type: Class
subclass of: ActionCategory

timer
type: Class
equivalent class: Class
  intersection of: Restriction
    some values from: timer
    on property: hasCategory
  intersection of: PolTriggerEvent

timer
type: Class
subclass of: TriggerCategory

AdminCondParam
type: Class
comment: Condition parameter suitable for use at Admin level.
equivalent class: Class
  intersection of: Restriction
    some values from: Admin
    on property: hasUserLevel
  intersection of: PolConditionParameter

NamedAction
type: Class
subclass of: PolAction
comment: An action output by a policy. May be internal or external.

trigger_count
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: hasCategory
    some values from: trigger_count
  intersection of: ConditionOperator

trigger_count
type: Class
subclass of: ConditionParamCategory

UserLevelValue
type: Class
comment: Defined set of User Level values to assign to classes.
subclass of: Class
  union of: Novice
  union of: Intermediate
  union of: Expert
  union of: Admin
subclass of: ClassCategorisation

timer_control
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: hasCategory
    some values from: timer_control
  intersection of: PolAction

general
type: Class
subclass of: StringType
comment: General string of characters

unit
type: Class
comment: A taype of unit used in annotation of arguments to triggers, actions etc.

action_count
type: Class
equivalent class: Class
  intersection of: PolConditionParameter
  intersection of: Restriction
    some values from: action_count
    on property: hasCategory

action_count
type: Class
subclass of: ConditionParamCategory

NoviceTriggerEvent
type: Class
equivalent class: Class
  intersection of: Restriction
    some values from: Novice
    on property: hasUserLevel
  intersection of: PolTriggerEvent
comment: A TriggerEvent suitable for use at Novice UserLevel.

le_epoch
type: Class
subclass of: NamedConditionOp
subclass of: Restriction
  on property: hasCategory
  some values from: epoch
subclass of: Restriction
  some values from: Novice
  on property: hasUserLevel
subclass of: Restriction
  on property: hasUserLevel
  some values from: Intermediate
subclass of: Restriction
  on property: hasUserLevel
  some values from: Expert
subclass of: Restriction
  on property: hasUserLevel
  some values from: Admin

NoviceCondParam
type: Class
comment: Condition parameter suitable for use at Novice level.
equivalent class: Class
  intersection of: Restriction
    some values from: Novice
    on property: hasUserLevel
  intersection of: PolConditionParameter

receive
type: Class
equivalent class: Class
  intersection of: PolTriggerEvent
  intersection of: Restriction
    some values from: receive
    on property: hasCategory

receive
type: Class
subclass of: TriggerCategory

action_count
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: hasCategory
    some values from: action_count
  intersection of: ConditionOperator

false
type: Class
subclass of: BooleanType

StatusVariable
type: Class
comment: A global variable representing aspects of the policy users status.

IntermediateTriggerEvent
type: Class
equivalent class: Class
  intersection of: Restriction
    some values from: Intermediate
    on property: hasUserLevel
  intersection of: PolTriggerEvent
comment: A TriggerEvent suitable for use at Intermediate UserLevel.

timer_set
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: hasCategory
    some values from: timer_set
  intersection of: PolAction

NoviceAction
type: Class
equivalent class: Class
  intersection of: Restriction
    some values from: Novice
    on property: hasUserLevel
  intersection of: PolAction
comment: An Action suitable for use at Novice UserLevel.

file
type: Class
subclass of: ActionEffect

variable
type: Class
subclass of: ActionEffect

trigger_count
type: Class
equivalent class: Class
  intersection of: PolConditionParameter
  intersection of: Restriction
    some values from: trigger_count
    on property: hasCategory

update
type: Class
subclass of: ActionCategory

ExpertCondParam
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: hasUserLevel
    some values from: Expert
  intersection of: PolConditionParameter
comment: Condition parameter suitable for use at Expert level.

gt_epoch
type: Class
subclass of: NamedConditionOp
subclass of: Restriction
  some values from: epoch
  on property: hasCategory
subclass of: Restriction
  some values from: Novice
  on property: hasUserLevel
subclass of: Restriction
  on property: hasUserLevel
  some values from: Intermediate
subclass of: Restriction
  some values from: Expert
  on property: hasUserLevel
subclass of: Restriction
  some values from: Admin
  on property: hasUserLevel

IntermediateCondParam
type: Class
comment: Condition parameter suitable for use at Intermediate level.
equivalent class: Class
  intersection of: Restriction
    some values from: Intermediate
    on property: hasUserLevel
  intersection of: PolConditionParameter

epoch
type: Class
comment: Epoch condition parameter.
equivalent class: Class
  intersection of: PolConditionParameter
  intersection of: Restriction
    on property: hasCategory
    some values from: epoch

ExpertAction
type: Class
equivalent class: Class
  intersection of: Restriction
    some values from: Expert
    on property: hasUserLevel
  intersection of: PolAction
comment: An Action suitable for use at Expert UserLevel.

IntermediateAction
type: Class
equivalent class: Class
  intersection of: Restriction
    some values from: Intermediate
    on property: hasUserLevel
  intersection of: PolAction
comment: An Action suitable for use at Intermediate UserLevel.

NamedCondParam
type: Class
comment: A specific, named Condition parameter.
subclass of: PolConditionParameter

timer
type: Class
subclass of: ActionEffect

generally
type: Class
subclass of: Restriction
  some values from: SendMessage
  on property: hasPermissibleAction
subclass of: Restriction
  on property: hasPermissibleAction
  some values from: SetVariable
subclass of: Restriction
  on property: hasPermissibleAction
  some values from: TimerStop
subclass of: Restriction
  on property: hasPermissibleAction
  some values from: LogEvent
subclass of: Restriction
  on property: hasPermissibleAction
  some values from: TimerStart
subclass of: Restriction
  on property: hasPermissibleAction
  some values from: UnsetVariable
subclass of: Restriction
  on property: hasPermissibleAction
  some values from: TimerRestart
subclass of: NamedTriggerEvent

SendMessage
display name: send_message(URI,Message)
subclass of: Restriction
  on property: hasUserLevel
  some values from: Admin
subclass of: Restriction
  some values from: Expert
  on property: hasUserLevel
subclass of: Restriction
  some values from: Intermediate
  on property: hasUserLevel
subclass of: Restriction
  on property: hasUserLevel
  some values from: Novice
subclass of: Restriction
  on property: hasActionEffect
  some values from: link
subclass of: Restriction
  on property: hasCategory
  some values from: send
subclass of: Restriction
  on property: hasInternalUse
  some values from: InternalUse

SetVariable
display name: set_variable(Identifier,Expression)
subclass of: Restriction
  on property: hasUserLevel
  some values from: Admin
subclass of: Restriction
  on property: hasUserLevel
  some values from: Expert
subclass of: Restriction
  some values from: timer_set
  on property: hasCategory
subclass of: Restriction
  some values from: InternalUse
  on property: hasInternalUse
subclass of: Restriction
  on property: hasActionEffect
  some values from: variable

TimerStop
display name: stop_timer(Identifier)
subclass of: Restriction
  on property: hasUserLevel
  some values from: Admin
subclass of: Restriction
  on property: hasUserLevel
  some values from: Expert
subclass of: Restriction
  on property: hasCategory
  some values from: timer_control
subclass of: Restriction
  on property: hasInternalUse
  some values from: InternalUse
subclass of: Restriction
  some values from: timer
  on property: hasActionEffect

LogEvent
subclass of: Restriction
  some values from: Admin
  on property: hasUserLevel
subclass of: Restriction
  some values from: Expert
  on property: hasUserLevel
subclass of: Restriction
  some values from: Intermediate
  on property: hasUserLevel
subclass of: Restriction
  some values from: Novice
  on property: hasUserLevel
subclass of: Restriction
  some values from: file
  on property: hasActionEffect
subclass of: Restriction
  some values from: update
  on property: hasCategory
subclass of: Restriction
  on property: hasInternalUse
  some values from: InternalUse
display name: log_event(Message)

TimerStart
display name: start_timer(Identifier,Period)
subclass of: Restriction
  some values from: Admin
  on property: hasUserLevel
subclass of: Restriction
  some values from: Expert
  on property: hasUserLevel
subclass of: Restriction
  some values from: timer_set
  on property: hasCategory
subclass of: Restriction
  on property: hasInternalUse
  some values from: InternalUse
subclass of: Restriction
  some values from: timer
  on property: hasActionEffect

UnsetVariable
display name: unset_variable(Identifier)
subclass of: Restriction
  some values from: Admin
  on property: hasUserLevel
subclass of: Restriction
  some values from: Expert
  on property: hasUserLevel
subclass of: Restriction
  on property: hasCategory
  some values from: timer_control
subclass of: Restriction
  on property: hasInternalUse
  some values from: InternalUse
subclass of: Restriction
  some values from: variable
  on property: hasActionEffect

TimerRestart
subclass of: Restriction
  on property: hasUserLevel
  some values from: Admin
subclass of: Restriction
  on property: hasUserLevel
  some values from: Expert
subclass of: Restriction
  some values from: timer_control
  on property: hasCategory
subclass of: Restriction
  on property: hasInternalUse
  some values from: InternalUse
subclass of: Restriction
  some values from: timer
  on property: hasActionEffect
display name: restart_timer(Identifier)

NamedTriggerEvent
type: Class
subclass of: PolTriggerEvent
subclass of: Restriction
  some values from: ActionCountCondParam
  on property: hasPermissibleParameter
subclass of: Restriction
  some values from: TriggerCountCondParam
  on property: hasPermissibleParameter
subclass of: Restriction
  on property: hasPermissibleParameter
  some values from: TimeCondParam
subclass of: Restriction
  some values from: DayCondParam
  on property: hasPermissibleParameter
subclass of: Restriction
  some values from: DateCondParam
  on property: hasPermissibleParameter
comment: A triggering event in a policy. May be internal or external.

AdminTriggerEvent
type: Class
comment: A TriggerEvent suitable for use at Admin UserLevel.
equivalent class: Class
  intersection of: Restriction
    on property: hasUserLevel
    some values from: Admin
  intersection of: PolTriggerEvent

ge_epoch
type: Class
subclass of: NamedConditionOp
subclass of: Restriction
  some values from: epoch
  on property: hasCategory
subclass of: Restriction
  some values from: Novice
  on property: hasUserLevel
subclass of: Restriction
  some values from: Intermediate
  on property: hasUserLevel
subclass of: Restriction
  some values from: Expert
  on property: hasUserLevel
subclass of: Restriction
  on property: hasUserLevel
  some values from: Admin

epoch
type: Class
equivalent class: Class
  intersection of: Restriction
    some values from: epoch
    on property: hasCategory
  intersection of: ConditionOperator

true
type: Class
subclass of: BooleanType

update
type: Class
equivalent class: Class
  intersection of: PolAction
  intersection of: Restriction
    some values from: update
    on property: hasCategory

displayName
type: AnnotationProperty
comment: The display name of the class. Different from label - this may show the arguments of a trigger or action. e.g. start_timer(Identifer,Period).