Semantic Verification of Web System Contents

0
64

Authors: Demis Ballis, María Alpuente, Michele Baggi, Moreno Falaschi

Tags: 2008, conceptual modeling

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.

Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-540-87991-6_51