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 programm...
详细信息
ISBN:
(纸本)9783540888079
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 logicimplicationrules. 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.
暂无评论