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

namespace { _"http://www.wsmo.org/ontologies/nfp/measuresNFPOntology#",
    dc _"http://purl.org/dc/elements/1.1#",
    xsd _"http://www.w3.org/2001/XMLSchema#",
    wsml _"http://www.wsmo.org/wsml/wsml-syntax#"
}

ontology _"http://www.wsmo.org/ontologies/nfp/measuresNFPOntology"
    nonFunctionalProperties
        dc#title hasValue "Measures Ontology"
        dc#creator hasValue {"Ioan Toma"}
        dc#subject hasValue {"MeasurableQuantity", "Angle"}
        dc#description hasValue "Measures Ontology"
        dc#publisher hasValue "DERI Innsbruck"
        dc#contributor hasValue {"Doug Foxvog", "Ioan Toma"}
        dc#date hasValue "2006-08-30"
        dc#type hasValue _"http://www.wsmo.org/2004/d2#ontologies"
        dc#format hasValue "text/html"
        dc#identifier hasValue _"http://www.wsmo.org/ontologies/nfp/measuresNFPOntology"
        dc#language hasValue "en-US"
        wsml#version hasValue "$Revision: 1.0 $"
    endNonFunctionalProperties
        
    concept MeasurableQuantity
        numUnits ofType _decimal
        ofUnits ofType (1) UnitOfMeasure
        
    concept Distance subConceptOf MeasurableQuantity
        numUnits ofType (1) _decimal
        ofUnits ofType (1) UnitOfDistance
        
    concept Angle subConceptOf MeasurableQuantity
        numUnits ofType (1) _decimal
        ofUnits ofType (1) UnitOfArc

    concept UnitOfMeasure
    concept UnitOfDistance subConceptOf UnitOfMeasure
    concept UnitOfMass subConceptOf UnitOfMeasure
    concept UnitOfTemperature subConceptOf UnitOfMeasure
    concept UnitOfArc subConceptOf UnitOfMeasure

    instance MeterUnit memberOf UnitOfDistance
    instance DegreeOfArc memberOf UnitOfArc
    instance CelsiusDegree memberOf UnitOfTemperature
    
    relation unitMultiplicationFactor ( ofType UnitOfMeasure, ofType UnitOfMeasure, ofType _decimal)

	concept Granularity
		nonFunctionalProperties
			dc#description hasValue "Granularity concept definition"
		endNonFunctionalProperties
		value ofType _string

	concept GranularityAndUnitOfMeasure
		nonFunctionalProperties
			dc#description hasValue "GranularityAndUnitOfMeasure concept definition"
		endNonFunctionalProperties
		hasUnitOfMeasure ofType UnitOfMeasure
		hasGranularity ofType Granularity		

	concept ItemGranularity
		nonFunctionalProperties
			dc#description hasValue "ItemGranularity concept definition"
		endNonFunctionalProperties
		hasCardinality ofType (1 1) _integer
		hasGranularity ofType (1 *) GranularityAndUnitOfMeasure
		hasItemNumber ofType (1 *) _integer //non negative integer
		relatesToItem ofType (0 1) Item