Web Rule LanguageThe Web Rule Language is a rule-based ontology language for the Semantic Web. The language is characterized by formal semantics.