Process.owl & validation

Drew and all -

Thanks, Drew, for pulling together all these improvements to the Process
model!

With some help from Daniel Elenius, the new Process.owl has been
validated. (We only had to track down a few careless spelling / syntax
errors.)

Note, for future reference, it's easy to validate by cut-and-paste into
the WonderWeb validator:
   http://phoebus.cs.man.ac.uk:9999/OWL/Validator

You don't have to tweak any namespace decls or anything; just cut,
paste, and push the Submit button.

It's probably equally easy with Pellet.

Cheers,
David

--
[To unsubscribe to this list send an email to "majdart@bbn.com"
with the following text in the BODY of the message "unsubscribe daml-process"]