[Top] [All Lists]

Re: [ontolog-forum] Truth

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Chris Menzel <chris.menzel@xxxxxxxxx>
Date: Fri, 6 Jul 2012 16:08:03 -0500
Message-id: <CAO_JD6MFGScCk6ObmyTFcwDMf6Jod5eNphZX0OryW0rsenqDOg@xxxxxxxxxxxxxx>
On Fri, Jul 6, 2012 at 3:35 PM, Matthew West <dr.matthew.west@xxxxxxxxx> wrote:

Dear Chris,


CM> ... classes are extensional in OWL.


Is that extensional in that the extension is the members declared in the OWL ontology, or is that extensional in the sense that the members define the class, but I might not know about all of them?

Definitely the latter. The former, if I'm understanding you, is something like negation as failure, which plays no role in a classical semantics ilke OWL's.


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

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