Validating Semistructured Data

Speaker:	Dr Gillian DOBBIE
		Associate Professor of Department of Computer Science
		Director of the Software Engineering Programme
		University of Auckland, New Zealand

Title:		"Validating Semistructured Data"

Date:		Friday, 16 June 2006

Time:		11:00am - 12 noon

Venue:		Lecture Theatre H
		(Chen Kuan Cheng Forum, near lift nos. 27/28)
		HKUST

ABSTRACT:

Semistructured data has become prevalent in both web applications and
database systems. This rapid growth in use makes the design of good
semistructured data essential. Formal semantics and automated reasoning
tools enable us to reveal the inconsistencies in a semistructured data
model and its instances.

The Object Relationship Attribute model for Semistructured data (ORA-SS)
is a graphical notation for designing and representing semistructured
data. This seminar presents a methodology of encoding the semantics of
ORA-SS in the Web Ontology Language (OWL) and automatically validating the
semistructured data design using the OWL reasoning tool - RACER. Our
methodology provides automated consistency checking of an ORA-SS data
model at both the schema and instance levels.


***********************
Biography:

Dr Gillian DOBBIE is currently an Associate Professor in the Department of
Computer Science at the University of Auckland, New Zealand, and Director
of the Software Engineering Programme. She has lectured at Massey
University, the University of Melbourne, and Victoria University of
Wellington, and held visiting research positions at Griffith University
and the National University of Singapore. Her research interests include
software engineering, formal foundations for databases, object oriented
databases, semistructured databases, logic and databases, data
warehousing, data mining, access control, e-commerce and data modeling