Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
T. Berners-Lee, J. Hendler, O. Lassila.The Semantic Web.Scientific American, May 2001.
D. Carlisle, J. Davenport, M. Dewar, N. Hur, W. Naylor.Conversion between MathML and OpenMath. Bath/NAG,2001.
O. Caprotti, D.P. Carlisle, A.M. Cohen.The OpenMath Standard.The Open Math Esprit Consortium,February 2000.
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.
B. Heumesser, D. Seipel, R. Schimkat, U.Güntzer.A Web-Information System for Retrieving and Reasoning about Xml-Based Mathematical Knowledge EICM-2002, http://www-db.informatik.uni-tuebingen.de/forschung/talk_eic.shtml.
E. Kamke.Differentialgleichungen-Lösungsmethoden und Lösungen.Akademische Verlagsgesellschaft,8th Edition,1967.
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.
M. Kohlhase. OMDoc:An Open Markup Format for Mathematical Documents. Technical Report,Department of Computer Science,Carnegie Mellon University, Pittsburgh,March 2002,http://www.cs.cmu.edu/~kolhase.
D. Seipel.Processing Xml-Documents in Prolog.Workshop on Logic Programming WLP’2002.
D. Suciu, S. Abiteboul, P. Bunemann.Data on the Web-From Relations to Semi-Structured Data and Xml.Morgan Kaufmann,2000.
Extensible Markup Language (Xml )1.0,World Wide Web Consortium,October 2000.http://www.w3.org/TR/2000/REC-xml-20001006.
Xhtml 2.0,World Wide Web Consortium,August 2002, http://www.w3.org/TR/2002/WD-xhtml2-20020805/.
Mathematical Markup Language (MathML )Version 2.0,World Wide Web Consortium,February 2001,http://www.w3.org/TR/MathML2/.
Xml Path Language (XPath ),World Wide Web Consortium,November 1999, http://www.w3.org/TR/xpath.
XSL Tranformations (Xslt ),World Wide Web Consortium,August 2002, http://www.w3.org/TR/xslt20/.
XQuery 1.0:An Xml Query Language,World Wide Web Consortium,August 2002,http://www.w3.org/TR/xquery.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heumesser, B.D., Seipel, D.A., Güntzer, U. (2003). An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds) Mathematical Knowledge Management. MKM 2003. Lecture Notes in Computer Science, vol 2594. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36469-2_11
Download citation
DOI: https://doi.org/10.1007/3-540-36469-2_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00568-1
Online ISBN: 978-3-540-36469-6
eBook Packages: Springer Book Archive