hi all, (01)
On Thu, Aug 30, 2012 at 09:58:26PM -0400, John F Sowa wrote:
> Unfortunately, what you have been hearing is the decidability mantra.
> None of the legacy systems are decidable. But they are powerful
> enough to run the world economy. In comparison, the decidable
> systems are just toys. (02)
I recently stumbled over Pat's ISWC 2009 keynote proposing "surfaces" that
would give RDF the full power of FOL (03)
http://videolectures.net/iswc09_hayes_blogic/ (04)
and I wonder if the RDF WG is actually going a bit in that direction. For
example, would it be feasible to realize "surfaces" with a simple semantic
extension to the "RDF Spaces and Datasets" draft (05)
http://dvcs.w3.org/hg/rdf/raw-file/default/rdf-spaces/index.html (06)
like this: (07)
I(g rdf:type rdf:truespace) = true iff
for every T: CT(I(g),T) -> I(T) = true (08)
I(g rdf:type rdf:falsespace) = true iff
exists T: CT(I(g),T) and I(T) = false (09)
Regards, (010)
Michael Brunnbauer (011)
--
++ 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 (012)
_________________________________________________________________
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 (013)
|