This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Deductive Spreadsheet System for End Users
November 2010 (vol. 22 no. 11)
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.

[1] B. Nardi, A Small Matter of Programming: Perspectives on End User Computing. MIT Press, 1993.
[2] B. Boehm, E. Horowitz, R. Madachy, D. Reifer, B.K. Clark, B. Steece, A.W. Brown, S. Chulani, and C. Abts, Software Cost Estimation with COCOMO II. Prentice Hall PTR, 2000.
[3] B. Nardi and J. Miller, "An Ethnographic Study of Distributed Problem Solving in Spreeadsheet Development," Proc. ACM Conf. Computer Supported Cooperative Work (CSCW), pp. 197-208, Oct. 1990.
[4] M. Spenke and C. Beilken, "A Spreadsheet Interface for Logic Programming," Proc. ACM CHI '89 Human Factors in Computing Systems Conf., pp. 75-80, Apr.-June, 1989.
[5] M. Tallis, R. Waltzman, and R. Balzer, "Adding Deductive Logic to a COTS Spreadsheet," The Knowledge Eng. Rev., vol. 22, no. 3, pp. 255-268, Sept. 2007.
[6] M. Tallis and R.M. Balzer, A Functional Spreadsheet Framework for Authoring Logic Implication Rules, N. Bassiliades, G. Governatori, and A. Paschke, eds., pp. 219-226. Springer-Verlag, 2008.
[7] I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean, "SWRL: A Semantic Web Rule Language Combining OWL and RuleML," W3C Member Submission, http://www.w3.org/SubmissionSWRL/, 2004.
[8] OWL Web Ontology Language Overview, W3C Recommendation, D.L. McGuinness and F. van Harmelen, eds., http://www.w3.org/TR/2004REC-owl-features-20040210 /, 10 Feb. 2004.
[9] S.P. Jones, A. Blackwell, and M. Burnett, "A User-Centred Approach to Functions in Excel," Proc. Eighth ACM SIGPLAN Int'l Conf. Functional Programming, pp. 165-176, 2003.
[10] KAON2—Ontology Management for the Semantic Web, Project Homepage, http:/kaon2.semanticweb.org/, 2010.
[11] A. Valente, D. Van Brackle, H. Chalupsky, and G. Edwards, "Implementing Logic Spreadsheets in LESS," The Knowledge Eng. Rev., vol. 22, pp. 237-253, 2007.
[12] I. Cervesato, "NEXCEL, a Deductive Spreadsheet," The Knowledge Eng. Rev., vol. 22, no. 3, pp. 221-23, Sept. 2007.

Index Terms:
Ontology languages, representations (procedural and rule based), spreadsheets, user-centered design.
Citation:
Marcelo Tallis, Robert M. Balzer, "A Deductive Spreadsheet System for End Users," IEEE Transactions on Knowledge and Data Engineering, vol. 22, no. 11, pp. 1563-1576, Nov. 2010, doi:10.1109/TKDE.2010.81
Usage of this product signifies your acceptance of the Terms of Use.