[Top] [All Lists]

Re: [ontolog-forum] Truth

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "doug foxvog" <doug@xxxxxxxxxx>
Date: Tue, 10 Jul 2012 14:33:37 -0400
Message-id: <33b93207aa218a4294ce57a9db6cbeef.squirrel@xxxxxxxxxxxxxxxxx>
On Tue, July 10, 2012 14:08, Chris Menzel wrote:
> 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).    (01)

>> Agreed.  A class is something that can have instances.    (02)

> So there's no (necessarily) empty class, e.g., the class of even primes >
> 100?    (03)

Touché!    (04)

This gets to the definition of "can have".  You understand what an instance
of your proposed class would be.  Logically the class is necessarily empty.    (05)

However, one would stretch to come up with what "an instance of the
planet Venus" would be.    (06)

-- doug f    (07)

> -chris    (08)

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    (09)

<Prev in Thread] Current Thread [Next in Thread>