W3C home > Mailing lists > Public > public-rif-comments@w3.org > June 2009

Two questions on working draft 30 july 2008

From: David Mott <MOTTD@uk.ibm.com>
Date: Tue, 9 Jun 2009 16:14:55 +0100
To: public-rif-comments@w3.org
Message-ID: <OFAB5F222C.7C4B5B8B-ON802575D0.0052225E-802575D0.0053C332@uk.ibm.com>
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
Received 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