SweetRules

Integrated tools for semantic web rules and ontologies (RuleML, SWRL, OWL). Supports Situated Courteous Logic Programs, semantics-preserving translation between rule languages, backward/forward inferencing, and WSDL procedural attachments.