RE: abstract syntax and RDFS

Thanks for all of these, your [opt] notation is better than mine.

> -----Original Message-----

> > The problem is that every RDFS schema contains triples like
> > 
> > <uri1> rdf:type rdf:Property .
> > and
> > <uri2> rdf:type rdfs:Class .
> > 
> > These triples are simply illegal in OWL Lite and OWL DL.
> > 
> > But they could be (non-deterministically) introduced in the 
> mapping rules.
> 
[snip]
> Done for all *four* Class rules.
> 
[ snip ]
> Done.
[snip]
> Done.
> 
> I also had to fix the informative portion as well.
> 
> peter
>