Re: [ontolog-forum] Truth

[Chris Menzel <chris.menzel@xxxxxxxxx>]

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.

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