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 is both syntactically and semantically completely layered on top of WSML-Core
  • WSML-Flight adds the following features to WSML-Core:
    • N-ary relations with arbitrary parameters 
    • Constraining attribute definitions for the abstract domain 
    • Cardinality constraints 
    • (Locally Stratified) default negation in logical expressions (in the body of the rule) 
    • Expressive logical expressions, namely, the full Datalog subset of F-Logic, extended with inequality (in the body) and locally stratified negation 
    • Meta-modeling. WSML-Flight no longer requires a separation of vocabulary (wrt. concepts, instances, relations)

Speaker notes:

Content Tools


There are currently no sources for this slide.