- From: Smith, Michael K <michael.smith@eds.com>
- Date: Thu, 27 Jun 2002 10:00:47 -0500
- 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 UTC