Re: [ontolog-forum] Proceedings: "Rules-Reasoning-LP" Mini-series Launch

[Benjamin Grosof <benjamin.grosof@xxxxxxxxxxxxxxxxxxxxx>]

Hi Michael B,

I'm glad my part of the session helped you understand LP better.

Yes, one can call the rules there assertions or axioms.  (I and my collaborators often do.)

Yes, one can call many of the rules ontologies or ontological.  (Again, I and my collaborators often do.)

Wrt purposes, I recommend you look at the AAAI-13 long rules tutorial, esp. its first section, which discusses

how (semantic) rules are useful in more specific or indirect ways, in addition to the
general and direct characteristics of understandability and reusability. 

Best,
Benjamin

On Sat, Oct 26, 2013 at 12:14 PM, Michael Brunnbauer <brunni@xxxxxxxxxxxx> wrote:

hi all,

thanks to the organizers for the audio recording and slides - this suits me
more than the live session.

I understand what reasoning is.
Thanks to Benjamin, I now understand LP better.
But what are rules ?

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.

But if the rules have semantics and a reasoner handles them, why don't we call
them axioms, assertions or ontologies ?

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 ?

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/).

Regards,

Michael Brunnbauer

--
++  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


_________________________________________________________________
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
 

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