- From: Dan Connolly <connolly@w3.org>
- Date: Mon, 16 Oct 2006 14:04:51 -0500
- To: Gerd Wagner <wagnerg@tu-cottbus.de>
- Cc: 'Chris Welty' <cawelty@frontiernet.net>, "'Public-Rif-Wg (E-mail)'" <public-rif-wg@w3.org>
On Mon, 2006-10-16 at 20:40 +0200, Gerd Wagner wrote: [...] > Sure, you can map it in this way, but I don't see how you can > reconstruct the typing information at the interchange destination > side easily from such a reduced representation. How can you > reconstruct, e.g., the destination SWRL atom > > customer( I-variable(sCart) I-variable(cust)) > > from the following concjunction of three atoms > > ShoppingCart( sCart) & Customer( cust) & customer( sCart, cust) > > in a language where monadic predicates do not necessarily express > types? I don't know. Thanks for the example. I hope to study it further. I'm also interested to study XML syntax designs that meet these typing requirements. If anyone has already sketched one, I'd appreciate a pointer. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Monday, 16 October 2006 19:05:02 UTC