VeriFLog: a constraint logic programming approach to verification of website content

Authors:
Jorge Coelho;Mário Florido
Affiliations:
Instituto Superior de Engenharia do Porto & LIACC, Porto, Portugal;University of Porto, DCC-FC & LIACC, Porto, Portugal
Venue:
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Year:
2006

Citing 6
Cited 7

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
WebMaster: knowledge-based verification of Web-pages

IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Computing simulations on finite and infinite graphs

FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
Practical semantic analysis of web sites and documents

Proceedings of the 13th international conference on World Wide Web

XCentric: logic programming for XML processing

Proceedings of the 9th annual ACM international workshop on Web information and data management
Flat matching

Journal of Symbolic Computation
Semantic Verification of Web System Contents

ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
An Ontology-based System for Semantic Filtering of XML Data

Electronic Notes in Theoretical Computer Science (ENTCS)
On the relation between Context and Sequence Unification

Journal of Symbolic Computation
Sequence unification through currying

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Sequence disunification and its application in collaborative schema construction

WISE'07 Proceedings of the 2007 international conference on Web information systems engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.