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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.