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 > >Received on Thursday, 17 April 2003 10:40:28 UTC
This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:09:28 UTC