OO jDREW is a deductive reasoning engine for the RuleML rule markup and exchange format (including the OO extensions), written in the Java programming language (Tested with Version 1.4).
Support for the RuleML syntax (version 0.88 with rest parameters from version 0.89)
Currently the following Object Oriented features from RuleML are supported:
Currently URI grounding of individual constants (<Ind>) is not supported; primarily because of W3C issues related to the normalization of URIs. This should be supported in a future release.
The following are known outstanding issues with OO jDREW:
RuleML <-> POSL Converter Application
A small Java Web Start application to convert between RuleML and POSL syntax is available here
OO jDREW - Copyright (C) 2005 Marcel Ball
This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License version 2 as published by the Free Software Foundation.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.