Extensions for Hybrid Rules

This is based on OO jDREW with version 0.88:

• ext4HybridRules.jar

where

• Package of jracer serves as a Description Logic reasoner, borrowing from Racer System at http://www.racer-systems.com/  
• Package of jdrew.oo.util includes a newly-built "DLQuery.java"
• Package of jdrew.oo.td includes "BackwardReasoner.java" which initiates a "DLQuery", making hybrid rules with satisfiability checking of DL classes and properties processable
• For testing, six examples are provided in "Tester.java" with knowledge based in Package of TEST, where *.racer is the input ontology file to Racer while *.dc is the input rule file to OO jDREW.

Required Libraries

Ptolemy II Library JAR file ptolemy.jar

Ptolemy II is Copyright 1997-2003 The Regents of the University of California.

You can download a complete source copy of Ptolemy II at http://ptolemy.eecs.berkeley.edu/ptolemyII/.

The version of Ptolemy II available here has no source level changes, but only those classes that are required for OO jDREW are included to keep the download size small.

XOM XML Library - XOM.jar

XOM is Licensed under the GNU Lesser General Public License.

The version of XOM available here has modified Serialization routines. The modified source is available at xomsrc.tar.gz.

log4j version 1.2.9 log4j-1.2.9.jar

This is an unmodified version of the log4j library. More information about log4j and the log4j source is available at http://logging.apache.org/log4j/docs/index.html.

ANTLR antlr.jar

This is an unmodified version of the ANTLR library. More information about ANTLR and the ANTLR source is available at http://www.antlr.org/.