hi all, (01)
On Fri, Aug 31, 2012 at 12:47:49PM +0200, Michael Brunnbauer wrote:
> 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... (02)
Maybe this would work: (03)
I(g rdf:type rdf:truespace) true iff
for every T: CT(I(g),T) -> [I+A](T) = true
for some mapping A from blank(I(g)) to IR (04)
I(g rdf:type rdf:falsespace) true iff
exists T: CT(I(g),T) and [I+A](T) = false
for some mapping A from blank(I(g)) to IR (05)
The necessary blank node mappings would be added to the interpretation while
"descending" into the nested surfaces. (06)
Still a semantic extension - another layer instead of a new foundation - but
at least not very intrusive. (07)
Regards, (08)
Michael Brunnbauer (09)
--
++ 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 (010)
_________________________________________________________________
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 (011)
|