From: Wagner, G.R. (G.R.Wagner@tm.tue.nl)
Date: 07/19/04
> 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
abbreviations.]
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?
-Gerd
This archive was generated by hypermail 2.1.4 : 07/19/04 EST