RE: [TF-TD] Functional Semantics

Hi Victor, Hello all!

Thanks for your input! It will be interesting to combine the best pieces from Hydra, this approach, and others :-)

>@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])?

We compared to Sciascio's group's work from 2013 [2] - while basing a system on OWL/DL is certainly more powerful (and, at times, more convenient...) than our approach, the main problem that I see with it is performance (this also ties back to Joerg's comments yesterday). In our system, we are already hitting boundaries with longer execution chains and ~500 available services, as Matthias explained yesterday... I wonder how much full-fledged OWL-based systems are able to do. (see also [3] for a discussion of performance issues when attempting on-line reasoning in IoT scenarios)

>Have you considered the case where a resource is associated to several rules?

Yes, this is crucial. For instance, in our current design, the robot exposes multiple different ways of how objects are transported (we disambiguate whether they have to be grabbed at their source location (or are already) and whether they have to be released at the destination.

>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?

Here you go: http://russet.ischool.berkeley.edu:8081/dquidROSmashup/ - you might find the HTTP requests a little weird since we're using an internal middleware, but the idea should be clear ;-)

Best wishes,
Simon

[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.

[2] Gramegna, Ieva, Loseto, Ruta, Scioscia, Sciascio. "A Lightweight Matchmaking Engine for the Semantic Web of Things" Proc SEBD (2013): 103-114

[3] Sheng, Qiao, Vasilakos, Szabo, Bourne, Xu. "Web services composition: A decade's overview" IS (2014) 280:219-238

This message and any attachments are solely for the use of intended recipients. The information contained herein may include trade secrets, protected health or personal information, privileged or otherwise confidential information. Unauthorized review, forwarding, printing, copying, distributing, or using such information is strictly prohibited and may be unlawful. If you are not an intended recipient, you are hereby notified that you received this email in error, and that any review, dissemination, distribution or copying of this email and any attachment is strictly prohibited. If you have received this email in error, please contact the sender and delete the message and any attachment from your system. Thank you for your cooperation