Adding deductive logic to a cots spreadsheet

  • Authors:
  • Marcelo Tallis;Rand Waltzman;Robert Blazer

  • Affiliations:
  • 4640 admiralty way, suite 1010, marina del rey, ca 90292, usa/ e-mail: mtallis@teknowledge.com, rand@nada.kth.se,balzer@teknowledge.com;4640 admiralty way, suite 1010, marina del rey, ca 90292, usa/ e-mail: mtallis@teknowledge.com, rand@nada.kth.se,balzer@teknowledge.com;4640 admiralty way, suite 1010, marina del rey, ca 90292, usa/ e-mail: mtallis@teknowledge.com, rand@nada.kth.se,balzer@teknowledge.com

  • Venue:
  • The Knowledge Engineering Review
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end-users. In particular, we show how the function-based problem-solving capabilities of spreadsheets can be extended to include logical deductive methods in a way that is consistent with the existing spreadsheet ‘look and feel’. The foundation of our approach is the integration of a standard deductive logic system into a successful Commercial-Off-The-Shelf (COTS) spreadsheet. We have demonstrated this by designing and implementing an extension to Excel that manages the integration of Excel and a deductive logic engine based on the World Wide Web Consortium (W3C) standard ontology language OWL + SWRL.