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.

Examples

  • No human can be both male and female:
  • !- ?x[gender hasValue {?y, ?z}] memberOf Human and ?y = Male and ?z = Female
  • The brother of a parent is an uncle:
  • ?x[uncle hasValue ?z] impliedBy ?x[parent hasValue ?y] and ?y[brother hasValue ?z]
  • Do not trust strangers:
  • ?x[distrust hasValue ?y] :- naf ?x[knows hasValue ?y] and ?x memberOf Human and ?y memberOf Human

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.