Michael Kifer wrote: > In BLD, if we have a##b and b[foo->bar] then it does not follow that > a[foo->bar]. But a true object-oriented extension (a la F-logic, for example) > would add nonmon inheritance and a[foo->bar] would follow. The possibility that such an extension might be wanted is another good argument why ## should not be in BLD. Such an interpretation of ## would be in conflict with other interpretations such as RDFS/OWL and should use a different predicate. Dave -- Hewlett-Packard Limited Registered Office: Cain Road, Bracknell, Berks RG12 1HN Registered No: 690597 EnglandReceived on Monday, 22 October 2007 08:01:42 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:43 GMT