wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-rule"

namespace { _"http://www.wsmo.org/ontologies/nfp/rewardsNFPOntology#",
	dc _"http://purl.org/dc/elements/1.1#",
	xsd _"http://www.w3.org/2001/XMLSchema#",
	wsml _"http://www.wsmo.org/wsml/wsml-syntax#",
	loc _"http://www.wsmo.org/ontologies/nfp/locativeNFPOntology#",	
	temp _"http://www.wsmo.org/ontologies/nfp/temporalNFPOntology#",
	qua _"http://www.wsmo.org/ontologies/nfp/qualityNFPOntology#",	
	ava _"http://www.wsmo.org/ontologies/nfp/availabilityNFPOntology#",		
	obl _"http://www.wsmo.org/ontologies/nfp/obligationsNFPOntology#"			
}

ontology _"http://www.wsmo.org/ontologies/nfp/rewardsNFPOntology"
	nonFunctionalProperties
		dc#title hasValue "Reward Ontology"
		dc#creator hasValue {"Ioan Toma"}
		dc#subject hasValue {"Reward"}
		dc#description hasValue "Reward Ontology"
		dc#publisher hasValue "DERI Innsbruck"
		dc#contributor hasValue {"Ioan Toma"}
		dc#date hasValue "2006-05-08"
		dc#type hasValue _"http://www.wsmo.org/2004/d2#ontologies"
		dc#format hasValue "text/html"
		dc#identifier hasValue _"http://www.wsmo.org/ontologies/nfp/rewardNFPOntology"
		dc#language hasValue "en-US"
		wsml#version hasValue "$Revision: 1.0 $"
	endNonFunctionalProperties
	
	concept AccumulatedReward
		nonFunctionalProperties
			dc#description hasValue "AccumulatedReward concept definition"
		endNonFunctionalProperties
		isRewardsSchemeFor ofType (1 1) _iri //Service 
		providesAccumulationDuring ofType (1 1) temp#TemporalEntity
		underRewardsAccumulationCondition ofType (1 1) _iri

	concept AccumulatedPriceReward
		nonFunctionalProperties
			dc#description hasValue "AccumulatedPriceReward concept definition"
		endNonFunctionalProperties
		hasAccumulateReward ofType (1 1) AccumulatedReward
		hasRewardPoints ofType RewardPoint

	concept RedeemableReward
		nonFunctionalProperties
			dc#description hasValue "RedeemableReward concept definition"
		endNonFunctionalProperties
		serviceOf ofType (1 1) _iri //Service
		isRewardsSchemeFor ofType (1 1)	_iri //Service
		thatAllowsRedemptionDuring ofType (1 1)	temp#TemporalEntity

	concept RedeemablePaymentReward
		nonFunctionalProperties
			dc#description hasValue "RedeemableReward concept definition"
		endNonFunctionalProperties
		hasRedeemableReward ofType (1 1) RedeemableReward
		requiresPoints ofType RewardPoint
		hasRedemptionCondition ofType (1 *)	_iri //Condition
		satisfiesPaymentFor ofType (1 1) obl#ServicePayment
		
	concept RewardPoint
		nonFunctionalProperties
			dc#description hasValue "RewardPoint concept definition"
		endNonFunctionalProperties
		value ofType loc#nonNegativeInteger