Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/10527| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kazi, Ljubica | en |
| dc.contributor.author | Kazi, Zoltan | en |
| dc.contributor.author | Radulovic B. | en |
| dc.contributor.author | Letic D. | en |
| dc.date.accessioned | 2020-03-03T14:40:06Z | - |
| dc.date.available | 2020-03-03T14:40:06Z | - |
| dc.date.issued | 2010-12-30 | en |
| dc.identifier.isbn | 9781424473946 | en |
| dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/10527 | - |
| dc.description.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. ©2010 IEEE. | en |
| dc.relation.ispartof | SIISY 2010 - 8th IEEE International Symposium on Intelligent Systems and Informatics | en |
| dc.title | Using automated reasoning system for data model correctness analysis | en |
| dc.type | Conference Paper | en |
| dc.identifier.doi | 10.1109/SISY.2010.5647141 | en |
| dc.identifier.scopus | 2-s2.0-78650563465 | en |
| dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/78650563465 | en |
| dc.relation.lastpage | 568 | en |
| dc.relation.firstpage | 563 | en |
| item.grantfulltext | none | - |
| item.fulltext | No Fulltext | - |
| crisitem.author.dept | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu, Katedra za informacione tehnologije | - |
| crisitem.author.dept | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu, Katedra za informacione tehnologije | - |
| crisitem.author.orcid | 0000-0001-6620-6384 | - |
| crisitem.author.parentorg | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu | - |
| crisitem.author.parentorg | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu | - |
| Appears in Collections: | TFZR Publikacije/Publications | |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.