Re: typo in Abstract Syntax ?

From: "Masahiro Hori" <HORIM@jp.ibm.com>
Subject: typo in Abstract Syntax ? 
Date: Sat, 4 Jan 2003 04:19:46 +0900

> 
> Peter,
> 
> In the latest Abstract Syntax for OWL DL, multiplicity of
> domains and ranges in DatatypeProperty and ObjectProperty [1]
> are specified this way:
> 
>     {domain(<description>)}
>     {range(<dataRange>)}
> 
> But I am afraid these should be
> 
>     domain( {<description>} )
>     range( {<dataRange>} )

Either way works, I think.  I'm partial to the current way.


> Is that correct?
> 
> [1]
> http://www-db.research.bell-labs.com/user/pfps/owl/semantics/semantics-all.html#owl_DatatypeProperty_syntax
> 
> 
> -Masahiro

peter