W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2002

Abstract syntax document

From: Smith, Michael K <michael.smith@eds.com>
Date: Thu, 27 Jun 2002 10:00:47 -0500
Message-ID: <B8E84F4D9F65D411803500508BE322140EC1C90C@USPLM207>
To: webont <www-webont-wg@w3.org>, pfps@research.bell-labs.com

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
Received on Thursday, 27 June 2002 11:00:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT