AspertiPadovaniSacerdotiCoenSchena01A (In proceedings)
|
Author(s) | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena |
Title | « HELM and the Semantic Math-Web » |
In | Proceedings of the International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01) |
Series | LNCS |
Volume | 2152 |
Page(s) | 59-74 |
Year | 2001 |
Publisher | Springer |
URL | http://www.di.unito.it/~padovani/Papers/lncs_2152.pdf |
Abstract |
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, comprising sophisticated web-publishing mechanisms (stylesheets) covering notational and stylistic issues. By the application of XML technology to the large repositories of structured, content oriented information offered by Logical Frameworks we meet the ultimate goal of the Semantic Web, that is to allow machines the sharing and exploitation of knowledge in the Web way, i.e. without central authority, with few basic rules, in a scalable, adaptable, extensible manner. |
@inproceedings{AspertiPadovaniSacerdotiCoenSchena01A,
volume = {2152},
author = {Andrea Asperti and Luca Padovani and Claudio Sacerdoti Coen and
Irene Schena},
series = {LNCS},
booktitle = {Proceedings of the International Conference on Theorem Proving in
Higher Order Logics (TPHOLs'01)},
url = {http://www.di.unito.it/~padovani/Papers/lncs_2152.pdf},
abstract = { 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, comprising sophisticated web-publishing mechanisms
(stylesheets) covering notational and stylistic issues. By the
application of XML technology to the large repositories of
structured, content oriented information offered by Logical
Frameworks we meet the ultimate goal of the Semantic Web, that is
to allow machines the sharing and exploitation of knowledge in the
Web way, i.e. without central authority, with few basic rules, in
a scalable, adaptable, extensible manner. },
title = {{HELM and the Semantic Math-Web}},
publisher = {Springer},
year = {2001},
pages = {59-74},
doi = {10.1007/3-540-44755-5\_6},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)