Specifying the 7 base dimensions in terms of derived dimensions using ontologies of Tom Gruber.
Each derived dimesions are obtained either by multiplying or dividing the base dimension.hese facts and rules are specified in POSL() and RuleML 1.0.Apart from these dimension some commonly used derived dimensions are specified in terms of base dimension (e.g. Force = mass* acceleration , acceleration = distance/time).
Invertibility between transformation of units using multiple mode declarations e.g. Conversion from Fahrenheit to Celsius and vice versa.
