1) Please could you explain why condition 8 in section 3.2.1.2 uses "superset of" leading to the comment "a rdfs:subClassOf b is true if a ## b is true". Why is this not "equal to", leading to "a rdfs:subClassOf b is true iff a ## b is true"? 2) for clarity, is the sentence "Since RIF frame formulas are interpreted using an extension function, as in RDF " in section 4 5th para, justified by the condition 4 in 3.2.1.2? If so, could you add a pointer? best wishes David Mott, PhD, C. Eng. Technical Staff Member Hursley Emerging Technology Services IBM UK Ltd Telephone: +44 (0) 1962 817182 or internal x247182 email: mottd@uk.ibm.com emerging.hursley.ibm.com Technical solutions to business problems that require innovation across IBM Unless stated otherwise above: IBM United Kingdom Limited - Registered in England and Wales with number 741598. Registered office: PO Box 41, North Harbour, Portsmouth, Hampshire PO6 3AUReceived on Tuesday, 9 June 2009 15:46:18 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 9 June 2009 15:46:18 GMT