DAML Language: Future Work
incorporate feedback
proposal(s) to new
W3C Semantic Web Activity
rules
possible layering
logic, proof-checking
...
Mike Dean
10 of 15