RE: SWR/ RuleML rule names

From: Wagner, G.R. ([email protected])
Date: 07/19/04

  • Next message: Boley, Harold: "RE: SWR/ RuleML rule names"
    > It's useful to have the rule label be an individual (or more 
    > generally a term) in the language,
    > so that rules can talk about its relative prioritization, 
    > membership in modules, provenance, etc.
    You don't need to consider the rule label as an individual
    for this. The rule is the individual, and its label is its 
    name, as any other individual may have a name. But this 
    name is not itself an individual, which would lead to 
    names having names. We don't need names for names, do we?
    > This is a prime reason why in RuleML
    > the rule label is an ind (and in the courteous extension more 
    > generally an ind or cterm) child of the label, rather than 
    > just a URI href.
    [Better don't use this RulerML jargon ("ind" and "cterm") in
    a public discussion - others are not familiar with these
    There may be some confusion here coming from the use of "ind"
    that does not stand for "individual" but for "individual
    constant", which is a name and not an individual.
    Again: the rule is the individual, and its label is its name
    but not another individual.
    Why shouldn't you be able to "talk about relative prioritization, 
    membership in modules, provenance" etc. using the URIref that
    names the rule?

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