RuleML

siehe Rule Markup Language