Rodyti trumpą aprašą

Correctness of the transformation: transformation of ontology axioms in formal rules

dc.contributor.authorVasilecas, Olegas
dc.contributor.authorKalibatienė, Diana
dc.date.accessioned2023-09-18T17:05:55Z
dc.date.available2023-09-18T17:05:55Z
dc.date.issued2007
dc.identifier.issn0132-2818
dc.identifier.other(BIS)VGT02-000016515
dc.identifier.urihttps://etalpykla.vilniustech.lt/handle/123456789/119496
dc.description.abstractIn this paper, authors emphasise on the correctness of the transformation. Therefore, types of correctness are analysed here. As a context of transformation, the transformation of PAL constraints in SQL rules is chosen for more details. Formal rules for the transformation of PAL constraints in SQL rules are presented in this paper also. And finally, the analysis of the proposed transformation is checked.eng
dc.description.abstractStraipsnyje yra nagrinėjamas transformacijų teisingumas. Todėl susijusių darbų apžvalgoje autoriai analizuoja teisingumo rūšis ir kaip jos yra tikrinamos. Detaliam nagrinėjimui yra pasirenkama PAL ribojimų transformacija į SQL taisykles (PAL ribojimų transformacija i SQL taisykles yra formaliai aprašoma). Ir galiausiai, yra nagrinėjamas pasiūlytos transformacijos teisingumas.lit
dc.format.extentp. 208-214
dc.format.mediumtekstas / txt
dc.language.isoeng
dc.relation.isreferencedbyVINITI
dc.titleCorrectness of the transformation: transformation of ontology axioms in formal rules
dc.title.alternativeTransformacijos teisingumas: ontologijos aksiomų transformacija į formalias taisykles
dc.typeStraipsnis kitame recenzuotame leidinyje / Article in other peer-reviewed source
dcterms.references17
dc.type.pubtypeS4 - Straipsnis kitame recenzuotame leidinyje / Article in other peer-reviewed publication
dc.contributor.institutionVilniaus Gedimino technikos universitetas
dc.contributor.facultyFundamentinių mokslų fakultetas / Faculty of Fundamental Sciences
dc.subject.researchfieldT 007 - Informatikos inžinerija / Informatics engineering
dc.subject.enCorrectness of the transformation
dc.subject.enOntology axioms
dc.subject.enFormal rules
dcterms.sourcetitleLietuvos matematikos rinkinys
dc.description.issuespec, nr
dc.description.volumeT. 47
dc.publisher.nameMatematikos ir informatikos institutas
dc.publisher.cityVilnius
dc.identifier.elaba3818720


Šio įrašo failai

FailaiDydisFormatasPeržiūra

Su šiuo įrašu susijusių failų nėra.

Šis įrašas yra šioje (-se) kolekcijoje (-ose)

Rodyti trumpą aprašą