RE: SWR/ RuleML rule names

From: Wagner, G.R. (G.R.Wagner@tm.tue.nl)
Date: 07/20/04

  • Next message: Mike Dean: "Joint Committee telecon today 20 July" 
    > I think it is OK if an email with subject line xyz uses xyz jargon.

No, it's not ok. The accceptable jargon depends on the addressees 
of a message, not on its subject line.
 
>> Again: the rule is the individual, and its label is its name
>> but not another individual.

> How does this rule-as-individual view transfer to a parameterized rule
> labeled by a non-ground cterm?

If for such a parameterized rule name "The meaning is that each 
instance of the label gives a name to the corresponding instance 
of the rule", then this is just a convenience feature for which
there is a high price to pay: loosing the sense of an ordinary
name/identifier. Since this is would be a special feature, it 
should not be imposed on all rules and it would be preferable 
to have an mandatory rule ID attribute and, in addition, an 
optional label attribute.

-Gerd

    This archive was generated by hypermail 2.1.4 : 07/20/04 EST