Static Analysis Tools for SWRL

Award Information
Agency:
Department of Defense
Amount:
$749,872.00
Program:
SBIR
Contract:
W31P4Q-05-C-R167
Solitcitation Year:
2003
Solicitation Number:
2003.2
Branch:
Defense Advanced Research Projects Agency
Award Year:
2005
Phase:
Phase II
Agency Tracking Number:
03SB2-0189
Solicitation Topic Code:
SB032-035
Small Business Information
GRAMMATECH, INC
317 N. Aurora Street, Ithaca, NY, 14850
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
N
Duns:
603978321
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

US Flag An Official Website of the United States Government