Adding Deductive Logic to a COTS Spreadsheet

As requested in the solicitation, we will be adding a spreadsheet graphic user interface (GUI) to a deductive logic system, but we will not create this GUI. Instead, we will use the GUI from the most successful Commercial-Off-The-Shelf (COTS) spreadsheet - Excel. Thus, we will be integrating the deductive logic system into this successful COTS spreadsheet rather than developing a new spreadsheet system. Data will be mapped back and forth between the spreadsheet and the knowledgebase of the deductive logic system, so that spreadsheet data can be used as facts (triples) in the deductive logic system and the information it derives can be placed back in the spreadsheet as computed results. Utilizing the spreadsheet metaphor this mapping will equate an individual spreadsheet cell as the value of an attribute (column heading) of an object (entity whose values are displayed within a row). The spreadsheet will be extended to allow references to those objects (such as father) to be placed in a cell, to handle multi-valued attributes (such as sister), and to define the mappings that couple the spreadsheet to the deductive logic system.