Related Rules Work

Jena 2
- includes a general purpose rule engine
SCL
- full FOL language compatible with KIF and XML led by Pat Hayes, et al
- latest core abstract syntax and model theory
Object Management Group (OMG)
- Business Semantics of Business Rules RFP
- Production Rule Representation RFP