- AI requires much more complicated logical inferences
- There are lots of things RDF/OWL cannot express, eg:
- the “uncle” relationship:
- ∀x,z: ((∃y: (y parent x) ∧ (y brother z)) ⇒ (z uncle x))
- temporal and spatial reasoning
- fuzzy logic
- …
- AI often relies on a “Close World Assumption”…
- “if something cannot be proven, it is false”
- … but SW does not
- “if something cannot be proven, we do not know”