Re: Some comments on OWL S&AS

Another suggestion to the Abstract Syntax of OWL Lite:

In the current spec,
type ::= classID | restriction (in Lite)
type ::= description (in DL )
super ::= classID | restriction
description ::= classID | restriction|...

Please consider the possibility:
type ::= descriptionLite (in Lite)
super ::= descriptionLite
descriptionLite ::= classID | restriction


Thanks for your concern!

Yuzhong Qu

> Great.  
> 
> I'm not officially closing this thread because the working group needs to
> discuss whether owl:Nothing should be added to OWL Lite.
> 
> peter
> 
> 
> From: "Yuzhong Qu" <yzqu@seu.edu.cn>
> Subject: Re: Some comments on OWL S&AS
> Date: Wed, 16 Apr 2003 08:33:44 +0800
> 
> > It's acceptable. Thanks!
> > 
> > Yuzhong Qu
> 
>