7: Proof
- the logical foundations of the Semantic Web allow us to
construct proofs
- example: Bob can access the W3C member web site if he can prove that he is an employee of an member company
- this motivates much of the work on explanation/justification in the
DAML Query Language