Dan Connolly wrote:
> Yes, please... the main thing I need from a LANG sketch is
> a bunch of examples that show how to use features that
> satisfy our requirements.
>
> Until I see something different,
> I'm starting to build tests using the syntax from
> http://www.w3.org/TR/daml+oil-reference
I think that would be a reasonable thing to do, since, as we said in our
sketch, the expressiveness of full OWL would be close to (if not: the same as)
DAML+OIL. Tests cases for the frame-idiom could generated while building up
the idiom.
Frank.
----