Re: [iris-reasoner-support] Internals

[Barry B. <bar...@st...>]

Hi Murat,

The IRIS reasoner uses bottom-up evaluation strategies, loosely base on 
those found in, Principles of Database Systems, Ullman 1983.

It also uses the magic sets optimisation and will soon have a new 
top-down strategy based on SLD resolution.

So for the time being, the 0.5.7 tag should be fine for your purposes. 
See the attached paper describing the reasoner for more information.

Thanks for your interest in IRIS.

Regards,

Barry Bishop
Senior Scientific Programmer
Semantic Technology Institute (STI)
University of Innsbruck, Austria
-----------------------------------
E-Mail: bar...@st...
Tel:    +43 512 507 96873
-----------------------------------

Murat Knecht wrote:
> Hi all,
> 
> I intend to have a look at IRIS internals to gather some understanding 
> on how a reasoner works (or on how this one does, anyway).
> Which version would you recommend, the 0.5.7 tag or the trunk and why?
> 
> Thanks!
> 
> Murat
> 
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> iris-reasoner-support mailing list
> iri...@li...
> https://lists.sourceforge.net/lists/listinfo/iris-reasoner-support