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.
Boehm B., Horowitz E., Madachy R., Reifer D., Clark B. K., Steece B., Winsor Brown A., Chulani S. and Abts C.2000Software Cost Estimation with COCOMO II. Upper Saddle River, NJ: Prentice Hall PTR.
Horrocks I., Patel-Schneider P. F., Boley H., Tabet S., Grosof B., and Dean M.2004SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission. Available at www.w3.org/Submission/SWRL/.
Kriwaszek F.1988 LogiCalc—A PROLOG Spreadsheet. In Michie D., Hayes J. and Richards J. (eds.), Machine Intelligence, 11 pp. 193–208, Oxford University Press, Inc.
McGuinness D. L. and van Harmelen F (ed.). 2004OWL Web Ontology Language Overview. W3C Recommendation 10 February 2004. Available at www.w3.org/TR/2004/REC-owl-features-20040210/.
Nuñez F.2000 An extended spreadsheet paradigm for data visualization systems and its implementation. Masters Thesis, Dept. of Computer Science, University of Cape Town.
Spenke M. and Beilken C.1989 A spreadsheet interface for logic programming. In Bice K. & Lewis C. (eds.), Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: Wings for the Mind, ACM Press, New York, NY, USA pp. 75–80.
Abstract: 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.
