XML presentation syntax Schema (modification in AnnotationType)

I think it is better for the AnnotationType in
the presentation syntax Schema [1] to be modified
in the following manner.  This modification is not
to change the abstract syntax, but to make the XML
presentation syntax closer to the abstract syntax.

If there is no problem in this presentation
syntax change, I am going to reflect this
modification to [1], and post before the f2f.

-Masahiro

[1]
http://lists.w3.org/Archives/Public/www-webont-wg/2002Dec/att-0295/01-OWL-XML-Schemas.html


------------------------------------------------------
The abstract syntax allows two kinds of annotation in
http://www-db.research.bell-labs.com/user/pfps/owl/semantics/semantics-all.html#rdfs_comment_syntax



    <annotation> ::= annotation ( <URI reference> <URI reference> )
    <annotation> ::= annotation ( <URI reference> <dataLiteral> )

However, the current XML presentation syntax Schema
can only handle the first case. For example:

    <owls:Annotation owls:subject="uri-1" owls:object="uri-2" />

So, I am going to extend the current XML Schemas,
so that they can handle the following three variations
(and arbitrary combinations of them).

(1-a)
  <owls:Annotation>
    <owls:Info owls:subject="uri-1" owls:object="uri-2" />
  </owls:Annotation>

(1-b)
  <owls:Annotation>
    <owls:Documentation>Sample comment</owls:Documentation>
  </owls:Annotation>

(1-c)
  <owls:Annotation>
    <owls:Documentation owl:subject="uri-1">
      'Documentation' element can have a 'subject' attribute.
    </owls:Documentation>
  </owls:Annotation>

These variations would be helpful for Jerome's XSLT
stylesheet being prepared for the transformation from
XML presentation syntax to XML/RDF.

In addition, the current Annotation element in the
XML presentation syntax is only allowed as immediate
children of the top-level Ontology element. However,
the abstract syntax says it is allowed for the other
places as children of:

    + Class (ClassAxiomType)
    + DatatypeProperty (DataPropertyAxiomType)
    + ObjectProperty   (ObjectPropertyAxiomType)
    + EnumeratedClass  (EnumerationType)
    + Individual (IndividualType)

So, I am going to reflect this point to the
presentation syntax Schema as well.

------------------------------------------------------


Masahiro Hori, Ph.D.
Group Leader, Programming Models & Tools,
IBM Tokyo Research Laboratory
Tel: +81-46-215-4667 / Fax: +81-46-274-4282
Email: horim@jp.ibm.com

Received on Friday, 3 January 2003 11:01:42 UTC