hi all, (01)
On Fri, Aug 31, 2012 at 11:34:16AM +0200, Michael Brunnbauer wrote:
> For example, would it be feasible to realize "surfaces" with a simple semantic
> extension to the "RDF Spaces and Datasets" draft
>
> http://dvcs.w3.org/hg/rdf/raw-file/default/rdf-spaces/index.html (02)
hmmm... The problem seems to be that the scope of the existential
quantification is missing. not exists a: B(a) is not the same as
exists a: not B(a). It seems that every blank node needs to be assigned a
space/surface where the quantification occurs (the "outermost" space/surface?).
OK - not so easy and probably not part of any current draft... (03)
Regards, (04)
Michael Brunnbauer (05)
--
++ 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 (06)
_________________________________________________________________
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 (07)
|