Transformation of declarative rules to formal rules using formal concepts

Jurkevičius, Darius; Vasilecas, Olegas

Use this url to cite publication: https://hdl.handle.net/20.500.14911/120914

Transformation of declarative rules to formal rules using formal concepts

Details

Publication Type (CRIS)

Straipsnis nerecenzuojamoje Lietuvos konferencijos medžiagoje / Article in non-peer-reviewed Lithuanian conference proceedings (P2c)

Publication Type (eLABa)

Straipsnis nerecenzuotame konferencijos darbų leidinyje / Article in an un-reviewed conference proceedings (P2)

Author(s)

Author	Affiliation
Jurkevičius, Darius	Informacinių sistemų katedra / Department of Information Systems (1046)
Vasilecas, Olegas	Taikomosios informatikos institutas / Institute of Applied Computer Science (1056)

Title

Transformation of declarative rules to formal rules using formal concepts

[en]

Darius Jurkevicius, Olegas Vasilecas

Title in other language

Deklaratyvių taisyklių transformacija į formalias, naudojant formalius konceptus

[lt]

Is part of

11-osios Lietuvos jaunųjų mokslininkų konferencijos „Mokslas – Lietuvos ateitis“ 2008 metų teminės konferencijos INFORMATIKA (2008 m. balandžio 9-11 d.) straipsnių rinkinys

Published In

Year	Start Page	End Page
2008	113	121

Publisher

Vilnius : Technika, 2008

Extent

p. 113-121

URI

URI	Access Rights
https://hdl.handle.net/20.500.14911/120914
Straipsnis	Viso teksto dokumentas (atviroji prieiga) / Full Text Document (Open Access)

Cited references

Science / Art Area

Technologijos mokslai / Technological sciences (T)

Field of Science / Art

Informatikos inžinerija / Informatics engineering (T007)

Abstract (lt)

Rules are a part of modern information systems. Rules that define or constrain some of the aspects in the application domain are usually written in a declarative form. However, to apply rules in the information system, we need to use formal rules. The article describes the method that allows transforming declarative rules into formal rules. Formal concepts describing rules used in written rules were used for transformation. The suggested model allows input and transforming a rule simply without having any specific skills.

Abstract (en)

Šiuolaikiniuose informacinėse sistemose dažnai naudojamos taisyklės. Taisyklės, kurios apibrėžia ar apriboja tam tikrus dalykinės srities veiklos aspektus, neretai užrašomos deklaratyvia forma. Straipsnyje siūlomas metodas, kuris leidžia deklaratyviai užrašytas taisykles transformuoti į formaliai užrašytas taisykles. Šiam tikslui pasiekti naudojami formalūs konceptai, kurie aprašo terminus bei išraiškas, iš kurių yra sudarytos taisyklės. Siulomas metodas leidžia paprastai, neturint specialių įgudžių, įvesti ir transformuoti taisyklę.