OO jDREW

 

Introduction

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).

Release Notes

Version 0.88

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:

  • Keyed parameters (Slots)
  • Order-Sorted types (defined in RDFS)
  • Object Identifiers

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.

Known Issues

The following are known outstanding issues with OO jDREW:

  • URI grounding is not currently supported
  • Queries in POSL syntax must currently end with a period (.) although this is not normally required.
  • In POSL syntax any symbol that contains a delimiter ( ) - > , ; . : % [ or ] must be contained within quotation marks (" ").
  • In POSL syntax a symbol cannot contain the " character.

RuleML <-> POSL Converter Application

A small Java Web Start application to convert between RuleML and POSL syntax is available here

License

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.

Last Updated:
   May 24, 2005

By:
   Marcel Ball