Abstract
Maintaining contents of Web sites is an open and urgent problem on the current World Wide. Although many current tools deal with problems such as broken links and missing images, very few solutions exist for maintaining the contents of Web. We present a knowledge-based approach to the verification of Web-page contents . The user exploits semantic markup in Webpages to formulate rules and constraints that must hold on the information in a site. An inference engine subsequently uses these rules to categorise Web-pages in an ontology of pages, while the constraints are used to define categories of pages which contain errors. We have constructed WebMaster, a software tool for knowledge-based verification of Web-pages. WebMaster allows the user to define rules and constraints in a graphical format, and is then able to use these rules to detect outdated, inconsistent and incomplete information in Web-pages. In this paper, we describe the various options for semantic markup on the Web, we define a precise logical and graphical format for rules and constraints, and we report on our practical experiences with WebMaster.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benjamins, R., Fensel, D.: The ontological engineering initiative (KA)2. In: Guarino, N. (ed.) Proceedings of the International Conference on Formal Ontologies in Information Systems (FOIS 1998), Frontiers in Artificial Intelligence and Applications. IOS-Press, Amsterdam (1998)
Blazquez, M., Fernandez, M., Garcia-Pinar, J., Gomez-Perez, A.: Building ontologies at the knowledge level using the Ontology Design Environment. In: Proceedings of the Eleventh Workshop on Knowledge Acquisition for Knowledge-Based Systems (KAW 1998), Banff, Alberta (1998)
Brachman, R., McGuinness, D., Patel-Schneider, P., Alperin Resnick, L., Borgida, A.: Living with CLASSIC: When and how to use a KL-ONE-like language. In: Sowa, J. (ed.) Principles of Semantic Networks: Explorations in the representation of knowledge, pp. 401–456. Morgan Kaufman, San Francisco (1991)
Bray, T., Paoli, J., Sperberg-McQueen, C.: Extensible Markup Language (XML) 1.0. W3C Recommendation (February 1998), http://www.w3.org/TR/1998/REC-xml-19980210
Breiteneder, C., Hitz, M., Mueck, A.: Metadata mining in legacy data sets. In: First IEEE Metadata Conference (1996)
Clark, J., Deach, S.: Extensible Stylesheet Language (XSL) version 1.0. World Wide Web Consortium Working Draft (August 1998), http://www.w3.org/TR/WD-xsl
Crowder, G., Nicholas, C.: Using statistical properties of text to create metadata. In: First IEEE Metadata Conference (1996)
Deutsch, A., Fernandez, M., Florescu, D., Levy, A., Suciu, D.: XML-QL: A query language for XML. Submission to the W3C (August 1998), http://www.w3.org/TR/NOTE-xml-ql/
Wood, L., et al.: Document object model (DOM) level 1 specification version 1.0. W3C Recommendation (October 1998), http://www.w3.org/TR/REC-DOM-Level-l/
Etzioni, O.: Adaptive Web sites: an ai challenge. In: IJCAI 1997 (1997)
Fensel, D., Decker, S., Erdmann, M., Studer, R.: Ontobroker: The very high idea. In: Proceedings of the 11th International Flairs Conference, FLAIRS 1998 (1998)
Fernandez, M., Florescu, D., Levy, A., Suciu, D.: Web-site management: The Strudel approach. Data Engineering Bulletin 21(2), 14–20 (1998)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42 (1995)
Kushmerick, N., Weld, D., Doorenbos, R.: Wrapper induction for information extraction. In: IJCAI 1997 (1997)
Luke, S., Spector, L., Rager, D., Hendler, J.: Ontology-based Web agents. In: Proceedings of First International Conference on Autonomous Agents, AA 1997 (1997)
MacGregor, R.: A description classifier for the predicate calculus. In: AAAI 1994, pp. 213–220 (1994)
Maler, E., DeRose, S.: XML linking language (XLink). World Wide Web Consortium Working Draft (March 1998), http://www.w3.org/TR/1998/WD-xlink-19980303
Maler, E., DeRose, S.: XML pointer language (XPointer). World Wide Web Consortium Working Draft (March 1998), http://www.w3.org/TR/1998/WD-xptr-19980303
Rousset, M.-C.: Verifying the World Wide Web: a position statement. In: van Harmelen, F., van Thienen, J. (eds.) Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 1997 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Harmelen, F., van der Meer, J. (1999). WebMaster: Knowledge-Based Verification of Web-Pages. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds) Multiple Approaches to Intelligent Systems. IEA/AIE 1999. Lecture Notes in Computer Science(), vol 1611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48765-4_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-48765-4_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66076-7
Online ISBN: 978-3-540-48765-4
eBook Packages: Springer Book Archive