Re: [ontolog-forum] Truth

[Chris Menzel <chris.menzel@xxxxxxxxx>]

On Fri, Jul 6, 2012 at 4:05 PM, Michael Brunnbauer <brunni@xxxxxxxxxxxx> wrote:

Hello Matthew,

On Fri, Jul 06, 2012 at 09:35:02PM +0100, Matthew West wrote:
> 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?

I think it's extensional in the sense that classes are not first class entities
but defined via the extension of the rdf:type property.

http://www.w3.org/TR/rdf-mt/#sinterp

Actually, yes, there is an RDF-compatible semantics for OWL I'd forgotten about where OWL classes are simply entities that are assigned sets of individuals as their extensions. In this semantics, distinct classes can have the same "members". But IIRC in both the W3C "direct" semantics for OWL and the "model theoretic" semantics, OWL classes are simply sets of individuals.

Pat will probably jump in here and straighten me out...

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