Wolfgang Schreiner, Rebhi Baraka,
"Semantic Querying of Mathematical Web Service Descriptions"
, in M. Bravetti and M. Nunez and and Gianluigi Zavattaro: Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria, Serie Lecture Notes in Computer Science (LNCS), Vol. LNCS, Nummer 4184, Springer-Verlag, Seite(n) 73-87, 8-2006, ISBN: 3.-540-38862-1
Original Titel:
Semantic Querying of Mathematical Web Service Descriptions
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria
Original Kurzfassung:
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.
Forschungs-