USA flag logo/image

An Official Website of the United States Government

Static Analysis Tools for SWRL

Award Information

Department of Defense
Defense Advanced Research Projects Agency
Award ID:
Program Year/Program:
2005 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
GrammaTech, Inc
531 Esty Street Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 2
Fiscal Year: 2005
Title: Static Analysis Tools for SWRL
Agency / Branch: DOD / DARPA
Contract: W31P4Q-05-C-R167
Award Amount: $749,872.00


The semantic web is a worldwide effort aimed at attaching machine-understandable semantic information to content, and to develop applications that make use of that information. SWRL (Semantic Web Rule Language) is a logic programming language that is becoming a standard for providing reasoning capabilities on semantic-web information. Like any other language, programs written in SWRL are not immune to programming flaws and security vulnerabilities. We propose the development of a tool for allowing the static analysis of SWRL programs. This draws on work on the analysis of logic programs, and on our own extensive experience with the static analysis of sequential imperative programs. The tool will allow users to reason about the behavior of their SWRL programs and permit queries aimed at finding programming errors and security vulnerabilities. It will allow users to proactively assess the security and assurance properties of their programs before they are deployed. An additional benefit will be facilities for helping programmers understand SWRL programs, and for assessing the effect of proposed changes. This work will be validated by collaborating with industrial users, and commercialized through our relationship with a leading semantic-web tools vendor.

Principal Investigator:

Michael McDougall
Senior Software Engineer

Business Contact:

Ray Teitelbaum
Small Business Information at Submission:

317 N. Aurora Street Ithaca, NY 14850

EIN/Tax ID: 161338879
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No