Standardization

1. In the latest version of RuleMl the atom module is extended so that assertions containing uncertainty can be expressed http://www.ruleml.org/0.9/xsd/modules/atom_module.xsd