The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (2010 vol.22)
pp: 1563-1576
Marcelo Tallis , University of Southern California, Marina del Rey, CA
Robert M. Balzer , Teknowledge Corp, Palo Alto, CA
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.” 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.
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 & Data Engineering, vol.22, no. 11, pp. 1563-1576, November 2010, doi:10.1109/TKDE.2010.81
REFERENCES
[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.
14 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool