On Jul 10, 2012, at 1:08 PM, Chris Menzel wrote: (01)
> On Tue, Jul 10, 2012 at 12:56 PM, doug foxvog <doug@xxxxxxxxxx> wrote:
> On Sun, July 8, 2012 22:11, Pat Hayes wrote:
> ...AFAIK, topic maps have no coherent semantics, but it seems very odd
> to say that a planet is a class. While not strictly illegal in OWL-Full,
> this would be very bad ontology design (and it is illegal in OWL-DL).
>
> Agreed. A class is something that can have instances.
>
> So there's no (necessarily) empty class, e.g., the class of even primes > 100? (02)
Its called owl:Nothing. (03)
Pat (04)
>
> -chris
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (05)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (07)
|