Re: DATATYPES: mental dump.

[...]
> I'm thinking of a running example that can be used to illustrate the
> different proposals and modeling options. My current shot at it is:
>
> http://WWW-DB.Stanford.EDU/~melnik/rdf/datatyping/fig/motivating_example.gif
>
> It shows an interpretation, which can be encoded in many different ways,
> e.g. as:
>
> _Robby ageMonthDecimal "12"
> _Robby weightKgDecimal "14"
> _Jenny weightKgOctal   "14"
> _Jenny ageYearsDecimal "1"
>
> in P(++) scheme.
>
> The advantage of starting with an interpretation instead of a piece of
> syntax is that is it possible to refer to the different entities in the
> domain of discourse directly and tell how the corresponding pieces of
> syntax are mapped onto them (for example, "12" and "1" above are
> interpreted as entity d1 in the figure).

so, I can see that you come to
  :Robby :weight [ :inKg [ :inDecimal "14" ] ] .
  :Robby :age [ :inMonth [ :inDecimal "12" ] ] .
  :Jenny :weight [ :inKg [ :inDecimal "12" ] ] .
  :Jenny :age [ :inMonth [ :inDecimal "12" ] ] .
or
  :Robby :weight [ :inKg [ :inOctal "16" ] ] .
  :Robby :age [ :inMonth [ :inDecimal "12" ] ] .
  :Jenny :weight [ :inKg [ :inDecimal "12" ] ] .
  :Jenny :age [ :inMonth [ :inDecimal "12" ] ] .
or

...

or
  :Robby :weight [ :inKg [ :inOctal "16" ] ] .
  :Robby :age [ :inYears [ :inOctal "1" ] ] .
  :Jenny :weight [ :inKg [ :inOctal "14" ] ] .
  :Jenny :age [ :inYears [ :inOctal "1" ] ] .

is that the point?

--
Jos