Abstract syntax document

In M:\projects\semanticWeb\WebOntology\FaceToFace2\Formal Specification of
the OWL Web Ontology Language.htm

 <individual> ::= Individual( [<individualID>] {type=<classID>}
{<propertyValue>} )
 <propertyValue> ::= ( <individualvaluedPropertyID>  <individual> )
                   | ( <datavaluedPropertyID>  <dataLiteral> )

Should the <propertyValue> production be changed so that <individual> is
<individualID>?
Or 

 <propertyValue> ::= ( <individualvaluedPropertyID>  <individualRef> ) | ...
 <individualRef> ::= <individual> | <individualID>

Otherwise, to say that Bob is the individual married to Sue I need 

 Individual( Bob type=Person ( marriedTo INDIVIDUAL(Sue) ))

- Mike

Michael K. Smith
EDS Austin Innovation Centre
98 San Jacinto, #500
Austin, TX 78701
512 404-6683