$has semantics continued

[Drummond Reed <drummond.reed@xdi.org>]

Giovanni,

In preparing the minutes about our conversation on the call today, which was excellent, I realized there is a more elegant way of capturing the semantics of "Bill's car" that we were discussing.

Here's a quick summary:

     ENGLISH                                             XDI

1)  Bill has a car                                      =bill/+car

2)  Bill’s car                                            =bill(+car)

3)  Bill has car  == Bill car                       (=bill/+car)  ==  =bill+car

Here's a second example:

1)  hinge has a screw                               +hinge/+screw

2)  hinge’s screw                                     +hinge(+screw)

3)  hinge has screw == hinge screw          (+hinge/+screw)  ==  +hinge+screw

I think this illustrates: a) your point that all three are different concepts (and that we needed a distinct way to express "Bill's car" or "hinge's screw", which I did not understand), and b) my point that in each line 3 above, the two statements have both logical and resolution equivalence.

What's even more illustrative is that this three patterns each have their corresponding cell graphs. If you look at http://www.oasis-open.org/committees/download.php/35926/xdi-rdf-cell-graphs-v3.pdf, example 1 correspond to graph A4, example 2 corresponds to graph A7, and example 3 corresponds to graph B1.

I look forward to talking tomorrow.

=Drummond