Outline
Bottom line suggestions
Explanation:
Conformant processor
WSD as set of assertions
Open world assumption
Monotonicity
Required extensions
Optional extensions
Testing
David Booth
2 of 30