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-Flight - an extension of WSML-Core with meta-modeling, constraints and nonmonotonic negation features
    • Based on a logic programming variant of F-Logic 
    • Semantically equivalent to Datalog with inequality and (locally) stratified negation
    • Provides a powerful rule language

Speaker notes:

Content Tools


There are currently no sources for this slide.