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.

Axioms

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

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

    axiom humanBMIConstraint 
      definedBy!-
                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

Sources

There are currently no sources for this slide.