Semantic Verification of Web Sites Using Natural Semantics (2000)
| Venue: | PROCEEDINGS OF THE 6TH RIAO CONFERENCE - CONTENT-BASED MULTIMEDIA INFORMATION ACCESS |
| Citations: | 8 - 1 self |
BibTeX
@INPROCEEDINGS{Despeyroux00semanticverification,
author = {Thierry Despeyroux and Brigitte Trousse},
title = { Semantic Verification of Web Sites Using Natural Semantics},
booktitle = { PROCEEDINGS OF THE 6TH RIAO CONFERENCE - CONTENT-BASED MULTIMEDIA INFORMATION ACCESS},
year = {2000},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The huge amount of information and knowledge available on the Web leads to the fact that it is more and more difficult to manage this information. Two different ways are commonly explored: giving a syntactical structure to Web sites, and annotating their content to facilitate Web mining. In this paper we explore a different approach inherited from software engineering: specifying the semantics of Web sites, allowing semantic verifications that will help both the conception and the maintenance of Web sites. To achieve this goal, we have experimented with the application of Natural Semantics (traditionally used to specify the semantics of programming languages) to Web sites specification and verification.
