Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.


  • WSML-Rule is an extension of WSML-Flight in the direction of Logic Programming
  • WSML-Rule no longer requires safety of rules and allows the use of function symbols
    • The only differences between WSML-Rule and WSML-Flight are in the logical expression syntax
  • WSML-Rule is both syntactically and semantically layered on top of WSML-Flight 
    • Each valid WSML-Flight specification is a valid WSML-Rule specification

Speaker notes:

Content Tools


There are currently no sources for this slide.