dc.contributor.author | Kalibatienė, Diana | |
dc.contributor.author | Vasilecas, Olegas | |
dc.date.accessioned | 2023-09-18T17:23:18Z | |
dc.date.available | 2023-09-18T17:23:18Z | |
dc.date.issued | 2008 | |
dc.identifier.other | (BIS)VGT02-000018400 | |
dc.identifier.uri | https://etalpykla.vilniustech.lt/handle/123456789/122690 | |
dc.description.abstract | Transformation rules can be defined in two ways – theoretical and empirical. A theoreticalbased definition of transformation is a formal way to prove and verify some theory. Therefore, it is precise, the likelihood of errors is reduced, it is easier to tell where it is wrong and correct it, and the quality of specification of the transformation can be improved. The disadvantage is the lack of knowledge about the theoretical-based approach. An empirical-based definition of transformation is informal and based on practice. Therefore, we can be sure that the transformation will work. However, sometimes it is impossible to verify some theory on practice or the cost of verification is too high. In this paper authors investigate the possibility of ontology axioms transformation to application domain rules using theoretical and empirical aspects. | eng |
dc.format.extent | p. 1 | |
dc.format.medium | tekstas / txt | |
dc.language.iso | eng | |
dc.title | Formal transformation of ontology axioms to application domain rules | |
dc.type | Straipsnis recenzuotame konferencijos darbų leidinyje / Paper published in peer-reviewed conference publication | |
dcterms.references | 24 | |
dc.type.pubtype | P1d - Straipsnis recenzuotame konferencijos darbų leidinyje / Article published in peer-reviewed conference proceedings | |
dc.contributor.institution | Vilniaus Gedimino technikos universitetas | |
dc.contributor.faculty | Fundamentinių mokslų fakultetas / Faculty of Fundamental Sciences | |
dc.subject.researchfield | T 007 - Informatikos inžinerija / Informatics engineering | |
dc.subject.en | Transformation | |
dc.subject.en | Ontology | |
dc.subject.en | Axiom | |
dc.subject.en | Rule | |
dcterms.sourcetitle | CompSysTech'08 : proceedings of the International Conference on Computer Systems and Technologies and workshop for PhD students in computing. Gabrovo, Bulgaria, 12-13 June 2008, held at the Technical University of Gabrovo, Bulgaria / State Agency for Information Technologies and Communications, Union of Automation and Informatics | |
dc.publisher.name | ACM-acmbul&UAI | |
dc.publisher.city | Gabrovo | |
dc.identifier.elaba | 3857347 | |