An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment

  • Bernd D. Heumesser
  • Dietmar A. Seipel
  • Ulrich Güntzer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2594)


In this paper,we describe techniques for querying and transforming XML -based mathematical knowledge. The XML-documents are transformed into an equivalent PROLOG-structure called field notation , which serves as our Document Object Model (DOM).

Based on the field notation we provide a powerful and flexible query language in a PROLOG-based logic programming environment enabling intelligent reasoning about the data. It also offers a method which allows for elegantly encoding transfomations on XML-documents,using a powerful substitution mechanism.

We are applying these techniques in an expert system for the classification and the retrieval of ordinary differential equations. The rule-based approach allows to provide a query and transformation language ,which can deal with different kinds of XML-based mathematical documents, such as documents in MATHML and in OPENMATH.


Expert System Erential Equation Mathematical Knowledge Logic Programming Query Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. Asperti, B. Wegner.Mowgli-A New Approach for the Content Description in Digital Documents.Proc. of the 9th Intl. Conference on Electronic Resources and the Social Role of Libraries in the Future,Section 4,Volume 1,2002.Google Scholar
  2. 2.
    T. Berners-Lee, J. Hendler, O. Lassila.The Semantic Web.Scientific American, May 2001.Google Scholar
  3. 3.
    D. Carlisle, J. Davenport, M. Dewar, N. Hur, W. Naylor.Conversion between MathML and OpenMath. Bath/NAG,2001.Google Scholar
  4. 4.
    O. Caprotti, D.P. Carlisle, A.M. Cohen.The OpenMath Standard.The Open Math Esprit Consortium,February 2000.Google Scholar
  5. 5.
    S. Dalmas, M. Gaëtano, C. Huchet.A Deductive Database for Mathematical Formulas In:J. Calmet, C. Limongelli (Eds.):Design and Implementation of Symbolic Computation Systems,Springer LNCS,1996.Google Scholar
  6. 6.
    B. Heumesser, D. Seipel, R. Schimkat, U.Güntzer.A Web-Information System for Retrieving and Reasoning about Xml-Based Mathematical Knowledge EICM-2002,
  7. 7.
    E. Kamke.Differentialgleichungen-Lösungsmethoden und Lösungen.Akademische Verlagsgesellschaft,8th Edition,1967.Google Scholar
  8. 8.
    M. Kohlhase, A. Franke.MBase:Representing Knowledge and Context for the Integration of Mathematical Software Systems.Journal of Symbolic Computation, Volume 32,Number 4,2001.Google Scholar
  9. 9.
    M. Kohlhase. OMDoc:An Open Markup Format for Mathematical Documents. Technical Report,Department of Computer Science,Carnegie Mellon University, Pittsburgh,March 2002, Scholar
  10. 10.
    D. Seipel.Processing Xml-Documents in Prolog.Workshop on Logic Programming WLP’2002.Google Scholar
  11. 11.
    D. Suciu, S. Abiteboul, P. Bunemann.Data on the Web-From Relations to Semi-Structured Data and Xml.Morgan Kaufmann,2000.Google Scholar
  12. 12.
    Extensible Markup Language (Xml )1.0,World Wide Web Consortium,October 2000.
  13. 13.
    Xhtml 2.0,World Wide Web Consortium,August 2002,
  14. 14.
    Mathematical Markup Language (MathML )Version 2.0,World Wide Web Consortium,February 2001,
  15. 15.
    Xml Path Language (XPath ),World Wide Web Consortium,November 1999,
  16. 16.
    XSL Tranformations (Xslt ),World Wide Web Consortium,August 2002,
  17. 17.
    XQuery 1.0:An Xml Query Language,World Wide Web Consortium,August 2002,

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Bernd D. Heumesser
    • 1
  • Dietmar A. Seipel
    • 2
  • Ulrich Güntzer
    • 1
  1. 1.University of Tübingen, Wilhelm-chickard Institute for Computer ScienceTübingenGermany
  2. 2.Department of Computer ScienceUniversity of WürzburgWürzburgGermany

Personalised recommendations