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

Authors:
Bernd D. Heumesser;Dietmar Seipel;Ulrich Güntzer
Affiliations:
-;-;-
Venue:
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Year:
2003

Citing 3
Cited 0

Data on the Web: from relations to semistructured data and XML

Data on the Web: from relations to semistructured data and XML
MBase: representing knowledge and context for the intergration of mathematical software systems

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
A Deductive Database for Mathematical Formulas

DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems

Quantified Score

Hi-index	0.02

Visualization

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.