BibSonomy now supports HTTPS. Switch to HTTPS
The Datalog Educational System (DES) is a free, open-source, multiplatform, Prolog-based implementation of a basic deductive database system.
The SWRLTab is a development environment for working with SWRL rules in Protege-OWL. It supports the editing and execution of SWRL rules.
Bijan Parsia; et al. (2005). "Cautiously Approaching SWRL" (PDF).
How to integrate OWL-DL and SWRL while maintaining decidibility
The mission of the Rule Interchange Format (RIF) Working Group is to produce W3C Recommendations for rules interchange
W3C Member Submission 21 May 2004