ISSUE-94: How to represent object fields and methods in RIF; esp. interoperability with Java OO model?
Objects
How to represent object fields and methods in RIF; esp. interoperability with Java OO model?
- State:
- CLOSED
- Product:
- PRD
- Raised by:
- Christian de Sainte Marie
- Opened on:
- 2009-03-02
- Description:
- Common production rule systems all allow reasoning on Java objects
During F2F11 in NYC, one of the questions that were tabled and not further discussed was the representation, in RIF, of object methods.
During F2F12, in Portland, the question of the representation of single-valued attributes, such as objects' attributes, has been discussed, with the conclusion that the single essential difference between a multi-valued attribute (as represenetd by a RIF Frame) and a single-valued attribute, is in the semantic of asserting a value: the assertion adds a new value to the attribute's values in the case of a multi-valued attribute; it replaces the attribute's previous value, if the attribute is single-valued. Re representation, the discussion revolved around how to indicate that a frame attribute is single-valued, e.g.:
- using specific syntax;
- using an annotation;
- adding a specific action for assertion with replacement semantics and leaving it to the consumer to determine the cardinality of attributes, based on the actions that affect them.
The two questions (methods and attributes) are related because most OO programming languages handle uniformally the representation of attribute references and for method calls.
Whether they are related in RIF will depend on proposed resolutions for this issue... - Related Actions Items:
- No related actions
- Related emails:
- [Admin] draft minutes of 7 April 2009 telecon (from mdean@bbn.com on 2009-04-20)
- ISSUE-94: intro slides for the F2F discussion (from csma@fr.ibm.com on 2009-04-15)
- Re: [ISSUE-94] Object representation (from csma@ilog.fr on 2009-04-07)
- [Admin] Agenda for RIF telecon 7 April (from cawelty@gmail.com on 2009-04-06)
- Re: [ISSUE-94] Object representation (from der@hplb.hpl.hp.com on 2009-04-03)
- Re: [ISSUE-94] Object representation (from gary.hallmark@oracle.com on 2009-04-02)
- Re: [ISSUE-94] Object representation (from kifer@cs.sunysb.edu on 2009-04-02)
- Re: [ISSUE-94] Object representation (from der@hplb.hpl.hp.com on 2009-04-02)
- Re: [ISSUE-94] Object representation (from gary.hallmark@oracle.com on 2009-04-02)
- Re: [ISSUE-94] Object representation (from kifer@cs.sunysb.edu on 2009-04-02)
- Re: [ISSUE-94] Object representation (from gary.hallmark@oracle.com on 2009-04-01)
- Re: [ISSUE-94] Object representation (from kifer@cs.sunysb.edu on 2009-03-31)
- Re: [ISSUE-94] Object representation (from gary.hallmark@oracle.com on 2009-03-31)
- Re: [ISSUE-94] Object representation (from kifer@cs.sunysb.edu on 2009-03-31)
- Re: [ISSUE-94] Object representation (from gary.hallmark@oracle.com on 2009-03-30)
- Re: [ISSUE-94] Object representation (from gary.hallmark@oracle.com on 2009-03-27)
- [ISSUE-94] Object representation (from csma@ilog.fr on 2009-03-27)
- [PRD] PRD TF telecon Tuesday March 24 (from csma@ilog.fr on 2009-03-24)
- [PRD] PRD TF telecon Tuesday 17 March (from csma@ilog.fr on 2009-03-17)
- [PRD] PRD TF Tuesday 10 March (*Beware: time change for *USA*) (from csma@ilog.fr on 2009-03-09)
- Re: [PRD] Proposal for object representation (and ACTION-592 complete) (from gary.hallmark@oracle.com on 2009-03-02)
- Re: [PRD] Proposal for object representation (and ACTION-592 complete) (from kifer@cs.sunysb.edu on 2009-03-02)
- [PRD] PRD TF telecon Tuesday 3 March (from csma@ilog.fr on 2009-03-02)
- [PRD] Proposal for object representation (and ACTION-592 complete) (from csma@ilog.fr on 2009-03-02)
- ISSUE-94 (Objects): How to represent objects filelds and methods in RIF [PRD ] (from sysbot+tracker@w3.org on 2009-03-02)
Related notes:
Added during PRD TF March 10:
Nice to have: constrained frame slots, esp. cardinality constraints and type constraints on slots
At F2F13, the WG resolved that PRD would not have cardinality constraints, or other object-representation beyond frames, and would have an action with replacement semantics (modify), closing this issue.
See http://www.w3.org/2005/rules/wg/meeting/2009-04-15#resolution_10
Display change log