Rule language for the Semantic Web. It provides a standard for representing Datalog rules and using them in conjunction with RDF and OWL ontologies.