[TF-TD] Functional Semantics

Yesterday (or some hours ago, depending on the point of view), we had a presentation about functional semantics and reasoning-based Web services composition (the initial project is called RESTdesc, right?). There were several questions, notably about the necessary trade-off between efficient reasoning and modelling complexity.

@Simon, @Matthias: if I'm right, the reasoned you used is EYE, a Prolog-based reasoner. It may be interesting to includeOWL/Description Logic features to facilitate modelling. Have you ever compared your system to OWL/DL-based Web service composition (like [1])?

Moreover, in your heater example, the device seems to have one resource and one rule associated to it. Have you considered the case where a resource is associated to several rules? And just to have an idea of the interplay between functional semantics and other thing description elements, could you give us the resources (or actions, whatever) attached to the heater, the fan and the robot in your demo?

Thanks.

[1] Noia, Tommaso Di, Eugenio Di Sciascio, and Francesco M. Donini. "Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach." Journal of Artificial Intelligence Research 29 (2007): 307.

Best regards,
Victor Charpenay

Siemens AG
Corporate Technology
Research and Technology Center
CT RTC NEC ITH-DE
Otto-Hahn-Ring 6
81739 München, Deutschland
mailto:victor.charpenay@siemens.com

Siemens Aktiengesellschaft: Vorsitzender des Aufsichtsrats: Gerhard Cromme; Vorstand: Joe Kaeser, Vorsitzender; Roland Busch, Lisa Davis, Klaus Helmrich, Janina Kugel, Siegfried Russwurm, Ralf P. Thomas; Sitz der Gesellschaft: Berlin und München, Deutschland; Registergericht: Berlin Charlottenburg, HRB 12300, München, HRB 6684; WEEE-Reg.-Nr. DE 23691322