OO jDREW free download, OO jDREW download on software download

An open source deductive reasoning engine for the RuleML web rule language OO jDREW is an open source deductive reasoning engine for the RuleML web rule language. OO jDREW implements the object oriented extensions to RuleML which include: Slots, Order Sorted Types, and Object identifiers. Requirements: · Java What's New in This Release: · A new RuleML/XML querying syntax (to complement the RuleML/POSL syntax) for taxonomy · queries has been implemented; for full details on this new feature readers are referred here: · http://www.jdrew.org/oojdrew/docs/TaxonomyQuerying.html · Two new APIs have been released for OO jDREW. A specialized one for Taxonomy Querying · (which supports both RuleML/POSL and RuleML/XML); for more information readers are referred here: · http://www.jdrew.org/oojdrew/docs/TaxonomyQueryingAPI.html · The general API including the Taxonomy API constitutes the complete OO jDREW API (COjDA): for instructions on how to use it, readers are referred to this page: · http://www.jdrew.org/oojdrew/docs/COjDA.html · A bug has been fixed that caused the unification of certain typed constants when the · unification should have failed. · Corrected display of variable bindings in the user interface so that slot names are not · erroneously displayed. A new document containing Systematic Variations of OID Use has been released: · http://www.jdrew.org/oojdrew/docs/OIDs.posl · A FindN primitive for the Top-Down engine has been implemented, complementing the · findAll primitive. This primitive for finding any fixed number of solutions to a query · is located in the default package of the downloaded version of OO jDREW. For more information about the FindN primitive please go to the follow link: · http://www.jdrew.org/oojdrew/docs/TDFindallSolutions.html

OO jDREW Related Software