IRIS is an extensible reasoning engine for Datalog extended with function symbols, unsafe rules, negation, locally stratified or non-stratified programs, XML schema data types and a comprehensive and extensible set of built-in predicates.
Release Date:
2008-12-02
Topic:
Operating System:
License:
Translations:
Intended Audience:
User Interface:
Programming Language:
Registered:
2006-05-16
Ratings and Reviews
- Thumbs up: 2
- Thumbs down: 0
Be the first to post a text review of IRIS - Integrated Rule Inference System. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
Rate and Review
Related Projects
-
-
Large Knowledge Collider
This is the official collaborative development environment of the Large Knowledge Collider (LarKC), a platform for massive distributed reasoning that aims to remove the scalability barriers of currently existing reasoning systems for the Semantic Web
-
IRIS - Integrated Rule Inference System Actions
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
