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:
- Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from der@hplb.hpl.hp.com on 2008-01-11)
- Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from debruijn@inf.unibz.it on 2008-01-11)
- Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from csma@ilog.fr on 2008-01-10)
- [Admin] draft of RIF telecon minutes for 8 January 2008 (from cleo@us.ibm.com on 2008-01-08)
- Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from csma@ilog.fr on 2008-01-08)
- [Admin] Agenda for RIF telecon January 8 (from csma@ilog.fr on 2008-01-07)
- Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from der@hplb.hpl.hp.com on 2008-01-07)
- Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from cawelty@gmail.com on 2008-01-06)
- Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from kifer@cs.sunysb.edu (Michael Kifer) on 2008-01-05)
- Re: ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from debruijn@inf.unibz.it on 2008-01-05)
- ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification (from cawelty@gmail.com on 2008-01-05)
- 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.
Display change log
