Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Concrete Logic Programming System: IRIS

  • Java based Datalog reasoner
    • Developed at STI Innsbruck
    • Freely available open source project
    • Homepage: http://www.iris-reasoner.org/

  • Extensions:
    • Stratified / Well-founded default negation
    • XML Schema data types
    • Various built-in predicates (Equality, inequality, assignment, unification, comparison, type checking, arithmetic, regular expressions,... )

  • Highly modular and includes different reasoning strategies
    • Bottom-up evaluation with Magic Sets optimizations (forward-chaining)
    • Top-down evaluation by SLDNF resolution (backward-chaining)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.