Re: DATATYPES: mental dump.

jos.deroo.jd@belgium.agfa.com wrote:
> 
> [...]
> > 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?

In fact, my point was just to "label" the entities like m1 or d1 in the
domain of discourse so that we can refer to them unambigously. The
syntactic encoding above that you derived is very much in the spirit of
the S proposal, but something like (_Jenny weightKgOctal "14") would
work as well (in P++) as long as the token "14" in the triples
represents the entity m1 in the figure. My hope is that different
proposals and encodings can be discussed more effectively if we have a
shared sample interpretation.

Sergey

Received on Monday, 12 November 2001 12:11:14 UTC