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: Link Contracts revised


I was revising link contracts and I've noted the following two issues:

We have this example:

		=web*markus	<-- Drummond adds Markus to this contract -->

Thus a new subject is created:


ISSUE#1: since $has is left associative (+a+b+c <==> ((+a/+b)/+c)),  
see mail "Key implications of new metagraph $has definition" (May 4,  
2009) this statement is parsed as =web was part of the composite  
subject =drummond+friend$contract$sig=web, and not part of =web*markus.
To solve this, my proposal is to use xref, as follow:


ISSUE#2: we have now the following entailment (+x+y==>+x+y/$is$a/+y):


this sounds a bit odd. My proposal is to change the original statement  
as follow

		=web*markus$sig	<-- Drummond adds Markus to this contract -->

This way we have the new composite subject  
=drummond+friend$contract(=web*markus$sig) which correctly entails


There would be more to say about the relationship btw $contract$sig  
and =drummond+friend$contract(=web*markus$sig), OO people (like  
myself) could see inheritance and polimorphism applied here, but for  
the moment just stop here, waiting for your comments.

Kind Regards,

This message was sent using IMP, the Internet Messaging Program.

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