- From: Sergey Melnik <melnik@db.stanford.edu>
- Date: Mon, 12 Nov 2001 09:38:22 -0800
- To: jos.deroo.jd@belgium.agfa.com
- CC: phayes@ai.uwf.edu, w3c-rdfcore-wg@w3.org
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