ISSUED PATENTS
1 - US Patent 5720008: McGuinness, Patel-Schneider, and Resnick. "Knowledge Base Management System with Dependency Information for Procedural Tests", Issued 2/17/98, Submitted 5/94.
2 - US Patent 5974405: McGuinness,
Patel-Schneider, and Resnick. "Knowledge Base Management System with Enhanced Explanation of Derived Information", Issued 10/26/99, submitted 5/94.
3 - US Patent 6256627: McGuinness, Resnick, Beattie, and Manning. "System and Method
for Maintaining a Knowledge Base and Evidence Set". Issued July 3, 2001. Submitted 2/98, filed 6/23/98, allowed 12/29/00.
4 - US Patent 6385600: McGuinness, Beattie, and Resnick. "System And Method For Searching On A Computer Using
An Evidence Set". Issued May 7, 2002, submitted 4/3/98, allowed February 7, 2002. U. S. Application Number 09/054,886.
5 - US Patent McGuinness, Beattie, and Resnick. "System And Method For Maintaining A Knowledge Base And Evidence
Set". submitted 2/98, Docket No. 112569 Division Filed: April 11, 2001, allowed May 20, 2002. U.S. Application Number 09/832,221.