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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.