author = {Rebhi Baraka and Wolfgang Schreiner},
title = {{Semantic Querying of Mathematical Web Service Descriptions}},
booktitle = {{Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria}},
language = {english},
abstract = {This paper describes a semantic extension to the Mathematical Services Query Language (MSQL). MSQL is a language for querying registry-published mathematical Web service descriptions expressed in the Mathematical Services Description Language (MSDL). The semantic extension allows queries in MSQL to be based on the underlying semantics of service descriptions; the MSQL engine processes these queries with the help of an automated reasoner.},
series = {Lecture Notes in Computer Science},
volume = {LNCS},
number = {4184},
pages = {73--87},
publisher = {Springer-Verlag},
address = {Berlin Heidelberg},
isbn_issn = {3-540-38862-1},
year = {2006},
month = {September 8-9},
editor = {M. Bravetti and M. Nunez and and Gianluigi Zavattaro},
refereed = {yes},
length = {15}