@proceedings {ABBF08, title = {Semantic Verification of Web System Contents}, journal = {ER 2008 Workshops (WISM 2008)}, volume = {5232}, year = {2008}, pages = {437{\textendash}446}, publisher = {Springer}, abstract = {In this paper, we present a rule-based specification language to define and automatically check semantic as well as syntactic constraints over the informative content of a Web system. The language is inspired by the GVERDI language and significantly extends it by integrating ontology reasoning into the specification rules and by adding new syntactic constructs. The resulting language increases the expressiveness of the original one and enables a more sophisticated treatment of the semantic information related to the contents of the Web system.}, keywords = {Description logic, OWL, Semantic Verification, Web Site Verification}, author = {Maria Alpuente and Michele Baggi and Demis Ballis and Moreno Falaschi} }