Semantic Verification of Web System Contents

  • María Alpuente
  • Michele Baggi
  • Demis Ballis
  • Moreno Falaschi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5232)


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.


Description Logic Regular Language Derivation Tree Ground Term Atomic Concept 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alpuente, M., Baggi, M., Ballis, D., Falaschi, M.: Semantic Verification of Web Systems. Technical Report, University of Udine, Italy (2008)Google Scholar
  2. 2.
    Alpuente, M., Ballis, D., Falaschi, M.: Automated Verification of Web Sites Using Partial Rewriting. Software Tools for Technology Transfer 8, 565–585 (2006)CrossRefGoogle Scholar
  3. 3.
    Calvanese, D., McGuinness, D., Nardi, D., Patel-Scheider, P., Baader, F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  4. 4.
    Ballis, D., García Vivó, J.: A Rule-based System for Web Site Verification. In: 1st Int’l Workshop on Automated Specification and Verification of Web Systems. Electronic Notes in Theoretical Computer Science, vol. 157(2), pp. 11–17. Elsevier, Amsterdam (2005)Google Scholar
  5. 5.
    Bechhofer, S.: The DIG Description Logic Interface: DIG/1.1. Technical report, University of Manchester, United Kingdom (2003)Google Scholar
  6. 6.
    Florido, M., Coelho, J.: VeriFlog: Constraint Logic Programming Applied to Verification of Website Content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) APWeb Workshops 2006. LNCS, vol. 3842, pp. 148–156. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Pierce, B., Hosoya, H.: Regular Expressions Pattern Matching for XML. In: 28th Annual Symposium on Principles of Programming Languages. ACM SIGPLAN Notices, vol. 36(3), pp. 67–80. ACM, New York (2001)Google Scholar
  8. 8.
    Ellmer, E., Emmerich, W., Finkelstein, A., Nentwich, C.: Flexible Consistency Checking. ACM Transaction on Software Engineering 12(1), 28–63 (2003)CrossRefGoogle Scholar
  9. 9.
    Klop, J.W.: Term Rewriting Systems. In: Handbook of Logic in Computer Science, vol. I, pp. 1–112. Oxford University Press, Oxford (1992)Google Scholar
  10. 10.
    World Wide Web Consortium (W3C). OWL Web Ontology Language Guide (2004),

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • María Alpuente
    • 1
  • Michele Baggi
    • 2
  • Demis Ballis
    • 3
  • Moreno Falaschi
    • 2
  1. 1.DSIC, Universidad Politécnica de ValenciaValenciaSpain
  2. 2.Dip. di Scienze Matematiche e InformaticheSienaItaly
  3. 3.Dip. Matematica e InformaticaUdineItaly

Personalised recommendations