This is an archive of an inactive wiki and cannot be modified.

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:

JosDeBruijn DieterFensel HolgerLausen MichaelKifer PascalHitzler