|
|
|
|
|
|
|
|
|
|
| n | Identify needs
for explanation/proof work from the |
||||||||
| daml community |
|||||||||
| n | Identify who
has plans to work on DAML+OIL/OWL |
||||||||
| explanation/proof
work |
|||||||||
| n | Generate list
of actionable items. |
||||||||
| n | Significant
issues |
||||||||
| n | Recommendations/plan
of action |
||||||||
| n | Discussion of
“good” proofs (explanations) |
||||||||
