Difference between revisions of "SWRL-IQ"

From Protege Wiki
Jump to: navigation, search
m
Line 29: Line 29:
 
==Documentation==
 
==Documentation==
 
[[File:SWRL-IQ_manual.pdf‎]]
 
[[File:SWRL-IQ_manual.pdf‎]]
 +
 +
==Acknowledgments==
 +
 +
SWRL-IQ development was carried out at the SRI facilities in Menlo Park, CA and was funded by the U.S. Department of Defense, TRMC (Test and Evaluation/Science and Technology) T&E/S&T (Test and Evaluation/Science and Technology) Program under NST Test Technology Area prime contract N68936-07-C-0013. The authors are grateful for this support and would like to thank Gil Torres, NAVAIR, for his leadership of the Netcentric System Test (NST) technology area, to which the ANSC project belongs. We would also like to acknowledge ODUSD/R/RTPP (Training Transformation) for its
 +
sponsorship of the associated ONISTT project.
 +
 +
David Warren and Terrance Swift provided expert guidance and bug �fixes for XSB Prolog, and Miguel Calejo did the same for InterProlog.

Revision as of 15:19, January 3, 2012

Screenshot

Type Tab Widget
Author(s) Daniel Elenius, Reginald Ford, Susanne Riehemann
Last Update January 1, 2012
License not available
Homepage SWRL-IQ website
For Application
Topic(s)
Affiliation

SWRL-IQ (Semantic Web Rule Language Inference and Query tool) is a plugin for Protege 3.4.x that allows users to edit, save, and submit queries to an underlying inference engine based on XSB Prolog.

Versions & Compatibility

This section lists available versions of SWRL-IQ.

VersionCompatible withDependencies
SWRL-IQ 1.1bProtege 3.5XSB Prolog
SWRL-IQ 1.1Protege-OWL 3.4XSB Prolog
SWRL-IQ 1.0Protege-OWL 3.4XSB Prolog

If you click on the button below to add a new version of SWRL-IQ, you will be asked to define a page title for the new version. Please adhere to the naming convention of SWRL-IQ X.X.X when you define the new page!

Changelog

VersionChanges in this version
SWRL-IQ 1.1bNow works with Protege 3.5 beta.
SWRL-IQ 1.1The Reload KB check box is gone. SWRL-IQ now reloads the KB only when needed, and only re-loads the changed bits of the KB, which is much faster.
SWRL-IQ 1.0Initial release


Description

SWRL-IQ has a number of features that distinguishes it from other query and reasoning tools, such as the Protege SQWRLQueryTab supported by the Jess rule engine:

  • Goal-oriented backward-chaining Prolog-style reasoning (as opposed to the forward-chaining paradigm used by Jess and the Protege SWRL Bridge framework).
  • Constraint-solving based on CLP(R) (Constraint Logic Programming with Reals). This allows for more declarative and powerful rules and queries.
  • Saving 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, similar to what the Jess query tab supports.

Documentation

File:SWRL-IQ manual.pdf

Acknowledgments

SWRL-IQ development was carried out at the SRI facilities in Menlo Park, CA and was funded by the U.S. Department of Defense, TRMC (Test and Evaluation/Science and Technology) T&E/S&T (Test and Evaluation/Science and Technology) Program under NST Test Technology Area prime contract N68936-07-C-0013. The authors are grateful for this support and would like to thank Gil Torres, NAVAIR, for his leadership of the Netcentric System Test (NST) technology area, to which the ANSC project belongs. We would also like to acknowledge ODUSD/R/RTPP (Training Transformation) for its sponsorship of the associated ONISTT project.

David Warren and Terrance Swift provided expert guidance and bug �fixes for XSB Prolog, and Miguel Calejo did the same for InterProlog.