Practical semantic analysis of Web sites and documents

Thirteenth International World Wide Web Conference Proceedings, WWW2004

Volumn , Issue , 2004, Pages 685-693

  Despeyroux, Thierry ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

Consistency; Content management; Formal semantics; Information system; Knowledge management; Logic programming; Quality; Web engineering; Web site evolution; Web sites; XML

Indexed keywords

INFORMATION RETRIEVAL SYSTEMS; KNOWLEDGE ACQUISITION; LOGIC PROGRAMMING; PARALLEL PROCESSING SYSTEMS; SEMANTICS; XML;

CONSISTENCY; CONTENT MANAGEMENT; FORMAL SEMANTICS; INFORMATION SYSTEM; KNOWLEDGE MANAGEMENT; QUALITY; WEB ENGINEERING; WEB SITE EVALUATION;

WEBSITES;

EID: 19944400805     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/988672.988766     Document Type: Conference Paper

References (21)

1. T. Berners-Lee. A Road Map to the Semantic Web, September 1998. W3C http://www.w3.org/DesignIssues/Semantic.html.
2. T. Berners-Lee. Ideas about web architecture - yet another notation notation 3, 2001. W3C http://www.w3.org/DesignIssues/Notation3.html.
3. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. In Scientific American, May 2001.
4. T. Despeyroux. Executable Specification of Static Semantics. In Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, June 1987.
5. T. Despeyroux and B. Trousse. Semantic verification of web sites using natural semantics. In RIAO 2000, 6th Conference on "Content-Based Multimedia Information Access", College de France, Paris, France, April 2000.
6. T. Despeyroux and B. Trousse. Maintaining semantic constraints in web sites. In AACE WebNet 2001 Conference, Orlando, Florida, October 2001.
7. D. Fensel, J. Angele, S. Decker, M. Erdmann, H.-P. Schnurr, R. Studer, and A. Witt. On2broker: Lessons Learned from Applying AI to the Web. Technical report, Institute AIFB, 1998.
8. D. Fensel, R. Decker, M. Erdman, and R. Studer. Ontobroker: the Very High Idea. In Proceedings of the 11th International FLAIRS Conference (FLAIRS-98), May 1998.
9. M. F. Fernandez, D. Florescu, A. Y. Levy, and D. Suciu. Verifying integrity constraints on web sites. In IJCAI, pages 614-619, 1999.
10. C. A. Gunter. Semantics of Programming Languages. MIT Press, 1992.
11. H. Hosoya and B. Pierce. Xduce: A typed xml processing language. In Proceedings of Third International Workshop on the Web and Databases, May 2000.
12. G. Kahn. Natural Semantics. In Proceedings of the Symp. on Theorical Aspects of Computer Science, TACS, Passau, Germany, 1987. LNCS 247, Springer-Verlag, Berlin, also Inria Research Report 601, February 1987.
13. E. Meijer and M. Shields. XMλ: A functional programming language for constructing and manipulating xml document, 1999. Draft, http://www.cse.ogi.edu/mbs/pub/xmlambda/.
14. J. Peer. A logic programming approach to RDF document and query transformation. In Workshop on Knowledge Transformation for the Semantic Web at the 15th European Conference on Artificial Intelligence, Lyon, France, 2002.
15. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, 1981.
16. R. M. Stallman and R. McGrath. GNU Make: A Program for Directing Recompilation, for Version 3.79. Free Software Foundation, 675 Mass Ave., Cambridge, MA 02139, USA, Tel: (617) 876-3296, USA, 2000.
17. E. Szabo. The Collected Papers of Gerhard Gentzen. North-Holland, Amsterdam, 1969.
18. F. van Harmelen and D. Fensel. Practical Knowledge Representation for the Web. In D. Fensel, editor, Proceedings of the IJCAI'99 Workshop on Intelligent Information Integration, 1999.
19. F. van Harmelen and J. van der Meer. Webmaster: Knowledge-based Verification of Web-pages. In Twelfth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE'99, 1999.
20. W3C. Xml, xsl, xml schema and rdf recommendations or submissions. W3C http://www.w3.org/.
21. W3C. Daml+oil (march 2001) reference description, 2001. W3C http://www.w3.org/TR/daml+oil-reference.