VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content

Web site semantic content verification can be a tedious and error prone task. In this paper we propose a framework for syntactic validation and semantic verification based on the logic programming language XCentric. The high declarative model of this language based on a new unification algorithm along with an interface to semistructured data provides an elegant framework for semantic error detection. The result is an easy to follow model to improve website quality and management.

[1]  Thierry Despeyroux,et al.  Practical semantic analysis of web sites and documents , 2004, WWW '04.

[2]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[3]  Temur Kutsia.  Context Sequence Matching for XML , 2006, Electron. Notes Theor. Comput. Sci..

[4]  Temur Kutsia,et al.  Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms , 2002, AISC.

[5]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[6]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[7]  María Alpuente,et al.  A Rewriting-based Framework for Web Sites Verification , 2005, Electron. Notes Theor. Comput. Sci..

[8]  François Bry,et al.  Towards a Declarative Query and TransformationLanguage for XML and Semistructured Data:Simulation Unification , 2002 .

[9]  François Bry,et al.  Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification , 2002, ICLP.

[10]  Robert Meersman,et al.  On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE , 2004, Lecture Notes in Computer Science.

[11]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[12]  Mário Florido,et al.  CLP(Flex): Constraint Logic Programming Applied to XML Processing , 2004, CoopIS/DOA/ODBASE.

[13]  Thomas A. Henzinger,et al.  Computing simulations on finite and infinite graphs , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[14]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[15]  Conor Ryan,et al.  Artificial Intelligence and Cognitive Science , 2002, Lecture Notes in Computer Science.

[16]  Moonis Ali,et al.  Multiple Approaches to Intelligent Systems , 1999, Lecture Notes in Computer Science.

[17]  Frank van Harmelen,et al.  WebMaster: Knowledge-Based Verification of Web-Pages , 1999, IEA/AIE.