Abstract
Xml has become a key language for information interchange and integration over the World Wide Web. Representing and storing mathematical achievements and knowledge in a self-describing, extensible and open manner facilitates Web information systems which simplify co-operation among mathematicians world wide.
In this paper, we describe a knowledge base management system for Xml-based mathematical knowledge. Our information system provides different types of information retrieval techniques. Digitally stored and edited mathematical knowledge can be accessed by applying a well-defined and structured access to the types and elements of Xml-documents.
The information system transforms Xml-based mathematical knowledge into a complex Prolog-structure called field notation, which serves as the basis for building a digital library of fine-grained mathematical objects. Based on the field notation we provide a powerful and flexible declarative query language in a logic programming environment.
This is a preview of subscription content, log in via an institution to check access.
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
Asperti, A., Wegner, B.: Mowgli – A New Approach for the Content Description in Digital Documents. In: Proceedings of the 9th Intl. Conference on Electronic Resources and the Social Role of Libraries in the Future, Section 4, vol. 1 (2002)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)
Caprotti, O., Carlisle, D.P., Cohen, A.M.: The OpenMath Standard. In: The Open- Math Esprit Consortium (February 2000)
Dalmas, S., Gaëtano, M., Huchet, C.: A Deductive Database for Mathematical Formulas. In: Limongelli, C., Calmet, J. (eds.) DISCO 1996. LNCS, vol. 1128. Springer, Heidelberg (1996)
Heumesser, B., Schimkat, R.: Deduction on Xml Documents: A Case Study. In: Proceedings of the 14th International Conference on Applications of Prolog INAP 2001 – Stream Content Management (2001)
Heumesser, B., Seipel, D., Güntzer, U.: 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.) MKM 2003. LNCS, vol. 2594, pp. 133–146. Springer, Heidelberg (2003) (to appear)
International Standards Organization: Information Processing – Text and Office Systems – Standard Generalized Markup Language (SGML). ISO 8879 (October 1986)
Kamke, E.: Differentialgleichungen – Lösungsmethoden und Lösungen, 8th edn, Akademische Verlagsgesellschaft, (1967)
Kohlhase, M., Franke, A.: MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. Journal of Symbolic Computation 32(4) (2001)
Lloyd, J.: Foundations of Logic Programming, 2nd edn. Spinger, Heidelberg (1987)
Seipel, D.: Processing Xml-Documents in Prolog. In: Workshop on Logic Programming WLP 2002 (2002)
Suciu, D., Abiteboul, S., Bunemann, P.: Data on the Web – From Relations to Semi-Structured Data and Xml. Morgan Kaufmann, San Francisco (2000)
Wielenmaker, J.: Swi-Prolog 5.0 Reference Manual, http://www.swi-prolog.org/
Extensible Markup Language (Xml) 1.0. World Wide Web Consortium (October 2000), http://www.w3.org/TR/2000/REC-xml-20001006
Extensible Stylesheet Language (Xsl). World Wide Web Consortium (October 2001), http://www.w3.org/TR/xsl/
Mathematical Markup Language (MathML) Version 2.0. World Wide Web Consortium (February 2001), http://www.w3.org/TR/MathML2/
Xhtml 2.0. World Wide Web Consortium (August 2002), http://www.w3.org/TR/2002/WD-xhtml2-20020805/
Xml Path Language (XPath). World Wide Web Consortium (November 1999), http://www.w3.org/TR/xpath
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., Schimkat, RD., Güntzer, U. (2003). An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge. In: Bai, F., Wegner, B. (eds) Electronic Information and Communication in Mathematics. ICM 2002. Lecture Notes in Computer Science, vol 2730. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45155-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-45155-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40689-1
Online ISBN: 978-3-540-45155-6
eBook Packages: Springer Book Archive