hi all, (01)
thanks to the organizers for the audio recording and slides - this suits me
more than the live session. (02)
I understand what reasoning is.
Thanks to Benjamin, I now understand LP better.
But what are rules ? (03)
My understanding of rules was: Data is queried and/or manipulated using a query
language without a reasoner in the background to check for consistence or
to produce certain entailments. Reasons for this would be that the data
language is not expressive enough or that general entailment is intractable. (04)
But if the rules have semantics and a reasoner handles them, why don't we call
them axioms, assertions or ontologies ? (05)
What is the purpose of ontologies, rules, reasoning and LP ? Code becomes data
and data magically becomes knowledge so that both may be more understandable
and repurposeable. There are limits to this but I basically buy into it.
Are there other reasons ? (06)
Again, complexity and decideability are central issues as more expressiveness
makes accidental intractability more probable. But let's not forget that
what decides about tractability and feasibility of a certain technology is the
problem at hand. Recently, I wrote a SPARQL UPDATE query to emulate a PDP-1
just for fun. It is 50 million times slower than a C++ emulator (see
http://www.brunni.de/pdp1/). (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)
pgpTS6HxozUq6.pgp
Description: PGP signature
_________________________________________________________________
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)
|