Upper rule-set group …

Would there any interest in joining a
group the aim of would be the development
of an “upper rule-set”, having the same
relationship to rule-sets (such as those of
RIF) as upper-ontologies (such as “OpenCyc”
and the like) have with ontologies

Please indicate interest in the form of a
comment