RE: CORE Review

 



-          use longer abbreviations ( for example CONST or CONSTANT instead
of CON for example), 
 
This is a recurring criticism in the reviews, that many of the chosen
abbreviations are unnecessarily short and confusing. Nothing has been done
yet about this. Why not?
 
The following explanation

- Con (constant individual, function, or relation)

is also quite confusing. Of course, it should be "individual constant" and
not "constant individual", but this traditional term doesn't seem very
appropriate for RIF. Something like "individual name" or "object name" would
be more clear. Also, when RIF is allowing names to denote things of
different (onto)logical categories such as individuals, functions or
relations, why not using the Common Logic terminology (where this is called
"logical name", if I remember correctly).

 

The section about the free variables speaks about bodies and head of a rule.
Unfortunately, "rule bodies" means in the production rule world the
statement|action part of the rule. Even if the bodies|head terms are natural
in a logic rule context, the exercise of reversing the meaning is possible
although confusing. It does not simplify the understanding for production
rule system programmers.  

 

This shows that the LP-specific terminology should be given up in favor of a
more neutral terminology (such as condition-conclusion or
antecedent-consequent).

 

-Gerd