wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://ip-super.org/ontologies/organisation/dpo/v1.0.3#", 
     wsmostudio _"http://www.wsmostudio.org#", 
     deo _"http://ip-super.org/ontologies/organisation/deo/v1.0.3#", 
     upo _"http://ip-super.org/ontologies/process/upo/v2.1.3#", 
     dc _"http://purl.org/dc/elements/1.1/", 
     xsd _"http://www.w3.org/2001/XMLSchema#", 
     wsml _"http://www.wsmo.org/wsml/wsml-syntax#" }

ontology dpo /* bpro */
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#date" hasValue _date(2008,9,11,0,0)
          _"http://purl.org/dc/elements/1.1#description" hasValue "An ontology for modeling Business Policies, Business Rules for BPs."
          wsmostudio#version hasValue "0.7.3"
          _"http://purl.org/dc/elements/1.1#title" hasValue "Business Policies and Rules Ontology"
          _"http://purl.org/dc/elements/1.1#language" hasValue "WSML-Flight"
          _"http://purl.org/dc/elements/1.1#creator" hasValue "SUPER Consortium - WP1 - D1.6 - Sept.2008"
     endNonFunctionalProperties

     importsOntology
          { _"http://ip-super.org/ontologies/organisation/deo/v1.0.3#deo"
          
          /* , _"http://ip-super.org/BusinessStrategy#BusinessStrategy",  
            _"http://www.ip-super.org/ontologies/UPO/upo-1-4-20080109#", 
            _"http://www.ip-super.org/ontologies/bfo/v1.6.1#bfo" */ } 

concept Policy subConceptOf upo#BusinessPolicy
     PolicyID ofType _string
     IsImplemented ofType _boolean
     hasPolicyType ofType _string
     hasModality ofType { AlethicPolicy, DeonticPolicy}
     hasPolicyGoal ofType Goal
     hasPolicyStrategy ofType Strategy
     hasPolicyScope ofType Scope
     containsPolicy ofType Policy
     takesDecision ofType PolicyDecision
     hasJurisdiction ofType Jurisdiction
     generatesEvent ofType deo#Event
     belongsToPolicyEventScope ofType deo#EventLogicScope   
/*     usesRule ofType _"http://www.ip-super.org/ontologies/Rule" */


concept regulation subConceptOf upo#Thing
     hasRegulationPolicy ofType Policy
     specifiesConstraint ofType Constraint

concept Goal subConceptOf upo#Thing
     hasStrategy ofType Strategy

concept Strategy subConceptOf upo#Thing
     hasStrategyPolicy ofType Policy

concept PolicyDecision subConceptOf upo#Thing
     implementedBy ofType RuleAction

concept Constraint subConceptOf upo#Thing
     translatesToPolicy ofType Policy

concept Scope subConceptOf upo#Thing

concept Jurisdiction subConceptOf upo#Thing

concept MetaPolicy subConceptOf Policy
     actsOnPolicy ofType Policy

concept PolicyPriority subConceptOf upo#Thing

concept CorePolicy subConceptOf PolicyType

concept DecisionPolicy subConceptOf PolicyType

concept FunctionalPolicy subConceptOf PolicyType

concept ConstraintPolicy subConceptOf PolicyType

concept Obligation subConceptOf DeonticPolicy

concept Prohibition subConceptOf DeonticPolicy

concept Permission subConceptOf DeonticPolicy

concept Dispensation subConceptOf DeonticPolicy

concept Possibiity subConceptOf AlethicPolicy

concept Impossibility subConceptOf AlethicPolicy

concept Necessity subConceptOf AlethicPolicy

concept NonNecessity subConceptOf AlethicPolicy

concept RuleAction subConceptOf upo#Thing

concept Subject  subConceptOf upo#Thing
     belongsToJurisdiction ofType Jurisdiction
     occursIn ofType ProcessModel
     belongsToEventScope ofType deo#EventScope
/*     belongsToRuleScope ofType _"http://www.ip-super.org/ontologies/RuleScope" */

concept ProcessModel subConceptOf Subject
     containsFragment ofType ProcessFragment

concept ProcessFragment subConceptOf Subject
     containsConstruct ofType ProcessConstruct

concept Role subConceptOf Subject

concept Resource subConceptOf Subject

concept BusinessFunction subConceptOf Subject

concept ProcessConstruct subConceptOf Subject

concept Activity subConceptOf ProcessConstruct

concept DeonticPolicy subConceptOf Policy

concept AlethicPolicy subConceptOf Policy

concept Modality  subConceptOf upo#IntangibleThing
     hasDeonticType ofType _string

concept PolicyType  subConceptOf upo#IntangibleThing

concept PriorityPolicy subConceptOf MetaPolicy
     setsPriorityForPolicy ofType _integer