A Framework for Verifying Consistency of SQL-DB Ontology using Alloy

Abstract

Semantic Web is an extended form of World Wide Web in which efforts of Knowledge Engineers and Web Developers are combined to provide a semantic-rich web environment. Semantic Web application processes knowledge based on metadata of shared data sources available on Linked Open Data cloud. The ontology language plays vital role to provide metadata semantics in Semantic Web applications. The complexity of ontology varies with the use of concepts, relationships and constraints. Hierarchical related ontologies can counter with defined constraints at any level. Hence, verifying consistency and correctness of ontology relationships and constraints is necessary. The accessibility of data sources from RDBMS on Semantic Web applications requires verification of extracted OWL ontology. In this paper, we propose a framework with Alloy and Alloy Analyzer to verify OWL ontology of RDBMS data.