| http://www.w3.org/ns/prov#value | - All datatypes in OWL 2 are unary, so each datatype DT is interpreted as a unary relation over ??D ??? that is, as a set (DT)DT ??? ??D. OWL 2 currently does not define data ranges of arity more than one; however, by allowing for n-ary data ranges, the syntax of OWL 2 provides a hook allowing implementations to introduce extensions such as comparisons and arithmetic.
|
