- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Tue, 22 Jul 2003 10:39:20 +0100
- To: Jim Hendler <hendler@cs.umd.edu>
- Cc: webont <www-webont-wg@w3.org>
On July 18, Jim Hendler writes: > > At 2:09 PM -0700 7/18/03, Kevin D. Keck wrote: > >Sure, I'll move the naming discussion to the rdf-logic list, but that was only > >the first part of my comment. > > > >The second was that I, at least, was confused about whether (in OWL-DL) > >owl:Class'es are owl:Thing's. I thought the idea is that they're not, but then > >I came across the "Class instances are all OWL objects" statement (AS&S, Sec > >5.2, see below). What does this mean? Does this mean owl:Class'es _are_ > >owl:Things? Or does it mean they're both in the range of owl:ObjectProperty > >(contrary to the range given)? And if not, then what subclass of Property > >includes rdf:type? Some class there's no name for? > >-- > >Kevin D. Keck > >http://vimss.lbl.gov/~kdkeck/ > >510-486-4856 > > > Kevin - thanks, I missed that part in skimming through - I've asked > the S&AS editors to send you a reply - JH I am discussing this with Peter. I believe that we can respond with a small clarification of the relevant text. Ian > > -- > Professor James Hendler hendler@cs.umd.edu > Director, Semantic Web and Agent Technologies 301-405-2696 > Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) > Univ of Maryland, College Park, MD 20742 *** 240-277-3388 (Cell) > http://www.cs.umd.edu/users/hendler *** NOTE CHANGED CELL NUMBER ***
Received on Tuesday, 22 July 2003 05:40:27 UTC