wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://ip-super.org/ontologies/organisation/dro/v1.0.3#" , 
		dpo _"http://ip-super.org/ontologies/organisation/dpo/v1.0.3#" , 
		deo _"http://ip-super.org/ontologies/organisation/deo/v1.0.3#" ,
		upo _"http://ip-super.org/ontologies/process/upo/v2.1.3#" , 
	     wsmostudio _"http://www.wsmostudio.org#" }

ontology dro /* BusinessPolicyRulesOntology */
     nonFunctionalProperties
          wsmostudio#version hasValue "0.7.3"
     endNonFunctionalProperties
  

importsOntology
          { _"http://ip-super.org/ontologies/organisation/dpo/v1.0.3#dpo" }
          

concept Rule subConceptOf upo#IntangibleThing
     belongsToRuleEventScope ofType EventLogicScope
     generatesRuleEvent ofType Event
     hasInputEvent ofType InputEvent
     hasOutputEvent ofType OutputEvent
     hasRuleGoal ofType RuleGoal
     hasRuleScope ofType RuleScope
     hasInputData ofType InputData
     hasOutputData ofType OutputData
     makesDecision ofType RuleDecision
     usesConfiguration ofType RuleConfiguration
     isExpressedBy ofType RuleLogic
     isFormalizedBy ofType RuleFormalism

concept DataRule subConceptOf Rule

concept ArchitecturalRule subConceptOf Rule

concept OrganizationalRule subConceptOf Rule

concept ProcessRule subConceptOf Rule

concept ResourceRule subConceptOf ProcessRule

concept ControlFlowRule subConceptOf ProcessRule

concept ActivityRule subConceptOf ProcessRule

concept DutyRule subConceptOf OrganizationalRule

concept AuthorizationRule subConceptOf OrganizationalRule

concept AccessRule subConceptOf DataRule

concept StructuralRule subConceptOf ArchitecturalRule

concept CommunicationRule subConceptOf ArchitecturalRule

concept RuleScope subConceptOf upo#IntangibleThing
     containsSubject ofType dpo#Subject

concept RuleGoal subConceptOf upo#IntangibleThing

concept InputData subConceptOf upo#IntangibleThing

concept OutputData subConceptOf upo#IntangibleThing

concept RuleConfiguration subConceptOf upo#IntangibleThing

concept RuleDecision subConceptOf upo#IntangibleThing
     implementedBy ofType dpo#RuleAction

concept RuleLogic subConceptOf upo#IntangibleThing
     definedUsing ofType RuleFormalism

concept RuleFormalism subConceptOf upo#IntangibleThing

instance SBVR memberOf RuleFormalism

instance PRR memberOf RuleFormalism

instance Datalog memberOf RuleFormalism

instance SWRL memberOf RuleFormalism

instance RuleML memberOf RuleFormalism

instance RIF memberOf RuleFormalism

instance OCL memberOf RuleFormalism

instance Prolog memberOf RuleFormalism

instance ECA memberOf RuleFormalism


/* PREO */

/* deo */

concept deo#Event
	triggeredBy ofType Rule /* dro#Rule */

concept deo#EventScope
     containsSubject ofType dpo#Subject


/* dpo */

concept dpo#Policy 
     usesRule ofType Rule /* dro#Rule */

concept dpo#Subject
     belongsToRuleScope ofType RuleScope /* dro#RuleScope */