Validating Semistructured Data Using OWL

Abstract

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 paper 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.

Research into Verifying Semistructured Data

“…Section 4 summarizes the modelling of ORA-SS in OWL and PVS. More details of these models can be found in [1,2]. In Section 5 we analyze the two models.…”