Ontologija (informatika)
Šį puslapį ar jo dalį reikia sutvarkyti pagal Enciklopedijos standartus. Jei galite, sutvarkykite; apie sutvarkymą galite pranešti specialiame Enciklopedijos projekte. |
Ontologija (Graikiškai ων „būtis“, λόγος „žodis“ ar „kalba“) — kompiuterijoje šiuo termino daugiskaitine forma ontologijos (skirtingai nuo filosofijoje – ontologija) vadinamas tam tikros srities sąvokų visumos specifikavimas išreikštu pavidalu (angl. explicit specification of a conceptualization: [4]).
Ontologijos apibrėžia nagrinėjimo srities:
- sąvokas, esybių (reiškinių, daiktų) tipus,
- sąvokų hierarchijas, esybių tipų tarpusavio sąryšius, priklausomybes,
- aksiomas, taisykles, dėsningumus apie esybių tipus ir sąryšius [nebūtina dedamoji],
- pavyzdinius atvejus [nebūtina dedamoji].
Pagal formalumą ontologijos skirstomos į:
- neformalias (pvz., terminų katalogai) ir
- formalias, kurios savo ruožtu būna:
- aksiomatizuotos (pvz.: formalios mokslų teorijos, taisyklių ir freimų rinkiniai ekspertinėse sistemose, duomenų bazių koncepcinių schemų specifikacijos),
- prototipais paremtos (terminologinės),
- mišrios.
Pagal išreiškimo galią ontologijos skirstomos į :
- „lengvasvores“ ontologijas (kurios išreiškia: sąvokas ir elementarius tipus, sąvokų hierarchiją, sąvokų sąryšius) ir
- „sunkiasvores“ ontologijas (kurios papildomai dar išreiškia ir: kardinalumo apribojimus, sąryšių klasifikaciją, galimybes manipuliuoti aksiomomis ir semantika, naudojant logikos formalizmus ir loginio išvedimo sistemas).
Pagal paskirtį ontologijos skirstomos į [3]:
- žinių vaizdavimo ontologijas;
- bendrąsias ontologijas, visuotinai naudojamų sąvokų ontologijas;
- aukščiausio lygio ontologijas, meta – ontologijas;
- lingvistines ontologijas;
- nagrinėjimo sričių ontologijas;
- užduočių ontologijas, metodų ontologijas, taikomųjų programų ontologijas;
- ir kt.
Kompiuterijoje naudojamų ontologijų ypatybės plačiau yra aptariamos [6] straipsnyje.
Vaizdavimas
Ontologijoms išreikšti gali būti naudojamos:
- formalios kalbos, pagrįstos pirmos eilės predikatų logika
- Ontolingua (Gruber, 1993)
- KIF (Genesereth, 1998)
- kalbos, pagrįstas semantiniais tinklais
- bazinė užrašymo forma SGML – remiasi Tarptautinės standartų organizacijos ir Tarptautinės elektrotechninės komisijos standartu „ISO/IEC 13250:2000 Topic Maps“ (ISO/IEC JTC 1 / SC34, 2000).
- HyTime 1 (1992) ir HyTime 2 (1997)
- XML, Xpointer, Xpath, Xlink (tiksliau atitinka TŽ standartą ISO/IEC 13250), XTM
- DAML (JAV), OIL (Europos sąjungos Informacinės visuomenės technologijų projekto On-To-Knowledge rezultatas, turi Freimų kalbos sintaksę, naudoja Deskriptyviąją logiką loginių samprotavimų realizavimui semantiniame tinkle ir yra suderinama su pasauliniu tinklu, nes yra RDF schemos antstatas)
Šaltiniai
- [3] A. Gómez–Pérez, V. R. Benjamins. Overview of knowledge sharing and reuse components: ontologies and problem – solving methods. Proceedings of the IJCAI–99 workshop on Ontologies and Problem–Solving Methods: Lessons Learned and Future Trends, Stockholm, Sweden. 1999, pp. 1–15. http://CEUR–WS.org/Vol–18/
- [4] T. R. Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 1993, Vol. 5, No. 2, pp. 1 99–220. http://www–ksl.stanford.edu/knowledge–sharing/README.html#ontolingua–intro
- [6] S. Maskeliunas. Ontological engineering: common approaches and visualisation capabilities. Informatica, 2000, Vol. 11, No. 1, pp. 41–48. http://www.vtex.lt/informatica/htm/INFO195.htm
Nuorodos
Ontologija informatikoje
- S. Maskeliūnas. Žinių vaizdavimo meta. ontologijos. Dokumento formatas: PDF
- Saulius Maskeliūnas. Nusakoma, kas yra ontologijos
- Maskeliūnas, S.: Ontologijų panaudojimas verslo ir informacinėms sistemoms intelektualizuoti Paskelbta: Informacinės technologijos 2003, Konferencijos pranešimų medžiaga. ISBN 9955-09-335-8. Kaunas: Kauno Technologijos Universitetas, 2003, pp. III-9 – III-15. (Ir CD „XXI Amžiaus informacinės technologijos“. ISBN 9955-09-336-6. Kaunas: KTU, 2003). PDF
- Maskeliūnas, S.: Modernių informacinių sistemų ontologijos ir paslaugų reikalavimų formulavimas. Paskelbta: Informacinės technologijos 2003, Konferencijos pranešimų medžiaga. ISBN 9955-09-335-8. Kaunas: Kauno technologijos universitetas, 2003, pp. III-1 – III-8. (Ir CD „XXI Amžiaus informacinės technologijos“. ISBN 9955-09-336-6. Kaunas: KTU, 2003). PDF
- Maskeliūnas, S.: Modernių informacinių sistemų ontologijos ir paslaugų reikalavimų formulavimas.
- Saulius Maskeliūnas. Ontologijų išreiškimo galimybės, naudojant Temų žemėlapiusDokumento formatas: Microsoft Word 97
- PROJEKTAS Ontologijos - kultūra - regionai …
|