WebMaster: Knowledge-based verification of web-pages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1611, Issue , 1999, Pages 256-265

  van Harmelen, Frank ^a   van der Meer, Jos ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT SYSTEMS; INTELLIGENT SYSTEMS; SEMANTICS; VERIFICATION;

GRAPHICAL FORMAT; INCOMPLETE INFORMATION; KNOWLEDGE BASED; KNOWLEDGE-BASED APPROACH; PRACTICAL EXPERIENCE; SEMANTIC MARKUP; URGENT PROBLEMS;

WEBSITES;

EID: 84947765354     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48765-4_29     Document Type: Conference Paper

References (19)

1. 2. In N. Guarino, editor, Proceedings of the International Conference on Formal Ontologies in Information Systems (FOIS'98), Frontiers in Artificial Intelligence and Applications. IOS-Press, June 1998.
2. M. Blazquez, M. Fernandez, J. Garcia-Pinar, and A. Gomez-Perez. 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'98), Banff, Alberta, 1998.
3. R. Brachman, D. McGuinness, P. Patel-Schneider, L. Alperin Resnick, and A. Borgida. Living with CLASSIC: When and how to use a KL-ONE-like language. In J. Sowa, editor, Principles of Semantic Networks: Explorations in the representation of knowledge, pages 401-456. Morgan Kaufman, 1991.
4. T. Bray, J. Paoli, and C. Sperberg-McQueen. Extensible Markup Language (XML) 1. 0. W3C Recommendation, February 1998. http://www. w3. org/TR/1998/REC-xml-19980210.
5. C. Breiteneder, M. Hitz, and A. Mueck. Metadata mining in legacy data sets. In First IEEE Metadata Conference, 1996.
6. J. Clark and S. Deach. Extensible Stylesheet Language (XSL) version 1. 0. World Wide Web Consortium Working Draft, August 1998. http://www. w3. org/TR/WD-xsl.
7. G. Crowder and Ch. Nicholas. Using statistical properties of text to create metadata. In First IEEE Metadata Conference, 1996.
8. A. Deutsch, M. Fernandez, D. Florescu, A. Levy, and D. Suciu. XML-QL: A query language for XML. Submission to the W3C, August 1998. http://www. w3. org/TR/NoTE-xml-ql/.
9. L. Wood et al. Document object model (DOM) level 1 specification version 1. 0. W3C Recommendation, October 1998. http://www. w3. org/TR/REC-DOM-Level-1/.
10. O. Etzioni. Adaptive Web sites: an ai challenge. In IJCAI'97, 1997.
11. D. Fensel, S. Decker, M. Erdmann, and R. Studer. Ontobroker: The very high idea. In In Proceedings of the 11th International Flairs Conference (FLAIRS'98), 1998.
12. M. Fernandez, D. Florescu, A. Levy, and D. Suciu. Web-site management: The Strudel approach. Data Engineering Bulletin, 21(2): 14-20, 1998.
13. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42, 1995.
14. N. Kushmerick, D. Weld, and R. Doorenbos. Wrapper induction for information extraction. In IJCAI'97, 1997.
15. S. Luke, L. Spector, D. Rager, and J. Hendler. Ontology-based Web agents. In Proceedings of First International Conference on Autonomous Agents (AA'97), 1997.
16. R. MacGregor. A description classifier for the predicate calculus. In AAAI'94, pages 213-220, 1994.
17. E. Maler and S. DeRose. XML linking language (XLink). World Wide Web Consortium Working Draft, March 1998. http://www. w3. org/TR/1998/WD-xlink-19980303.
18. E. Maler and S. DeRose. XML pointer language (XPointer). World Wide Web Consortium Working Draft, March 1998. http://www. w3. org/TR/1998/WD-xptr-19980303.
19. M.-C. Rousset. Verifying the World Wide Web: a position statement. In F. van Harmelen and J. van Thienen, editors, Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'97), 1997.