@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} } @proceedings {BBF08, title = {XML Semantic Filtering via Ontology Reasoning}, journal = {3rd International Conference on Internet and Web Applications and Services, ICIW 2008}, year = {2008}, pages = {482{\textendash}487}, publisher = {IEEE Computer Society}, abstract = {In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well as to exclude useless and misleading contents from an XML document. Essentially, it combines ontology reasoning with an approximate pattern-matching engine which searches for patterns in a flexible way (i.e. modulo renaming, insertion, and deletion of XML items) and ranks the results w.r.t. their cost. The filtering process is guided by the syntax as well as the semantics of the XML documents, since it relies on both the document structure and the ontological information to which the document is related. Such information is retrieved by querying (possibly remote) ontology reasoners. Ontology reasoning capabilities are integrated into the filtering language via an adapted version of the DIG interface, which is a standard framework for describing description logic systems. Our extension to the DIG interface allows one to deal with non-ground ontology queries. }, keywords = {Approximate Filtering of XML, Description logic, DIG, OWL, PHIL, Semantic Filtering}, author = {Michele Baggi and Demis Ballis and Moreno Falaschi} }