xdi message
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
| [List Home]
Subject: $has semantics continued
- From: Drummond Reed <drummond.reed@xdi.org>
- To: OASIS - XDI TC <xdi@lists.oasis-open.org>
- Date: Fri, 22 Jan 2010 01:59:48 -0800
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
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
| [List Home]