@inproceedings{a778e4a010254a0bb96ab126db5ff387,
title = "Semantic Querying of Mathematical Web Service Descriptions",
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.",
author = "Wolfgang Schreiner and Rebhi Baraka",
year = "2006",
month = aug,
doi = "10.1007/11841197\_5",
language = "English",
isbn = "3540388621",
volume = "LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "73--87",
editor = "\{M. Bravetti and M. Nunez and and Gianluigi Zavattaro\}",
booktitle = "Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria",
}