- From: Daniel Elenius <elenius@csl.sri.com>
- Date: Fri, 13 Jan 2012 14:26:39 -0800
- To: "Semantic Web" <semantic-web@w3.org>, "OWL" <public-owl-dev@w3.org>, "Protege OWL" <protege-owl@mailman.stanford.edu>, "Description Logic" <dl@dl.kr.org>, swrl-iq-users@lists.esd.sri.com
We are proud to announce the first release of =========== SWRL-IQ ============================= Semantic Web Rule Language Inference and Query tool http://protegewiki.stanford.edu/wiki/SWRL-IQ =================================================== SWRL-IQ is a plugin for Protege 3.x that allows users to edit, save, and submit queries to an underlying inference engine based on XSB Prolog. The tool features: - Goal-oriented backward-chaining Prolog-style reasoning (as opposed to the forward-chaining paradigm used by most other SWRL rule engines). - Constraint-solving based on CLP(R) (Constraint Logic Programming with Reals). This allows for more declarative and powerful rules and queries. - Saving queries. - Exporting query results to XML or CSV format. - Tracing and debugging inference results. - Exporting query results in different formats. - No dependency on proprietary or closed-source components. Uses XSB Prolog, which is freely available under the LGPL license. SWRL-IQ also has powerful SWRL extensions and a Java procedural attachment mechanism. The manual, available at the URL above, contains more information. We have a public mailing list for discussion, questions, bug reports, and feature requests at swrl-iq-users@lists.esd.sri.com. To subscribe, send an email to swrl-iq-users-request@lists.esd.sri.com with the word "subscribe" as subject. Daniel Elenius SRI International
Received on Friday, 13 January 2012 22:27:34 UTC