Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionLast revisionBoth sides next revision | ||
doc:measurement_units [2013/04/22 09:30] – created admin | doc:measurement_units [2014/06/05 11:38] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Representing units of measure ====== | ====== Representing units of measure ====== | ||
~~NOTOC~~ | ~~NOTOC~~ | ||
- | This module provides functionality to describe and reason about units of measure attached to numerical values. Transparent conversion between compatible units (e.g. lengths, time intervals, etc) is provided as well as explicit conversion methods. Full backwards compatibility is ensured by treating values without units as being in the respective SI base units (which, by convention, was used so far). It is based on a large, standard [http:// | + | This module provides functionality to describe and reason about units of measure attached to numerical values. Transparent conversion between compatible units (e.g. lengths, time intervals, etc) is provided as well as explicit conversion methods. Full backwards compatibility is ensured by treating values without units as being in the respective SI base units (which, by convention, was used so far). It is based on a large, standard |
===== Functionality ===== | ===== Functionality ===== | ||
* Values can be annotated with their units as RDF data types | * Values can be annotated with their units as RDF data types | ||
- | * The definitions of units, quantities etc are imported from the large [http:// | + | * The definitions of units, quantities etc are imported from the large [[http:// |
* The units can be converted into each other using the convert_to_unit(Input, | * The units can be converted into each other using the convert_to_unit(Input, | ||
* Transparent conversion is done by an rdf_triple hook definition that accepts queries for values in a given unit like rdf_triple(knowrob: | * Transparent conversion is done by an rdf_triple hook definition that accepts queries for values in a given unit like rdf_triple(knowrob: |