new annotation syntax in Manchester syntax

Assuming that the changes to the functional syntax to support the change
to annotation syntax are:
  AnnotationValue ::= Literal | URI | AnonymousIndividual
  EntityAnnotation := 'EntityAnnotation' '(' axiomAnnotations URI 
     targetAnnotations ')'
I changed the Manchester syntax document accordingly.

The diff is
http://www.w3.org/2007/OWL/wiki/index.php?title=ManchesterSyntax&diff=14216&oldid=14215

peter

Received on Monday, 27 October 2008 11:11:36 UTC