Teadmiste otsing, formaliseerimine ja hoidmine
Ainekood: ITV0060
Link: http://www.lambda.ee/index.php/Teadmiste_otsing,_formaliseerimine_ja_hoidmine ehk http://www.lambda.ee/index/itv0060
Lektor: Tanel Tammet
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223
Kursuse materjalid eelmisest aastast leiad siit.
Aeg, koht, tulemus
Semester: kevad
Tulemus: eksam
Punkte: 3.5
Loengud: Igal kolmapäeval kell 14.00-15.30, ruumis VI-122.
Harjutused: igal kolmapäeval paaritutel nädalatel kell 17.45-19.15, AK arvutiklassides IT-213d.
Paaritud nädalad algavad: 23 jaanuar, 6 veebruar, 20 veebruar, ...
NB! 23. jaanuaril harjutust ei toimu: toimub ainult loeng, kell 14.00-15.30.
Kursuse eesmärk ja lühikokkuvõte
Kursuse fookus on semantilise webi tehnoloogiatel, ning kursus jaotub kolme suurde ossa:
- Sem web baastehnoloogiad: andmete esitamise põhimõtted üldiselt, URL-kui-nimi, RDF, RDFS, OWL.
- Lisavõimalustega loogikad (mittemonotoonne loogika, teadmiste loogika, tõenöosuslik loogika jms), muud täendavad peatükid, konkreetsed rakenduslikud aspektid.
- Teksti-, RDF- ja XML-põhised viisid teadmiste baasdata hoidmisteks, indeksid, reeglite ja päringute kasutamine
Loengud
- 1. Loeng. Sissejuhatus ja ülevaade.
- Aeg: 25 jaanuar.
- Info harilikus relatsioonilises andmebaasis ja selle "harilik" tähendus
- Relatsioonilises andmebaasis oleva info "harilik" tähendus loogika mõttes.
- Keerukama info (disjunktsioonid, eitus, valemid) hoidmise viise relatsioonilises andmebaasis.
- 2. Loeng. XML
- Aeg: 1. veebruar.
- 3. Loeng. RDF.
- Aeg: 8. veebruar.
- Praktikum
- Aeg: 8. veebruar
Praktikumiülesanded
Praktilisi töid on kaks. Eksamile lubatakse ainult neid tudengeid, kes on mõlemad tööd realiseerinud. Hilinemine vähendab töö väärtust eksamil poole võrra. Töid võtab juhendaja vastu praktikumiaegadel AK arvutiklassis: need tuleb töötavana ette näidata, ning veidi selgitada lähtekoodi.
Töid võib teha kas üksi või kaheinimeselistes gruppides.
Esimene praktiline töö
Tähtaeg: 15 märts. Töö sisuks on realiseerida süsteem, mis suudab lugeda sisse
- nn. 'striped' XML-i ja teisendada seda XML süntaksis RDF-i.
- RDFS-i XML süntaksis (või selle mõistlikku alamhulka) ja teisendada loetud fail elm keeles olevasse faili, mida tõestaja elmgandalf suudab sisse lugeda. elmgandalfi pole antud töös esialgu vaja.
Elm keele kirjeldus on antud siin.
NB! RDFS ja XML teisendamine kasutab ainult väga piiratud osa elm keelest.
Teine praktiline töö
Tähtaeg: 1. mai.
Töö sisuks on realiseerida süsteem, mis kasutab esimeses töös realiseeritud komponente ja suudab:
- lugeda võrgust sisse metareeglite faili: millised teadmisbaasid kus URL-del on antud.
- lugeda kasutajalt päringut.
- analüüsida päringut metareeglite faili abil ja tuvastada, millistelt URL-delt tuleks datat ja reegleid just selle küsimuse jaoks kasutada.
- lugeda sisse eelmises punktis tuvastatud URL-del antud faktid ja reeglid.
- vastata (sisseloetud fakte ja reegleid kasutades) kasutaja antud päringule.
Detailsem info, vajalikud tõestajate versioonid ja täiendused antakse märtsikuus.