SOA4All reuses LarKC Minimal Representation Formalism
(By Barry Bishop - STI Innsbruck)
The European Integrating project SOA4All [1] aims to provide the technology and tools to enable the ‘Web of services’ - service oriented architecture for all.
The Web Services Modelling Ontology (WSMO) [2] underpins these objectives and work is in progress to examine the tractability of reasoning with ‘billions’ of Web service annotations described using the Web Services Modelling Language (WSML) [3] variants.
Of particular interest to LarKC is the exploration of a new WSML variant with limited expressiveness and so improved reasoning characteristics. This new variant (WSML-Core–) will have the same expressiveness as the LarKC minimal representation formalism - which is a minimal level of expressiveness that all LarKC plug-ins are expected to understand.
By defining a WSML variant with this semantics, components developed in SOA4All should be able to reuse the LarKC platform and plug-ins directly, i.e. to facilitate reasoning with ‘zillions’ of Web service annotations.
[1] http://www.soa4all.eu
[1] http://www.wsmo.org/TR/d2/v1.3/
[2] http://www.wsmo.org/TR/d16/d16.1/v1.0/