First version of RuleML paper