Skip to main content
Springer Nature Link
Log in

The MathServe System for Semantic Web Reasoning Services

  • Conference paper
Automated Reasoning (IJCAR 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4130))

Included in the following conference series:

  • 1090 Accesses

Abstract

In recent years, formal verification of hardware and software components has increasingly attracted interest from both academia and industry. The widespread use of automated reasoning techniques requires tools that are easy to use and support standardised protocols and data exchange formats. In [1] the first author presented the MathWeb Software Bus, a first step towards re-usable reasoning services. The MathWeb-SB had several drawbacks which limited its usability. For example, it had no service brokering capabilities and the user had to know exactly which reasoning system to use to solve a problem and how to access it.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Zimmer, J., Kohlhase, M.: System Description: The Mathweb Software Bus for Distributed Mathematical Reasoning. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol. 2392, pp. 139–143. Springer, Heidelberg (2002)

    Google Scholar 

  2. Martin, D., et al.: OWL-S: Semantic Markup for Web Services (2004), http://www.daml.org/services/owl-s/1.1/overview

  3. Schreiner, W., Caprotti, O.: The MathBroker Project (2001), http://poseidon.risc.uni-linz.ac.at:8080/mathbroker/

  4. Bechhofer, S., van Harmelen, F., Hendler, F.U.A.J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004), http://www.w3.org/TR/owl-ref/

  5. Sutcliffe, G.: The CADE-20 Automated Theorem Proving Competition. AI Communications (2006)

    Google Scholar 

  6. Zimmer, J., Meier, A., Sutcliffe, G., Zhang, Y.: Integrated Proof Transformation Services. In: Benzmüller, C., Windsteiger, W. (eds.) PROCof the Workshop on Computer-Supported Mathematical Theory Development, Cork, Ireland (2004)

    Google Scholar 

  7. Meier, A.: TRAMP: Transformation of Machine-Found Proofs into Natural Deduction Proofs at the Assertion Level. In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 460–464. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  8. Sutcliffe, G., Zimmer, J., Schulz, S.: Communication Fomalisms for Automated Theorem Proving Tools. In: Sorge, V., Colton, S., Fisher, M., Gow, J. (eds.) Proc. of the IJCAI 2003 Workshop on Agents and Automated Reasoning (2003)

    Google Scholar 

  9. Sutcliffe, G., Suttner, C.: Evaluating General Purpose Automated Theorem Proving Systems. Artificial Intelligence 131(1-2), 39–54 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  10. Veloso, M., et al.: Integrating Planning and Learning: The PRODIGY Architecture. Journal of Experimental and Theoretical Artificial Intelligence 7(1) (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FB Informatik, Universität des Saarlandes, D-66041, Saarbrücken, Germany

    Jürgen Zimmer & Serge Autexier

  2. DFKI, Stuhlsatzenhausweg 3, D-66123, Saarbrücken, Germany

    Serge Autexier

Authors
  1. Jürgen Zimmer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Serge Autexier
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Artificial Intelligence Research Group, University of Koblenz-Landau, Universitätsstr. 1, 56070, Koblenz

    Ulrich Furbach

  2. SRI International, MS EL256,, 333 Ravenswood Avenue, 94025-3493, Menlo Park, CA, USA

    Natarajan Shankar

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zimmer, J., Autexier, S. (2006). The MathServe System for Semantic Web Reasoning Services. In: Furbach, U., Shankar, N. (eds) Automated Reasoning. IJCAR 2006. Lecture Notes in Computer Science(), vol 4130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11814771_12

Download citation

  • DOI: https://doi.org/10.1007/11814771_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-37187-8

  • Online ISBN: 978-3-540-37188-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation