DAML Language: Future Work
incorporate feedback
proposal(s) to new
W3C Semantic Web Activity
rules (working with
RuleML Initiative
)
logic, proof-checking
...
Mike Dean
10 of 14