ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Truth

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Michael Brunnbauer <brunni@xxxxxxxxxxxx>
Date: Fri, 6 Jul 2012 23:05:41 +0200
Message-id: <20120706210541.GA24158@xxxxxxxxxxxx>

Hello Matthew,    (01)

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?    (02)

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.    (03)

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

Regards,    (05)

Michael Brunnbauer    (06)

-- 
++  Michael Brunnbauer
++  netEstate GmbH
++  Geisenhausener Straße 11a
++  81379 München
++  Tel +49 89 32 19 77 80
++  Fax +49 89 32 19 77 89 
++  E-Mail brunni@xxxxxxxxxxxx
++  http://www.netestate.de/
++
++  Sitz: München, HRB Nr.142452 (Handelsregister B München)
++  USt-IdNr. DE221033342
++  Geschäftsführer: Michael Brunnbauer, Franz Brunnbauer
++  Prokurist: Dipl. Kfm. (Univ.) Markus Hendel    (07)

_________________________________________________________________
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    (08)

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