XML, Stylesheets and the Re-mathematization of Formal Content
نویسندگان
چکیده
Irene Schena Department of Computer Science, University of Bologna Via di Mura Anteo Zamboni 7 40127 Bologna, Italy email [email protected] web http://www.cs.unibo.it/~schena ABSTRACT An important part of the descriptive power of mathematics derives from its ability to represent formal concepts in a highly evolved, twodimensional system of symbolic notations. Tools for the mechanisation of mathematics and the automation of formal reasoning must eventually face the problem of re-mathematization of the logical, symbolic content of the information, especially in view of their integration with the World Wide Web. In a different work [APSS00c ], we already discussed the pivotal role that XML (eXtensible Markup Language) technology [XML ] is likely to play in such an integration. In this paper, we focus on the problem of (Web) publishing, advocating the use of XSL (eXtensible Stylesheet Language) Transformations, in conjunction with MathML (Mathematical Markup Language), as a standard, application independent and modular way for associating notation to formal mathematical content.
منابع مشابه
HELM and the Semantic Math-Web
The eXtensible Markup Language (XML) opens the possibility to start anew, on a solid technological ground, the ambitious goal of developing a suitable technology for the creation and maintenance of a virtual, distributed, hypertextual library of formal mathematical knowledge. In particular, XML provides a central technology for storing, retrieving and processing mathematical documents, comprisi...
متن کاملTowards a Library of Formal Mathematics
The eXtensible Markup Language (XML) opens the possibility to start anew, on a solid technological ground, the ambitious goal of developing a suitable technology for the creation and maintenance of a virtual, distributed, hypertextual library of formal mathematical knowledge. In particular, XML provides a central technology for storing , retrieving and processing mathematical documents, compris...
متن کاملExtracting Output Schemas from XSLT Stylesheets and Their Possible Applications
XML is nowadays the dominant standard used for data representation and exchanging. XML documents can be transformed into different formats by using the transformation language XSLT. XSLT stylesheets can be designed to present and transform XML input data in one schema in XML output data according to other schema. In this paper we describe how to compute automatically an output XML data schema g...
متن کاملخوشهبندی فراابتکاری اسناد فارسی اِکساِماِل مبتنی بر شباهت ساختاری و محتوایی
Due to the increasing number of documents, XML, effectively organize these documents in order to retrieve useful information from them is essential. A possible solution is performed on the clustering of XML documents in order to discover knowledge. Clustering XML documents is a key issue of how to measure the similarity between XML documents. Conventional clustering of text documents using a do...
متن کامل