wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://www.sembiz.org/bpmo/bpmoOntology#", 
     dc _"http://purl.org/dc/elements/1.1#" }

ontology bpmoOntology
     nonFunctionalProperties
          dc#title hasValue {"BPMO-Business Process Modeling Ontology"}
          dc#language hasValue "en-US"
          dc#subject hasValue {"Semantic Business Process Modeling", "BPMO Model", "WSMO"}
          dc#contributor hasValue {"Emilia Cimpian", "Adina Sirbu", "Srdjan Komazec", "Daniel Lintner", "Clemens Blamauer", "Michal Zaremba", "Zhixian Yan"}
          dc#format hasValue "text/html"
          dc#publisher hasValue "DERI Innsbruck, SemBiz"
          dc#version hasValue "2.0"
          dc#date hasValue {"2008-02-28"}
          dc#creator hasValue {"Zhixian Yan", "Emilia Cimpian"}
     endNonFunctionalProperties

concept BusinessRole
     nonFunctionalProperties
          dc#description hasValue "performs and interacts with business processes"
     endNonFunctionalProperties
     hasName ofType  (0 1) _string

concept Actor subConceptOf BusinessRole
     nonFunctionalProperties
          dc#description hasValue "a special BusinessRole, as business organization, certain person etc."
     endNonFunctionalProperties
     hasSoftware ofType SoftwareSystem
     hasPhysicalAsset ofType PhysicalAsset

concept Organization subConceptOf Actor
     nonFunctionalProperties
          dc#description hasValue "a special Actor, as business organization"
     endNonFunctionalProperties
     hasWebsite ofType _string
     hasLocation ofType (1 *) _string
     hasContactPerson ofType (1 *) Personnel
     hasMember inverseOf(inOrganizations) ofType Personnel
     hasSuperGroup ofType Organization

concept Personnel subConceptOf Actor
     nonFunctionalProperties
          dc#description hasValue "a special Actor, people involved in the processes"
     endNonFunctionalProperties
     hasTitle ofType _string
     hasHomepage ofType _string
     hasEmail ofType _string
     inOrganization inverseOf(hasMember) ofType  (1 *) Organization

concept Asset subConceptOf BusinessRole
     nonFunctionalProperties
          dc#description hasValue "SoftwareSystem, PhysicalAsset"
     endNonFunctionalProperties

concept SoftwareSystem subConceptOf Asset
     nonFunctionalProperties
          dc#description hasValue "a special Asset, defining systems like billing, crm systems"
     endNonFunctionalProperties
     belongsTo inverseOf(hasSoftware) ofType  (1 *) Actor

concept PhysicalAsset subConceptOf Asset
     nonFunctionalProperties
          dc#description hasValue "a special Asset, defining hardware equipments or other personal privacy belongings like credit card, account"
     endNonFunctionalProperties
     belongsTo inverseOf(hasPhysicalAsset) ofType  (1 *) Actor
     inLocation ofType (1 1) _string

concept Event
     nonFunctionalProperties
          dc#description hasValue "events are used to control and influence business processes" 
     endNonFunctionalProperties
     hasName ofType _string

concept Empty subConceptOf Event
     nonFunctionalProperties
               dc#description hasValue "empty event, used for marking empty start and end events"
     endNonFunctionalProperties
				
concept StartEvent subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "particular event denoting the start of a process"
     endNonFunctionalProperties
     
concept EndEvent subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "particular event denoting the end  of a process"
     endNonFunctionalProperties
     			
concept IntermediateEvent subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "particular event occurring during a process"
     endNonFunctionalProperties
     

concept Message subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "particular event, consisting of a message that may carry business data"
     endNonFunctionalProperties
     hasData ofType (0 *) BusinessData
     
concept Timer subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "timer concept"
     endNonFunctionalProperties

concept TimePoint subConceptOf Timer
     nonFunctionalProperties
          dc#description hasValue "time point"
     endNonFunctionalProperties
     hasTimePointValue ofType  (1 1) _time

concept TimeDuration subConceptOf Timer
     nonFunctionalProperties
          dc#description hasValue "duration"
     endNonFunctionalProperties
	 hasDurationInSeconds ofType (1 1) _integer

concept StartMessage subConceptOf {StartEvent, Message}
     nonFunctionalProperties
          dc#description hasValue "a message event at the begining of a process"
     endNonFunctionalProperties
 
concept IntermediateMessage subConceptOf {IntermediateEvent, Message}
     nonFunctionalProperties
          dc#description hasValue "a message event occurring during a process execution"
     endNonFunctionalProperties

concept EndMessage subConceptOf {EndEvent, Message}
     nonFunctionalProperties
          dc#description hasValue "a message event at the end of a process"
     endNonFunctionalProperties

concept StartTimer subConceptOf {StartEvent, Timer}
     nonFunctionalProperties
          dc#description hasValue "a timer event at the beginning of a process"
     endNonFunctionalProperties

concept IntermediateTimer subConceptOf {IntermediateEvent, Timer}
     nonFunctionalProperties
          dc#description hasValue "a timer event occurring during a process execution"
     endNonFunctionalProperties

concept EndTimer subConceptOf {EndEvent, Timer}
     nonFunctionalProperties
          dc#description hasValue "a timer event at the end of a process"
     endNonFunctionalProperties


concept Exception subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "exception in a process execution"
     endNonFunctionalProperties

concept Cancel subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "cancelation of an execution"
     endNonFunctionalProperties

concept Log
     nonFunctionalProperties
          dc#description hasValue "instances of this concept are automatically generated during a process' execution"
     endNonFunctionalProperties
     hasTextContent ofType (0 1) _string

concept BusinessRule
     nonFunctionalProperties
          dc#description hasValue "concept describing BusinessRule"
     endNonFunctionalProperties
     hasName ofType (0 1) _string
     //_iri represents the iri of a WSMO axiom
 	 hasAxiom ofType _iri
 	 
concept BusinessData
	nonFunctionalProperties
		dc#description hasValue "concept describing BusinessData"
	endNonFunctionalProperties
	hasName ofType (0 1) _string
	belongsTo ofType (1 *) BusinessRole
	creationTime ofType (0 1) _dateTime
	correspondsTo ofType (1 1) DataElement

concept DataElement 
	nonFunctionalProperties
		dc#description hasValue "abstract concept technically describing BusinessData"
	endNonFunctionalProperties