SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

SWRL-IQ: A Prolog-based Query Tool for OWL and SWRL
 by Daniel Elenius.

Abstract
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.
BibTEX Entry
@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}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy