wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://docs.oasis-open.org/semanticsoa/referenceontology/v1.0#",
            dc _"http://purl.org/dc/elements/1.1/" }

ontology ReferenceOntology

concept Ontology
	imports ofType Ontology
	hasConcept ofType Concept
	hasRelation ofType Relation
	hasInstance ofType Instance
	hasAxiom ofType Axiom
	uses ofType OOMediator

concept Concept
	has Attribute ofType ConceptOrRelation

concept ConceptOrRelation
nfp
  dc#relation hasValue { aConcept,
                         aRelation}
endnfp	

axiom aConcept definedBy
	?x memberOf Concept
	implies
	?x memberOf ConceptOrRelation.

axiom aRelation definedBy
	?x memberOf Relation
	implies
	?x memberOf ConceptOrRelation.
	
concept Instance
	memberOf hasValue ConceptOrRelation
	hasValue hasValue Instance

concept Axiom
	hasLogicalExpression ofType _"http://www.wsmo.org/wsml/wsml-syntax#logicalExpression"
	
concept ServiceDescription
	imports ofType Ontology
	offersCapability ofType (0 1) Capability
	hasInterface ofType Interface

concept GoalDescription
	imports ofType Ontology
	requiresCapability ofType (0 1) Capability
	hasInterface ofType Interface

concept Capability
	hasPrecondition ofType _"http://www.wsmo.org/wsml/wsml-syntax#logicalExpression"
	hasAssumption ofType _"http://www.wsmo.org/wsml/wsml-syntax#logicalExpression"
	hasPostcondition ofType _"http://www.wsmo.org/wsml/wsml-syntax#logicalExpression"
	hasEffect ofType _"http://www.wsmo.org/wsml/wsml-syntax#logicalExpression"

concept Interface
	hasChoreography ofType (0 1) Choreography
	hasOrchestration ofType (0 1) Orchestration

concept Choreography subConceptOf BehaviourModel

concept Orchestration subConceptOf BehaviourModel


concept BehaviourModel
	hasActionModel ofType (1) ActionModel
	hasProcessModel ofType (0 1) ProcessModel

concept ActionModel
	hasInAction ofType (1) Communicable
	hasOutAction ofType (1) Communicable
	hasSharedAction ofType (1) Communicable

concept Communicable
	grounding ofType (0 1) _iri

concept MediationService
nfp
  dc#relation hasValue { aServiceIsAPotentialMediationService,
                         aGoalIsAPotentialMediationService}
endnfp	

axiom aServiceIsAPotentialMediationService definedBy
	?m memberOf ServiceDescription implies
	?m memberOf MediationService.

axiom aGoalIsAPotentialMediationService definedBy
	?m memberOf GoalDescription implies
	?m memberOf MediationService.

concept Mediator
	imports ofType Ontology
	hasMediationService ofType (0 1) MediationService


concept SGMediator subConceptOf Mediator
	hasSource ofType (1) SGMediatorSource
	hasTarget ofType (1) SGMediatorTarget
	RO#usesMediator ofType (1) OOMediator

concept SGMediatorSource
nfp
  dc#relation hasValue { aServiceIsAPotentialSGMediatorSource,
                         aGoalIsAPotentialSGMediatorSource,
                         anSGMediatorIsAPotentialSGMediatorSource}
endnfp	

axiom aServiceIsAPotentialSGMediatorSource definedBy
	?x memberOf ServiceDescription 
	implies
	?x memberOf SGMediatorSource.

axiom aGoalIsAPotentialSGMediatorSource definedBy
	?x memberOf GoalDescription
	implies
	?x memberOf SGMediatorSource.

axiom anSGMediatorIsAPotentialSGMediatorSource definedBy
	?x memberOf SGMediator
	implies
	?x memberOf SGMediatorSource.

concept SGMediatorTarget
nfp
  dc#relation hasValue { aServiceIsAPotentialSGMediatorTarget,
                         aGoalIsAPotentialSGMediatorTarget,
                         anSGMediatorIsAPotentialSGMediatorTarget}
endnfp	

axiom aServiceIsAPotentialSGMediatorTarget definedBy
	?x memberOf ServiceDescription 
	implies
	?x memberOf SGMediatorTarget.

axiom aGoalIsAPotentialSGMediatorTarget definedBy
	?x memberOf GoalDescription
	implies
	?x memberOf SGMediatorTarget.

axiom anSGMediatorIsAPotentialSGMediatorTarget definedBy
	?x memberOf SGMediator
	implies
	?x memberOf SGMediatorTarget.
	
concept OOMediator subConceptOf Mediator
	hasSource ofType OOMediatorSource
		
concept OOMediatorSource
nfp
  dc#relation hasValue { anOntologyIsAPotentialOOMediatorSource,
                         anOOMediatorIsAPotentialOOMediatorSource}
endnfp	

axiom anOntologyIsAPotentialOOMediatorSource definedBy
	?x memberOf Ontology
	implies
	?x memberOf OOMediatorSource.

axiom anOOMediatorIsAPotentialOOMediatorSource definedBy
	?x memberOf OOMediator
	implies
	?x memberOf OOMediatorSource.