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 allows 
    • logical connectives: and, or, implies, impliedBy, equivalent, neg, naf, forall and exists and the following auxiliary symbols: '(', ')', '[', ']', ',', '=', '!=', memberOf, hasValue, subConceptOf, ofType, and impliesType
    • use of the symbol ':-' for Logic Programming rules and the use of the symbol '!-' for database-style constraints
    • use of true and false as predicates with the standard pre-defined meaning

Speaker notes:

Content Tools


There are currently no sources for this slide.