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:
Topics:
License:
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
-
Code committed
adrian_marte committed revision 1760 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files -
Code committed
adrian_marte committed revision 1759 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files -
Code committed
ch_fuchs committed revision 1758 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files -
Code committed
matpre committed revision 1757 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files -
Code committed
adrian_marte committed revision 1756 to the IRIS - Integrated Rule Inference System SVN repository, changing 2 files -
Code committed
adrian_marte committed revision 1755 to the IRIS - Integrated Rule Inference System SVN repository, changing 2 files -
Code committed
adrian_marte committed revision 1754 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files -
Code committed
daniel_winkler committed revision 1753 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files -
Project Information Updated
-
Code committed
adrian_marte committed revision 1752 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files
Rate and Review
Related Projects
-
WSML2Reasoner
The WSML2Reasoner Framework is a modular architecture that combines various validation, normalisation, and transformation algorithms for the translation of ontology descriptions in WSML to the appropriate syntax of several underlying reasoning engines.
-
-
IRIS - Integrated Rule Inference System Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
