An Official Website of the United States Government
Automate Ontological Representation of security classification guides
- Small Business Information
-
Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
- Phase 1
-
Fiscal Year: 2009Title: Automate Ontological Representation of security classification guidesAgency / Branch: DOD / USAFContract: FA8750-09-C-0103Award Amount: $99,850.00
Abstract:
The volume of information available is making it impractical to rely completely on humans to touch, assess and classify every bit of information, especially when there may be multiple overlapping security classification guidelines that are applicable. Automation is needed on two fronts: (1) to design security classification guides that are clear, formal, explicit and mutually consistent and non-redundant (2) to apply security classification guides with the smallest amount of feasible human intervention. We will use an existing language to logic translation system (called the Controlled English to Logic Translation system) to convert security classification guides into formal logic, utilizing new and existing definitions from the Suggested Upper Merged Ontology (SUMO). We will ensure that the translated rules are clear and consistent with automated theorem proving conducted in our Sigma Knowledge Engineering Environment. BENEFIT: The resulting system will enable security classification guides to be turned into computer-executable specifications. Security guides will be able to be tested automatically for internal consistency and consistency with other guides.Small Business Information at Submission:ARTICULATE SOFTWARE
420 College Ave Angwin, CA 94508EIN/Tax ID: 200039406DUNS: N/ANumber of Employees:Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
Award Information
|
Agency: Department of Defense |
Branch: Air Force |
Award ID: 92762 |
Program Year/Program: 2009 / SBIR |
|
Agency Tracking Number: F083-037-1649 |
Solicitation Year: N/A |
Solicitation Topic Code: N/A |
Solicitation Number: N/A |