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.


  • The usage of axioms in WSML allows for example to refine the definition already given in the conceptual syntax, e.g.

    axiom humanDefinition 
                ?x memberOf Human equivalent ?x memberOf Animal and ?x memberOf LegalAgent.
  • WSML allows the specification of database-style constraints, e.g. 

    axiom humanBMIConstraint 
                naf bodyMassIndex[bmi hasValue ?b, length hasValue ?l, weight hasValue ?w] 
               and ?x memberOf Human and
               ?x[length hasValue ?l, 
               weight hasValue ?w, 
               bmi hasValue ?b].

Speaker notes:

Content Tools


There are currently no sources for this slide.