Using automated reasoning system for data model correctness analysis

Author

Kazi, Lj ; Kazi, Z. ; Radulovic, B. ; Letic, D.

Author_Institution

Tech. Fac. Mihajlo Pupin, Univ. of Novi Sad, Zrenjanin, Serbia

fYear

2010

fDate

10-11 Sept. 2010

Firstpage

563

Lastpage

568

Abstract

Data modeling is one of the most important activities in the process of information systems development which is based on domain knowledge in specific area. This paper presents a system for analyzing data model correctness from both syntax and semantic aspect. The system is based on using ontology for domain knowledge representation, transformation of data models and ontology to predicate logic form and their integration with data model quality rules. All components of the system are integrated by using XML form of their results. They create an input for an automated reasoning system, that provide answers regarding data model correctness.

Keywords

data models; inference mechanisms; information systems; ontologies (artificial intelligence); program verification; XML; automated reasoning system; data model correctness analysis; domain knowledge representation; information system development; knowledge ontology; predicate logic; semantic aspect; syntax aspect; Cognition; Data models; OWL; Object oriented modeling; Ontologies; Semantics; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Systems and Informatics (SISY), 2010 8th International Symposium on

Conference_Location

Subotica

Print_ISBN

978-1-4244-7394-6

Type

conf

DOI

10.1109/SISY.2010.5647141

Filename

5647141