ISSUE-41: class membership construct a # c in RIF [CP]

class membership construct a # c in RIF [CP]

State:
CLOSED
Product:
Technical Design (multiple dialects/documents)
Raised by:
Christopher Welty
Opened on:
2007-10-09
Description:
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
Related Actions Items:
No related actions
Related emails:
  1. Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from der@hplb.hpl.hp.com on 2008-01-11)
  2. Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from debruijn@inf.unibz.it on 2008-01-11)
  3. Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from csma@ilog.fr on 2008-01-10)
  4. [Admin] draft of RIF telecon minutes for 8 January 2008 (from cleo@us.ibm.com on 2008-01-08)
  5. Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from csma@ilog.fr on 2008-01-08)
  6. [Admin] Agenda for RIF telecon January 8 (from csma@ilog.fr on 2008-01-07)
  7. Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from der@hplb.hpl.hp.com on 2008-01-07)
  8. Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from cawelty@gmail.com on 2008-01-06)
  9. Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from kifer@cs.sunysb.edu (Michael Kifer) on 2008-01-05)
  10. Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from debruijn@inf.unibz.it on 2008-01-05)
  11. ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from cawelty@gmail.com on 2008-01-05)
  12. ISSUE-41: class membership construct a # c in RIF (from dean+cgi@w3.org on 2007-10-09)

Related notes:

Closed by WG consensus at 1/9/2008 telecon:

RESOLVED: Close Issue-41 by including in BLD membership formulae of the form c # a. In the RDF compatibility document, # and rdf:type will be connected appropriately, i.e. a # b holds iff a rdf:type b holds.

Christopher Welty, 9 Jan 2008, 13:24:58

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 41.html,v 1.1 2013-02-08 09:09:35 vivien Exp $