Reasoning about ORA-SS data models using the semantic web

Li, Yan Fang, Dobbie, Gillian, Wang, Hai H. and Sun, Jun (2006) Reasoning about ORA-SS data models using the semantic web. Journal on Data Semantics VII, Lecture Notes in Computer Science 4244, 4244 219-241. doi:10.1007/11890591

Author Li, Yan Fang
Dobbie, Gillian
Wang, Hai H.
Sun, Jun
Title Reasoning about ORA-SS data models using the semantic web
Journal name Journal on Data Semantics VII, Lecture Notes in Computer Science 4244   Check publisher's open access policy
ISSN 0302-9743
ISBN 3540463291
Publication date 2006-11
Sub-type Article (original research)
DOI 10.1007/11890591
Volume 4244
Start page 219
End page 241
Total pages 23
Place of publication Heidelberg, Germany
Publisher Spinger
Language eng
Subject 080603 Conceptual Modelling
170203 Knowledge Representation and Machine Learning
Abstract There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of a good semistructured data model is essential. In the relational database community, algorithms have been defined to transform a relational schema from one normal form to a more suitable normal form. These algorithms have been shown to preserve certain semantics during the transformation. The work presented in this paper is the first step towards representing such algorithms for semistructured data, namely formally defining the semantics necessary for achieving this goal. 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 the ORA-SS notation into the Web Ontology Language (OWL) and automatically verifying the semistructured data design using the OWL reasoning tools. Our methodology provides automated consistency checking of an ORA-SS data model at both the schema and instance levels.
Keyword Semistructured data
Semantic web
OntologyWeb language
Formal verification
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Non-UQ

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Thu, 22 Jan 2009, 12:34:02 EST by Maryanne Watson on behalf of Library Corporate Services