WRL is a rules language for the Web based on Logic Programming and Deductive Databases tradition.
Beside writing arbitrary rules, WRL has support for rule-based ontology modeling, based on the ontology component of the Web Service Modeling Ontology WSMO.
WRL consists of three variants:
* WRL-Core: interoperability layer with Description Logics world (DLP)
* WRL-Flight: Datalog with default negation and frame-based (F-Logic) extensions
* WRL-Full: Full Logic Programming (function symbols) with default negation and frame-based extensions
Interoperability with OWL DL is achieved through WRL-Core.
Is considered as an input to the Working Group.
Impact on Design
For More Information
WG members who know about WRL: