Re: XML presentation syntax Schema (modification in AnnotationType)

On Thu, 9 Jan 2003, Masahiro Hori wrote:

> >> This means that individuals can only be given types
> >> which are named classes, rather than arbitrary class
> >> descriptions. Is this right?
>
> As far as the individuals are concerned, that's true.
> The syntax actually reflects to the Abstract Syntax [1]
> in particular the following portion (Section 2.2 Facts):

Ok. In that case my question is "is the Abstract Syntax right?"

Cheers,

	Sean

-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb

Received on Thursday, 9 January 2003 03:59:45 UTC