Abstract | ||
---|---|---|
We present a methodology and a tool for suggesting repairs to web sites that violate some given requirements in the form of web rules expressed in (an extension of) a fragment of Excerpt. The methodology consists in translating these web rules into abductive logic programs with constraints and process these by means of an existing general-purpose proof procedure, called CIFF. The tool, that we call CIFFWEB, consists of CIFF as well as the translation from rules to programs and from web sites to a suitable logical format. The tool extends an existing tool for simply checking web sites against web rules. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1016/j.entcs.2009.03.009 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
abduction,abductive logic program,existing tool,web rule,web site,suitable logical format,web site repairing,existing general-purpose proof procedure,abductive logic programming | Data mining,Programming language,Computer science,Theoretical computer science,Web modeling,Proof procedure | Journal |
Volume | ISSN | Citations |
235, | Electronic Notes in Theoretical Computer Science | 3 |
PageRank | References | Authors |
0.38 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paolo Mancarella | 1 | 728 | 53.45 |
Giacomo Terreni | 2 | 80 | 4.28 |
Francesca Toni | 3 | 343 | 27.02 |