pat hayes wrote: > Many people have suggested using reification to simulate expression > nesting in recursive syntax, but this kind of usage for reification > was a mistake from the start. A complex expression like > (A and B ) or (C and D) > does not *mention* its disjunctive components, so to use reification > to encode complex propositional expressions in a triple store was a > semantic disaster waiting to happen. (This point has been labored to > death in many email forums.) If the WG decision on reification has > rescued you from doing that, be thankful. What is the big difference re use\mention between a KIF expression like (or (depicts some:image Jill) (depicts some:image John)) and a corresponding N3 statement [:or [some:image :depicts :Jill] [some:image :depicts :John]] ? It seems to me that in both languages the range of "or" is the *truth* of the nested component, not the nested component itself. What is the big difference that seems to have attached itself to RDF triple type languages that did not attach itself to KIF ? re diagram: http://robustai.net/mentography/or_not.gif Seth RussellReceived on Thursday, 9 January 2003 21:37:15 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:40 UTC