Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
Thu 23 Oct 2014 16:15 - 16:37 at Salon A - Session the Third Chair(s): Shriram Krishnamurthi

This paper introduces the use of Description Logic as a programming language, giving: a logic with appropriate concept constructors and sentential forms; some example programs; requirements for the results of program execution; a tableau algorithm that provably produces the desired results; principles for discarding sentences once no longer needed so that algorithms with higher time complexity than space complexity can be implemented; a worked example of program execution; and a discussion of outstanding theoretical challenges.

Thu 23 Oct

15:30 - 17:00: Onward! Papers - Session the Third at Salon A
Chair(s): Shriram KrishnamurthiBrown University
onward2014-papers15:30 - 15:52
David UngarIBM Research, Harold OssherIBM Research, Doug KimelmanIBM Research
onward2014-papers15:52 - 16:15
Boris SpasojevicUniversity of Bern, Switzerland, Mircea LunguUniversity of Bern, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland
onward2014-papers16:15 - 16:37
James SkeneAuckland University of Technology
onward2014-papers16:37 - 17:00
Raphaël ProustUniversity of Cambridge, Alan MycroftUniversity of Cambridge