Web Rule Language


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