| Studiju veids |
bakalaura akadēmiskās studijas |
| Studiju programmas nosaukums |
Datorsistēmas |
| Nosaukums |
Secināšanas mehānismu ontoloģijās salīdzinājums |
| Nosaukums angļu valodā |
Comparison of Reasoning Mechanisms in Ontologies |
| Struktūrvienība |
12300 Lietišķo datorsistēmu institūts |
| Darba vadītājs |
V.Graudiņa, LDI pētniece |
| Recenzents |
|
| Anotācija |
Bakalaura darbā ir pētīti secināšanas mehānismi ontoloģijās un to atkarība no ontoloģijas zināšanu atspoguļošanai izvēlētās loģikas. Darbs satur pētījumu par to, kas ir ontoloģijas, kā atspoguļot ontoloģijas zināšanas ar aprakstošo loģiku un loģisko programmēšanu, kādus algoritmus katra loģika izmanto secināšanai, kādas ir būtiskas atšķirības starp šīm divām loģikām un kā kombinēt loģikas vienā ontoloģijā.
Aprakstošā loģika un loģiskā programmēšana ir salīdzinātas ar praktiskiem piemēriem OWL DL un PROLOG valodās, parādot gadījumus, kuros ir redzamas katras loģikas priekšrocības un trūkumi. Praktiski ir arī parādīts, kā kombinēt divas loģikas, pievienojot SWRL likumus ontoloģijai OWL DL valodā.
Darba pamattekstā ir 55 lappuses, 28 attēli, 6 tabulas, 25 nosaukumu informācijas avoti, darbam ir pievienoti 2 pielikumi. |
| Atslēgas vārdi |
ONTOLOĢIJA, SECINĀŠANA, APRAKSTOŠĀ LOĢIKA, LOĢISKĀ PROGRAMMĒŠANA |
| Atslēgas vārdi angļu valodā |
ONTOLOGY, REASONING, DESCRIPTION LOGIC, LOGIC PROGRAMMING |
| Valoda |
lv |
| Gads |
2011 |
| Darba augšupielādes datums un laiks |
08.06.2011 10:52:47 |
