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

ontology ecao /* EventConditionActionOntology */
     nonFunctionalProperties
          wsmostudio#version hasValue "0.7.3"
     endNonFunctionalProperties


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

concept ECARule subConceptOf RuleFormalism
     hasCondition impliesType  (1 1) Filter
     callsFallbackAction impliesType FallbackAction
     callAction impliesType Action
     hasEvent impliesType InputEvent

concept Filter subConceptOf upo#IntangibleThing
     evaluatesCondition impliesType  (1 *) Condition
     belongsToECA impliesType ECARule

concept Action subConceptOf dro#RuleAction

concept FallbackAction subConceptOf dro#RuleAction

concept Condition subConceptOf upo#IntangibleThing
     belongsToFilter impliesType Filter

concept ComplexCondition subConceptOf Condition
     hasComConExpression impliesType  (1 1) _string
     usesCondition impliesType  (1 *) Condition

concept ComplexAction subConceptOf upo#IntangibleThing
     containsAction impliesType dro#RuleAction
     hasComplexExpression impliesType _string

concept ElementaryAction subConceptOf upo#IntangibleThing

concept RuleAction subConceptOf upo#IntangibleThing
     hasComplexAction impliesType ComplexAction
     implementedByFunction impliesType upo#BusinessFunction
     takenBy impliesType dpo#Subject
     hasCustomImplementation impliesType CustomAction

concept CustomAction subConceptOf upo#IntangibleThing