The Community for Technology Leaders
Green Image
Issue No. 11 - November (2010 vol. 22)
ISSN: 1041-4347
pp: 1563-1576
Marcelo Tallis , University of Southern California, Marina del Rey, CA
Robert M. Balzer , Teknowledge Corp, Palo Alto, CA
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.” We also show a spreadsheet-based framework for authoring logic implication rules. This framework was conceived with the objective of reproducing many of the characteristics that make spreadsheet programming accessible to end users. In the proposed framework, rule authors describe the semantics of a binary relation by constructing a functional spreadsheet model that computes the image of that binary relation. This model is subsequently translated into a collection of logic implication rules. We implemented this deductive spreadsheet system on top of Microsoft Excel and adopting the World Wide Web Consortium (W3C) standard ontology language {\rm OWL} {+} {\rm SWRL} formalisms.
Ontology languages, representations (procedural and rule based), spreadsheets, user-centered design.

R. M. Balzer and M. Tallis, "A Deductive Spreadsheet System for End Users," in IEEE Transactions on Knowledge & Data Engineering, vol. 22, no. , pp. 1563-1576, 2010.
88 ms
(Ver 3.3 (11022016))