We present SWRL-IQ (SWRL Inference and Query Tool), a Protege plug-in that allows users to create, edit, save, and submit queries to an underlying inference engine based on XSB Prolog. The tool distinguishes itself from other reasoning tools by a number of features, including goal-oriented backward-chaining reasoning, flexible constraint handling that allows for very declarative rules and queries, powerful SWRL extensions, and tracing and debugging features for explanation of reasoning results. Together, these features allow SWRL to be used as a powerful Logic Programming language that is tightly integrated with OWL ontologies. SWRL-IQ was motivated by the needs of a very complex problem domain: distributed military training and testing. The system is implemented in a flexible way to allow for different syntax front ends and reasoning back ends.

@inproceedings{DBLP:conf/owled/Elenius12,
  author    = {Daniel Elenius},
  title     = {SWRL-IQ: A Prolog-based Query Tool for OWL and SWRL},
  booktitle = {OWLED},
  year      = {2012},
  ee        = {http://ceur-ws.org/Vol-849/paper_17.pdf},
  crossref  = {DBLP:conf/owled/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/owled/2012,
  editor    = {Pavel Klinov and
               Matthew Horridge},
  title     = {Proceedings of OWL: Experiences and Directions Workshop
               2012, Heraklion, Crete, Greece, May 27-28, 2012},
  booktitle = {OWLED},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {849},
  year      = {2012},
  ee        = {http://ceur-ws.org/Vol-849},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• elenius-owled2012.pdf