OWL Species Validation Report

Namespace(rdf	= <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Namespace(owl	= <http://www.w3.org/2002/07/owl#>)
Namespace(xsd	= <http://www.w3.org/2001/XMLSchema#>)
Namespace(rdfs	= <http://www.w3.org/2000/01/rdf-schema#>)
Namespace(a	= <http://purl.oclc.org/NET/muo/muo#>)

Ontology( <http://purl.oclc.org/NET/muo/muo>

 Annotation(rdfs:label "MUO - Measurement Units Ontology"@en)
 Annotation(<http://purl.org/dc/elements/1.1/rights> "(c) MyMobileWeb project, 2008")
 Annotation(rdfs:comment "Classes and properties of this ontology have been
         designed by the MyMobileWeb project."@en)
 Annotation(<http://purl.org/dc/elements/1.1/creator> "Diego Berrueta and Luis Polo")
 Annotation(<http://purl.org/dc/elements/1.1/date> "2008")

 ObjectProperty(a:derivesFrom
  domain(a:DerivedUnit)
  range(a:UnitOfMeasurement))
 ObjectProperty(a:measuredIn Functional
  domain(a:QualityValue)
  range(a:UnitOfMeasurement))
 ObjectProperty(a:measuresQuality Functional
  domain(a:UnitOfMeasurement)
  range(a:PhysicalQuality))
 ObjectProperty(a:modifierPrefix Functional
  domain(a:SimpleDerivedUnit)
  range(a:Prefix))
 ObjectProperty(a:qualityValue InverseFunctional
  range(a:QualityValue))

 DatatypeProperty(a:altSymbol
  domain(unionOf(a:Prefix a:UnitOfMeasurement)))
 DatatypeProperty(a:dimensionalSize
  domain(a:SimpleDerivedUnit)
  range(xsd:float))
 DatatypeProperty(a:factor
  domain(a:Prefix))
 DatatypeProperty(a:inTime Functional
  domain(a:QualityValue)
  range(xsd:dateTime))
 DatatypeProperty(a:prefSymbol Functional
  domain(unionOf(a:Prefix a:UnitOfMeasurement)))
 DatatypeProperty(a:qualityLiteralValue)

 Class(a:BaseUnit partial 
  a:UnitOfMeasurement)
 Class(a:BaseUnit partial 
  annotation(rdfs:comment "Base units are units that have not been derived from any other unit. In turn, base units can be used to derive other measurement units. The International System of Units (SI), recognizes several base units for base physical qualities assumed to be mutually independent."@en)
  annotation(rdfs:comment "Base units are units that have not been derived from any other unit. In turn, base units can be used to derive other measurement units."@en)
  annotation(rdfs:label "Base unit"@en)
  annotation(rdfs:label "Base unit of measurement"@en)
)
 Class(a:ComplexDerivedUnit partial 
  a:DerivedUnit)
 Class(a:ComplexDerivedUnit partial 
  annotation(rdfs:label "Complex derived unit of measurement"@en)
  annotation(rdfs:comment "Units that are derived from two or more measurement units (i.e. a derived unit which is defined by means of more than one unit in its dimensional equation). For instance, the complex derived unit meter per second squared is defined by a dimensional equation with two units: m and s2."@en)
)
 Class(a:DerivedUnit partial 
  a:UnitOfMeasurement)
 Class(a:DerivedUnit partial 
  annotation(rdfs:label "Derived unit of measurement"@en)
  annotation(rdfs:comment "Some physical qualities (such as area, acceleration, etc.), called derived physical qualities, are defined in terms of base qualities via a system of dimensional equations. The derived units for derived qualities are obtained from these equations combinated with the base units."@en)
)
 Class(a:MetricUnit partial 
  a:UnitOfMeasurement)
 Class(a:MetricUnit partial 
  annotation(rdfs:comment "FIX"@en)
  annotation(rdfs:label "Metric unit"@en)
)
 Class(a:PhysicalQuality partial 
  annotation(rdfs:comment "The physical qualities such as mass, weight, speed, etc. are kind of properties that can be quantified i.e. that can be perceived, measured or even calculated. The concept of physical quality is similar to the notion of quality, used in metrology, the science of measurement. We distinguish between: 1) A physical quality in the general sense: a kind of physical property ascribed to phenomena that can be quantified for a particular phenomenon (e.g. length and electrical charge); 2) A physical quantity in the particular sense: a quantifiable property ascribed to a particular phenomenon (e.g. the weight of my device). MUO only uses physical quantities in the general sense."@en)
  annotation(rdfs:label "Physical quality"@en)
)
 Class(a:Prefix partial 
  annotation(rdfs:label "Prefix"@en)
  annotation(rdfs:comment "A prefix (also known as a metric prefix) is a name or associated symbol that precedes a unit of measure (or its symbol) to form a decimal multiple or submultiple. Prefixes are used to reduce the quantity of zeroes in numerical equivalencies. For instance, 1000 meters can be written as 1 kilometer, using the prefix kilo, a symbol to represent the number 1000."@en)
)
 Class(a:QualityValue partial 
  annotation(rdfs:comment "The value of an individual quality, for instance, the weight of an individual object.   If we consider metrology, the value of a physical quality Q is expressed as the product of a numerical value {Q} and a physical unit [Q]: Q = {Q} x [Q]. In MUO, the class muo:QualityValue is used to represent the values of qualities, Q. Instances of this class are related with 1) exactly one unit, suitable for measure the physical quality (meters for length, grams for weight, etc), by means of the property muo:measuredIn, [Q]; 2) a number, which express the relationship between the value and the unit by means of the rdf:value property, {Q}; 3) a time, which expresses the quality value along the line of time. Quality values can be temporalized, but this is not always necessary."@en)
  annotation(rdfs:label "Quality value"@en)
)
 Class(a:SIUnit partial 
  a:UnitOfMeasurement)
 Class(a:SIUnit partial 
  annotation(rdfs:label "SI unit"@en)
  annotation(rdfs:comment "Unit belonging to the International System of Units. The SI recognizes several base and derived units for some physical qualities assumed to be mutually independent."@en)
)
 Class(a:SimpleDerivedUnit partial 
  a:DerivedUnit)
 Class(a:SimpleDerivedUnit partial 
  annotation(rdfs:label "Derived unit of measurement made out of exactly one base unit"@en)
  annotation(rdfs:comment "Units that are derived from exactly one base unit. There are two main possibilities. On one hand, there are units that are derived by adding a prefix to the unit. The prefix is a name or associated symbol (e.g. kilo) that precedes a unit of measure (e.g. meter) to form a decimal multiple or submultiple (e.g. Kilometer). Derived units, obtained by the application of a prefix, measure the same physical quality as its base unit. On the other hand, there are another kind of simple derived units that are also obtained from exactly one base unit but they measure a different physical quality. They are obtained by changing the exponent of the unit in the dimensional equation. For instance, this is how square meters are derived from meters. This exponent is represented in MUO with the datatype property muo:dimensionalSize. Combining this two patterns we can represent units that are obtained from a prefix and that have a dimension size different from 1, for instance, the unit square kilometer."@en)
)
 Class(a:UnitOfMeasurement partial 
  annotation(rdfs:comment "Measurement units are standards for measurement of physical properties or qualities. Every unit is related to a particular kind of property. For instance, the meter unit is uniquely related to the length property. Under our ontological approach, units are abstract spaces used as a reference metrics for quality spaces, such as physical qualia, and they are counted by some number. For instance, weight-units define some quality spaces for the weight-quality where specific weights of objects, like devices or persons, are located by means of comparisons with the proper weight-value of the selected weight-unit."@en)
  annotation(rdfs:label "Unit of measurement"@en)
)

 AnnotationProperty(a:equivalentObjectProperty)
 AnnotationProperty(a:preferredUnit)
 AnnotationProperty(a:propertyMeasuresQuality)
 AnnotationProperty(<http://purl.org/dc/elements/1.1/creator>)
 AnnotationProperty(<http://purl.org/dc/elements/1.1/date>)
 AnnotationProperty(<http://purl.org/dc/elements/1.1/rights>)
 AnnotationProperty(rdfs:comment)
 AnnotationProperty(rdfs:label)

 DisjointClasses(a:SimpleDerivedUnit a:ComplexDerivedUnit)
 DisjointClasses(a:BaseUnit a:DerivedUnit)
 DisjointClasses(a:PhysicalQuality a:Prefix)
 DisjointClasses(a:Prefix a:UnitOfMeasurement)
 DisjointClasses(a:PhysicalQuality a:UnitOfMeasurement)

)