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

namespace { _"http://www.wsmo.org/ontologies/nfp/rightsNFPOntology#",
	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/rightsNFPOntology"
	nonFunctionalProperties
		dc#title hasValue "Rights Ontology"
		dc#creator hasValue {"Ioan Toma"}
		dc#subject hasValue {"Right"}
		dc#description hasValue "Rights 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/rightsNFPOntology"
		dc#language hasValue "en-US"
		wsml#version hasValue "$Revision: 1.0 $"
	endNonFunctionalProperties
	
	concept Right
		nonFunctionalProperties
			dc#description hasValue "Right concept definition"
		endNonFunctionalProperties
		hasName ofType (1 1) _string
		hasTemporalValidity ofType (1 *) temp#TemporalEntity
		isGrantedTo ofType (1 *) _iri //Service
			
	concept RightOfWarranty subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfWarranty concept definition"
		endNonFunctionalProperties
		hasWarrantiedItems ofType (1 *) WarrantiedItem
		fulfilsWarranty ofType (1 1) _iri //Provider
		hasWarrantyCondition ofType (1 *) _iri //Condition
		hasWarrantyProcedureAvailability ofType (1 *) WarrantyProcedureAvailability

	concept WarrantyProcedureAvailability
		nonFunctionalProperties
			dc#description hasValue "WarrantyProcedureAvailability concept definition"
		endNonFunctionalProperties
		hasWarrantyProcedure ofType (1 1) Procedure
		hasAvailability ofType (1 1) ava#Availability

	concept WarrantiedItem
		nonFunctionalProperties
			dc#description hasValue "WarrantiedItem concept definition"
		endNonFunctionalProperties
		isProvidedForItem ofType (1 1) Item
		forWarrantyPeriod ofType (1 1) temp#TemporalDuration

	concept RightOfAccess subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfAccess concept definition"
		endNonFunctionalProperties
		hasAccessTypeResource ofType (1 *) AccessTypeResource
		hasObligationTemporalDuration ofType ObligationTemporalDuration

	concept ObligationTemporalDuration
		nonFunctionalProperties
			dc#description hasValue "ObligationTemporalDuration concept definition"
		endNonFunctionalProperties
		incursObligation ofType (1 1) obl#Obligation
		forExclusiveAccessDuration ofType (1 1) temp#TemporalDuration

	concept AccessTypeResource
		nonFunctionalProperties
			dc#description hasValue "AccessTypeResource concept definition"
		endNonFunctionalProperties
		isAvailableForTemporalDuration ofType (1 1) temp#TemporalDuration
		underCondition ofType (1 1) _iri //Condition

	concept Resource
		nonFunctionalProperties
			dc#description hasValue "Resource concept definition"
		endNonFunctionalProperties
		hasLocation ofType (0 1) loc#LocativeEntity
		hasName ofType (1 1) _string
		hasType ofType (1 1) ResourceType

	concept ResourceType
		nonFunctionalProperties
			dc#description hasValue "ResourceType concept definition"
		endNonFunctionalProperties
		value ofType _string
		
	concept AccessType
		nonFunctionalProperties
			dc#description hasValue "AccessType concept definition"
		endNonFunctionalProperties
		
	concept ExclusiveAccessType subConceptOf AccessType
		nonFunctionalProperties
			dc#description hasValue "ExclusiveAccessType concept definition"
		endNonFunctionalProperties

	concept SharedAccessType subConceptOf AccessType
		nonFunctionalProperties
			dc#description hasValue "SharedAccessType concept definition"
		endNonFunctionalProperties

	concept RestrictedAccessType subConceptOf AccessType
		nonFunctionalProperties
			dc#description hasValue "RestrictedAccessType concept definition"
		endNonFunctionalProperties

	concept ProhibitedAccessType subConceptOf AccessType
		nonFunctionalProperties
			dc#description hasValue "ProhibitedAccessType concept definition"
		endNonFunctionalProperties
			
	concept RightOfExtension subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfExtension concept definition"
		endNonFunctionalProperties
		incursObligation ofType obl#Obligation
		isInitiatedUsingProcedure ofType Procedure
		hasTemporalDurationCondition ofType (1 *) TemporalDurationCondition		

	concept TemporalDurationCondition
		nonFunctionalProperties
			dc#description hasValue "TemporalDurationCondition concept definition"
		endNonFunctionalProperties
		isAvailableForTemporalDuration ofType (1 1) temp#TemporalDuration
		underCondition ofType (1 1) _iri //Condition

	concept RightOfRefusal subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfRefusal concept definition"
		endNonFunctionalProperties
		refusalIsAllowed ofType (1 1) _boolean
		isAdministeredUnderRefusalProcedure ofType (0 1) Procedure
		hasAppeal ofType Appeal
		
	relation RightOfRefusalUnderCondition ( ofType RightOfRefusl, ofType _iri, impliesType _boolean) //RigthOfRefusal, Condition

	concept Appeal
		nonFunctionalProperties
			dc#description hasValue "Appeal concept definition"
		endNonFunctionalProperties
		hasProcedure ofType (1 1) Procedure
		withAvailability ofType (1 1) ava#Availability

