{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T14:00:27Z","timestamp":1774533627006,"version":"3.50.1"},"reference-count":10,"publisher":"Maximum Academic Press","issue":"3","license":[{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2007,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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 \u2018look and feel\u2019. 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.<\/jats:p>","DOI":"10.1017\/s0269888907001166","type":"journal-article","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T10:57:11Z","timestamp":1194605831000},"page":"255-268","source":"Crossref","is-referenced-by-count":6,"title":["Adding deductive logic to a COTS spreadsheet"],"prefix":"10.48130","volume":"22","author":[{"given":"MARCELO","family":"TALLIS","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"RAND","family":"WALTZMAN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ROBERT","family":"BLAZER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2007,9,1]]},"reference":[{"key":"S0269888907001166_ref004","volume-title":"Machine Intelligence","volume":"11","author":"Kriwaszek","year":"1988"},{"key":"S0269888907001166_ref001","volume-title":"Software Cost Estimation with COCOMO II","author":"Boehm","year":"2000"},{"key":"S0269888907001166_ref006","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1020.001.0001","volume-title":"A Small Matter of Programming: Perspectives on End User Computing","author":"Nardi","year":"1993"},{"key":"S0269888907001166_ref008","unstructured":"RuleML Hompeage. Available at www.ruleml.org\/."},{"key":"S0269888907001166_ref003","unstructured":"KAON2\u2014Ontology Management for the Semantic Web. Project homepage. Available at www.kaon2.semanticweb.org\/"},{"key":"S0269888907001166_ref005","volume-title":"OWL Web Ontology Language Overview","author":"McGuinness","year":"2004"},{"key":"S0269888907001166_ref009","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: Wings for the Mind","author":"Spenke","year":"1989"},{"key":"S0269888907001166_ref007","unstructured":"Nu\u00f1ez F. 2000 An extended spreadsheet paradigm for data visualization systems and its implementation. Masters Thesis, Dept. of Computer Science, University of Cape Town."},{"key":"S0269888907001166_ref010","unstructured":"SweetRules Project Home Page. Available at www.sweetrules.projects.semwebcentral.org"},{"key":"S0269888907001166_ref002","volume-title":"SWRL: A Semantic Web Rule Language Combining OWL and RuleML","author":"Horrocks","year":"2004"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888907001166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:43:43Z","timestamp":1767624223000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888907001166\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["S0269888907001166"],"URL":"https:\/\/doi.org\/10.1017\/s0269888907001166","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"value":"0269-8889","type":"print"},{"value":"1469-8005","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}