Two questions on working draft 30 july 2008

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 3AU