NIH | National Cancer Institute | NCI Wiki  

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

These are defined as a way to provide methods of representing and executing decision support, orchestration, analysis and many other aspects of application functionality. They share a way to represent certain behaviors for which a more concise language has been created than traditional programming languages. Some inference and rule systems support standards such as OWL DL (Description Logics), or RuleML (Markup Language), or RIF (Rule Interchange Format). In addition, there may be extensions or additional functionality which make them suitable.

SILK (silk.semwebcentral.org) - extends expressive power of SPARQL, OWL-RL, RIF-BLD, designed with biomed projects in mind.

SQI-Prolog (www.swi-prolog.org) - Implementation of the Prolog language with support for RDF, OWL and SPARQL.  Scalable to available memory and can be embbeded in Java applications.

DLVHEX (www.kr.tuwien.ac.at/research/systems/dlvhex/) - This is a prototype application for providing reasoning with OWL ontologies, with SPARQL plugin support.

RDF and OWL Tools

Pellet (clarkparsia.com) - Pellet is an OWL 2 (partial) reasoner providing the core classification functionality. Pellet is broadly used and integrated into various platforms including Protege 4 and TopBraid Composer. Pellet is written directly in Java and so can easily be integrated into other java applications directly without external configurations or implementations.

...

Drools Expert (jboss.org) - Drools is a component of the JBoss community. Drools is described as a business logic integration platform. It has a number of components which may be integrated to provide different support including a managed rule repository. Drools is an implementation of the rete algorithm. Drools supports a proprietary language as well as an XML representation of its own language. Transformations of RuleML to Drools may be available.

Ontobroker (ontoprise.de) - A commercial package which provides support for high performance reasoning for W3C standards such as OWL, RIF, RDF(S), SPARQL which integrates to multiple database systems and support web service interfaces.  Along with Ontostudio which provides a visual modeling tool for work with Ontobroker.

[FLORA-2 (flora.sourceforge.net)|http://flora.sourceforge.net/] - Flora is an object-oriented rule language, and implementation of the RIF standard, it does not appear to be currently developed, but may have application here.

Flow Management for Services, Processes and web Applications

...