OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

xdi message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

Subject: Re: [xdi] Minutes: XDI TC Telecon Thursday 1-2PM PT 2009-02-12

Maybe the "class" ball should be +ball, and the "instance" ball should be =giovanni+ball or =markus+ball or =drummond+ball or simply =+ball !


On Fri, Feb 13, 2009 at 7:37 PM, Giovanni Bartolomeo <giovanni.bartolomeo@uniroma2.it> wrote:
Dear Drummond,

Thanks for these detailed minutes. Let me check if I've understood correctly:
In this example, let us assume that +ball/+color/+ball+color is a valid dictionary entry (class definition).
Let suppose +aBall/$is$a/+ball (i.e. +aBall is an instance of +ball).
Since +aBall inherits properties from +Ball, I can say +aBall/+color/+red, which is an "instance level" predicate.
But I cannot say +aBall/+color/+ball+color (right?)
Main question: would +aBall/+color/+aBall+color make any sense?
Second question: how to know that +aBall is "an instance"? $is$a might also mean "subclassOf", right?

Thanks (and sorry for being so obsessive on this topic, countless nights spent on this :-(,


At 06.34 13/02/2009, Drummond Reed wrote:
We next discussed another concern of Giovanni's with some "strange"
statements that can be made with $has. This is related to this email:


It is the example about balls and their colors, where +x is +ball and +y is
+color. This produces the XDI RDF statement +ball/+color/+ball+color. But in
the same document we have also +ball/+color/+red. So you have two different
objects of the same predicate, which is fine in RDF, but one (=red) is an
instance of color and the other (+ball+color) is a subclass of color.

After some discussion, we realized that what was deceiving about these
examples is that they confuse the dictionary/class space (Bill would say
"T-box") from the individual/instance space ("A-box"). For example, in some
email threads we had talked about having +ball/+color/+ball+color and
+ball/+color/+red in the same graph. While this is technically possible, it
doesn't make sense because the first statement is appropriate to a
dictionary and the second would be more appropriate to an instance, except
that +ball is not a typical instance. More typical would be

To unsubscribe from this mail list, you must leave the OASIS TC that
generates this mail.  Follow this link to all your TCs in OASIS at:

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]