Static Analysis Tools for SWRL

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: W31P4Q-05-C-R167
Agency Tracking Number: 03SB2-0189
Amount: $749,872.00
Phase: Phase II
Program: SBIR
Awards Year: 2005
Solicitation Year: 2003
Solicitation Topic Code: SB032-035
Solicitation Number: 2003.2
Small Business Information
317 N. Aurora Street, Ithaca, NY, 14850
DUNS: 603978321
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Michael Mc. Dougall
 Senior Software Engineer
 (607) 273-7340
 mcdougall@grammatech.com
Business Contact
 Ray Teitelbaum
Title: CEO
Phone: (607) 273-7340
Email: tt@grammatech.com
Research Institution
N/A
Abstract
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.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government