Semantic Querying of Mathematical Web Service Descriptions

Wolfgang Schreiner; Rebhi Baraka

doi:10.1007/11841197_5

Semantic Querying of Mathematical Web Service Descriptions

Wolfgang Schreiner
, Rebhi Baraka

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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.

Originalsprache	Englisch
Titel	Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria
Herausgeber*innen	M. Bravetti and M. Nunez and and Gianluigi Zavattaro
Verlag	Springer Verlag
Seiten	73-87
Seitenumfang	15
Band	LNCS
ISBN (Print)	3540388621, 9783540388623
DOIs	https://doi.org/10.1007/11841197_5
Publikationsstatus	Veröffentlicht - Aug. 2006

Publikationsreihe

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band	4184 LNCS
ISSN (Print)	0302-9743
ISSN (elektronisch)	1611-3349

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

Zugriff auf Dokument

10.1007/11841197_5

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Schreiner, W., & Baraka, R. (2006). Semantic Querying of Mathematical Web Service Descriptions. in M. Bravetti and M. Nunez and and Gianluigi Zavattaro (Hrsg.), Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria (Band LNCS, S. 73-87). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4184 LNCS). Springer Verlag. https://doi.org/10.1007/11841197_5

Schreiner, Wolfgang ; Baraka, Rebhi. / Semantic Querying of Mathematical Web Service Descriptions. Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria. Hrsg. / M. Bravetti and M. Nunez and and Gianluigi Zavattaro. Band LNCS Springer Verlag, 2006. S. 73-87 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

Schreiner, W & Baraka, R 2006, Semantic Querying of Mathematical Web Service Descriptions. in M. Bravetti and M. Nunez and and Gianluigi Zavattaro (Hrsg.), Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria. Bd. LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 4184 LNCS, Springer Verlag, S. 73-87. https://doi.org/10.1007/11841197_5

Semantic Querying of Mathematical Web Service Descriptions. / Schreiner, Wolfgang; Baraka, Rebhi.
Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria. Hrsg. / M. Bravetti and M. Nunez and and Gianluigi Zavattaro. Band LNCS Springer Verlag, 2006. S. 73-87 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4184 LNCS).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Semantic Querying of Mathematical Web Service Descriptions

AU - Schreiner, Wolfgang

AU - Baraka, Rebhi

PY - 2006/8

Y1 - 2006/8

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

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

UR - https://www.scopus.com/pages/publications/33845200308

U2 - 10.1007/11841197_5

DO - 10.1007/11841197_5

M3 - Conference proceedings

SN - 3540388621

SN - 9783540388623

VL - LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 73

EP - 87

BT - Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria

A2 - M. Bravetti and M. Nunez and and Gianluigi Zavattaro, null

PB - Springer Verlag

ER -

Schreiner W, Baraka R. Semantic Querying of Mathematical Web Service Descriptions. in M. Bravetti and M. Nunez and and Gianluigi Zavattaro, Hrsg., Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria. Band LNCS. Springer Verlag. 2006. S. 73-87. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11841197_5