- From: RIF <dean+cgi@w3.org>
- Date: Tue, 9 Oct 2007 10:51:16 +0000 (GMT)
- To: public-rif-wg@w3.org
ISSUE-41: class membership construct a # c in RIF http://www.w3.org/2005/rules/wg/track/issues/41 Raised by: Jos de Bruijn On product: Technical Design The current specification of BLD [1] defines membership formulas of the form o # c. This formula should be read as "object o is a member of class c". Note that o and c are both terms. By including this construct in the language, RIF in effect defines a notion of classes. It is unclear whether such a construct is necessary in RIF. Specifically, it seems to conflict with the notion of classes and class membership construct in RDF (and OWL). If there is indeed a need for this construct in the language, this should be shown using examples. [1] http://www.w3.org/2005/rules/wg/wiki/Core/Slotted_Conditions
Received on Tuesday, 9 October 2007 10:51:22 UTC