ISSUE-94 Objects

Six options have been discussed 1.Annotate, in the RIF document, the attribute as single-valued, e.g. using RIF meta-data construct; 2.Modify the Frame construct, so that the multiplicity of an attribute is indicated explicitly, e.g. adding a "cardinality" attribute to the element; 3.Specify a new construct, specific to the case of single valued attributes (that is, with multiplicity = 1), keeping the Frame construct unchanged (that is the multiplicity of attributes is 0..*). E.g. csma's proposal to introduce a new basic term to represent the value of a single valued attribute; 4.Leave attribute multiplicity implicit in condition formulas and rely on RIF document analysis to determine attributes multiplicity: the only attributes that need be modelled as single valued are those of Frames that appear in assertions with replacement semantics, in the conclusion of at least one rule 5.Rely on out-of-band information (e.g. interchange of the intended data model, in parallel to the RIF document) to determine the multiplicity of Frames' attributes; 6.Add syntax to declare the multiplicity (and type?) of frame slots in a RIF document

1. Annotate, in the RIF document, the attribute as single-valued, e.g. using RIF meta-data construct; … example1 example1 rif:multiplicity one my:slot slot value

2. Modify the Frame construct, so that the multiplicity of an attribute is indicated explicitly, e.g. adding a "cardinality" attribute to the element … my:slot slot value

3. Specify a new construct, specific to the case of single valued attributes TERM ::= IRIMETA? (Const | Var | 'External' '(' Expr ')' | Getter) Getter ::= TERM '.' (Const | Expr) … my:slot

4. Leave attribute multiplicity implicit in condition formulas and rely on RIF document analysis to determine attributes multiplicity ?x my:slot slot value ?x my:slot new slot value

5. Rely on out-of-band information … … ?x ?x exsd:foo ?x exsd:bar slot value …

6. Add syntax to declare the multiplicity (and type?) of frame slots in a RIF document Class eg:MyClass [ eg:att_1->singleton (xs:string), eg:att_2->set (xs:date) ]