@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}
}
