[Top] [All Lists]

Re: [ontolog-forum] Ontology and methodology (new thread off "Common Log

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sun, 18 Mar 2007 12:18:25 -0500
Message-id: <45FD7461.2090208@xxxxxxxxxxx>
Peter,    (01)

Are you sure that you are interpreting the word "subtype"
the way it is usually used?    (02)

By definition, X is a subtype of Y if and only if
every instance of X is also an instance of Y.    (03)

Therefore, "Employee < Person" or "Employee is as subtype of Person"
means nothing more nor less than every employee is a person.    (04)

That is certainly true of most businesses.  And if you wish to
allow mules to be considered persons, it would also be true
of the mining company.    (05)

John    (06)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)

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