RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC2907,
    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}
    }