A Functional Spreadsheet Framework for Authoring Logic Implication Rules

Authors:
Marcelo Tallis;Robert M. Balzer
Affiliations:
University of Southern California / Information Sciences Institute, Marina del Rey, U.S.A. CA 90292;Teknowledge Corp., Palo Alto, U.S.A. CA 94303
Venue:
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Year:
2008

Citing 7
Cited 0

A spreadsheet interface for logic programming

CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
An ethnographic study of distributed problem solving in spreadsheet development

CSCW '90 Proceedings of the 1990 ACM conference on Computer-supported cooperative work
Software Cost Estimation with Cocomo II with Cdrom

Software Cost Estimation with Cocomo II with Cdrom
A user-centred approach to functions in Excel

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Nexcel, a deductive spreadsheet

The Knowledge Engineering Review
Implementing logic spreadsheets in less

The Knowledge Engineering Review
Adding deductive logic to a cots spreadsheet

The Knowledge Engineering Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a functional spreadsheet 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 and integrated this framework into a deductive spreadsheet system that extends Microsoft Excel with the World Wide Web Consortium (W3C) standard ontology language OWL + SWRL.