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

namespace { _"http://www.wsmo.org/ontologies/nfp/priceNFPOntology#",
	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#",
	ava _"http://www.wsmo.org/ontologies/nfp/availabilityNFPOntology#",
	cur _"http://www.wsmo.org/ontologies/nfp/currencyNFPOntology#"	
}

ontology _"http://www.wsmo.org/ontologies/nfp/priceNFPOntology"
	nonFunctionalProperties
		dc#title hasValue "Price Ontology"
		dc#creator hasValue {"Ioan Toma"}
		dc#subject hasValue {"Price", "MechanismAuction"}
		dc#description hasValue "Price Ontology"
		dc#publisher hasValue "DERI Innsbruck"
		dc#contributor hasValue {"Ioan Toma"}
		dc#date hasValue "2006-05-06"
		dc#type hasValue _"http://www.wsmo.org/2004/d2#ontologies"
		dc#format hasValue "text/html"
		dc#identifier hasValue _"http://www.wsmo.org/ontologies/nfp/priceNFPOntology"
		dc#language hasValue "en-US"
		wsml#version hasValue "$Revision: 1.0 $"
	endNonFunctionalProperties
	
	concept Price
		nonFunctionalProperties
			dc#description hasValue "Price concept definition"
		endNonFunctionalProperties
	        
    concept MonetaryAmount
    	hasAmount ofType _decimal
      	hasCurrency ofType cur#Currency
    
	concept AbsoultePrice subConceptOf {Price, MonetaryAmount}
    	 nonFunctionalProperties
          dc#relation hasValue AbsoluePriceDefinition
	     endNonFunctionalProperties 
	     
	axiom AbsolutePriceDefinition
    	definedBy
        	!- ?price memberOf MonetaryAmount and
           	?price memberOf Price and
           	naf (?price memberOf AbsoultePrice).

	concept ProportionalPrice subConceptOf Price
		nonFunctionalProperties
			dc#description hasValue "ProportionalPrice concept definition"
		endNonFunctionalProperties
		hasPercentage ofType Percentage
		hasItem ofType Item

	concept RangedPrice subConceptOf Price
		nonFunctionalProperties
			dc#description hasValue "RangedPrice concept definition"
		endNonFunctionalProperties

	concept RangedAbsoultePrice subConceptOf RangedPrice
		nonFunctionalProperties
			dc#description hasValue "RangedAbsoultePrice concept definition"
		endNonFunctionalProperties
		hasRangedAbsolutePriceFrom ofType AbsolutePrice
		hasRangedAbsolutePriceTo ofType AbsolutePrice		

	concept RangedProportionalPrice subConceptOf RangedPrice
		nonFunctionalProperties
			dc#description hasValue "RangedProportionalPrice concept definition"
		endNonFunctionalProperties
		hasRangedProportionalPriceFrom ofType ProportionalPrice
		hasRangedProportionalPriceTo ofType ProportionalPrice		

	concept DynamicPrice subConceptOf Price
		nonFunctionalProperties
			dc#description hasValue "DynamicPrice concept definition"
		endNonFunctionalProperties
		hasMechanismProvider ofType (0 1) _iri
		hasIndicativePrice ofType (0 1) IndicativePrice
		hasReservedPrice ofType (0 1) ReservedPrice		
		hasMechanismAuction ofType (0 1) MechanismAuctio
		hasMechanismCondition ofType _iri
		hasAvailability ofType (1 *) ava#Availability

	concept IndicativePrice
		nonFunctionalProperties
			dc#description hasValue "IndicativePrice concept definition"
		endNonFunctionalProperties
	    
	concept ReservedPrice
		nonFunctionalProperties
			dc#description hasValue "ReservedPrice concept definition"
		endNonFunctionalProperties
	    
	concept MechanismAuction
		nonFunctionalProperties
			dc#description hasValue "MechanismAuction concept definition"
		endNonFunctionalProperties
		
	concept DutchAuction subConceptOf MechanismAuction
		nonFunctionalProperties
			dc#description hasValue "DutchAuction concept definition"
		endNonFunctionalProperties

	concept DoubleAuction subConceptOf MechanismAuction
		nonFunctionalProperties
			dc#description hasValue "DoubleAuction concept definition"
		endNonFunctionalProperties

	concept EnglishAuction subConceptOf MechanismAuction
		nonFunctionalProperties
			dc#description hasValue "EnglishAuction concept definition"
		endNonFunctionalProperties

	concept SealedBidAuction subConceptOf MechanismAuction
		nonFunctionalProperties
			dc#description hasValue "SealedBidAuction concept definition"
		endNonFunctionalProperties

	concept VickreyAuction subConceptOf MechanismAuction
		nonFunctionalProperties
			dc#description hasValue "VickreyAuction concept definition"
		endNonFunctionalProperties

	concept TaxRateForRegion
		nonFunctionalProperties
			dc#description hasValue "TaxRateForRegion concept definition"
		endNonFunctionalProperties
		hasTaxRate ofType Percentage
		hasRegion ofType loc#Region
	
	concept TaxItem	
		nonFunctionalProperties
			dc#description hasValue "TaxItem concept definition"
		endNonFunctionalProperties
		hasTaxType ofType TaxType
		hasTaxRateForRegion ofType TaxRateForRegion
    			    
	concept Percentage
		nonFunctionalProperties
			dc#description hasValue "Percentage concept definition"
			dc#relation hasValue validPercent			
		endNonFunctionalProperties
		value ofType _decimal

	axiom validPercentage
		definedBy
			!- ?x [value hasValue ?V] memberOf Percentage and
			(lessEqual(100,?V) or greaterEqual(0,?V)). 

	concept TaxType
		nonFunctionalProperties
			dc#description hasValue "TaxType concept definition"
			dc#relation hasValue validTaxType
		endNonFunctionalProperties
		value ofType _string

	concept GST subConceptOf TaxType
		nonFunctionalProperties
			dc#description hasValue "GST concept definition"
		endNonFunctionalProperties

	concept VAT subConceptOf TaxType
		nonFunctionalProperties
			dc#description hasValue "VAT concept definition"
		endNonFunctionalProperties

	concept StateTax subConceptOf TaxType
		nonFunctionalProperties
			dc#description hasValue "StateTax concept definition"
		endNonFunctionalProperties