	concept RightOfPrivacy subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfPrivacy concept definition"
		endNonFunctionalProperties
		isAvailableFor ofType Element
		hasPrivacyPolicyTypeCondition ofType (1 *) PrivacyPolicyCondition
		withAvailability ofType ava#Availability

	concept Element
		nonFunctionalProperties
			dc#description hasValue "RightOfPrivacy applies to this Element"
		endNonFunctionalProperties

	concept DisclosedItem
		nonFunctionalProperties
			dc#description hasValue "DisclosedItem concept definition"
		endNonFunctionalProperties
		hasDuration ofType (1 1) temp#TemporalDuration
		isSharedWithProvider ofType Provider

	concept PrivacyPolicyCondition
		nonFunctionalProperties
			dc#description hasValue "PrivacyPolicyCondition concept definition"
		endNonFunctionalProperties
		hasPrivacyPolicy ofType (1 1) PrivacyPolicy
		hasPrivacyCondition ofType (1 1) _iri //Condition

	concept PrivacyPolicy
		nonFunctionalProperties
			dc#description hasValue "PrivacyPolicy concept definition"
		endNonFunctionalProperties

	concept AccessPrivacyPolicy subConceptOf PrivacyPolicy
		nonFunctionalProperties
			dc#description hasValue "AccessPrivacyPolicy concept definition"
		endNonFunctionalProperties

	concept CollectionPrivacyPolicy subConceptOf PrivacyPolicy
		nonFunctionalProperties
			dc#description hasValue "CollectionPrivacyPolicy concept definition"
		endNonFunctionalProperties

	concept StoragePrivacyPolicy subConceptOf PrivacyPolicy
		nonFunctionalProperties
			dc#description hasValue "StoragePrivacyPolicy concept definition"
		endNonFunctionalProperties

	concept AlterationPrivacyPolicy subConceptOf PrivacyPolicy
		nonFunctionalProperties
			dc#description hasValue "AlterationPrivacyPolicy concept definition"
		endNonFunctionalProperties
		
	concept RightOfDisclosure subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfDisclosure concept definition"
		endNonFunctionalProperties
		capturesInformationRelating ofType (1 *) DisclosedItem

	concept TerminationType
		nonFunctionalProperties
			dc#description hasValue "TerminationType concept definition"
		endNonFunctionalProperties

	concept ProviderInitiatedTerminationType subConceptOf TerminationType
		nonFunctionalProperties
			dc#description hasValue "ProviderInitiatedTerminationType concept definition"
		endNonFunctionalProperties

	concept RequestorInitiatedTerminationType subConceptOf TerminationType
		nonFunctionalProperties
			dc#description hasValue "RequestorInitiatedTerminationType concept definition"
		endNonFunctionalProperties

	concept RightOfSuspension subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfSuspension concept definition"
		endNonFunctionalProperties
		hasSuspensionCondition ofType _iri //Condition
		hasResumptionCondition ofType _iri //Condition
		hasSuspensionObligation	ofType (0 1) obl#Obligation
		hasResumptionObligation ofType (0 1) obl#Obligation
		hasMaximumNumberOfSuspensions ofType (0 1) loc#nonNegativeInteger
		hasMinimumSuspensionPeriod ofType (0 1) temp#TemporalDuration
		hasMaximumSuspensionPeriod ofType (0 1) temp#TemporalDuration
		hasMaximumAggregatedSuspensionPeriod ofType (0 1) temp#TemporalDuration
		hasSuspensionProcedure ofType (0 1) Procedure
		hasResumptionProcedure ofType (0 1) Procedure
		hasSuspensionAvailability ofType (0 1) ava#Availability

	concept RightOfCoolingOffPeriod subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfCoolingOffPeriod concept definition"
		endNonFunctionalProperties
		isAvailableFor ofType temp#TemporalDuration
		hasAnnulmentProcedure ofType (0 1) _iri
		hasCoolingOffCondition ofType _iri //Condition

	concept RightOfLiabilityLimitation subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfLiabilityLimitation concept definition"
		endNonFunctionalProperties
		hasLiabilityLimitCondition ofType _iri //Condition

	concept RightOfRecourse subConceptOf Right
		nonFunctionalProperties
			dc#description hasValue "RightOfRecourse concept definition"
		endNonFunctionalProperties
		hasPeriodOfAvailabilityForRecourse ofType (1 1) temp#TemporalDuration
		hasRecourseProcedure ofType (0 1) Procedure
		isMediated ofType _boolean
		sMediatedThrough ofType Provider
		hasAdministeredJurisdiction ofType (1 1) Jurisdiction

	concept Jurisdiction
		nonFunctionalProperties
			dc#description hasValue "Jurisdiction concept definition"
		endNonFunctionalProperties
		hasLocation ofType (1 1) loc#LocativeEntity
		hasLegislation ofType (1 1) Legislation

	concept Legislation
		nonFunctionalProperties
			dc#description hasValue "Legislation concept definition"
		endNonFunctionalProperties
		hasAmendment ofType Legislation
		hasName ofType (1 1) _string
		hasYearOdIntroduction ofType (1 1) _year
		
		hasLegislation ofType (1 1) Legislation
		
	//Relation supersededLegislation - tells if the Legislation provided as first argument 
	//supersedes the Legislation provided as second argument
	relation supersededLegislation ( ofType Legislation, ofType Legislation, impliesType _boolean)