McGuinness Oct 17, 2002
2
BOF Goals
nIdentify needs for
explanation/proof work from the daml
community
nIdentify who has plans to work on DAML+OIL/OWL explanation/proof work
nGenerate list of actionable items.
nSignificant issues
nRecommendations/plan of action
nDiscussion of “good” proofs (explanations)