Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel
| 36. rida: | 36. rida: | ||
;1. Loeng. Sissejuhatus ja ülevaade. | ;1. Loeng. Sissejuhatus ja ülevaade. RDFa ja sissejuhatus esimesse praktikumiülesandesse. | ||
: Aeg: 7. veebruar. | : Aeg: 7. veebruar. | ||
| 82. rida: | 81. rida: | ||
Edasiste loengute sisu ja edasiliikumise tempo täpsustub jooksvalt. | Edasiste loengute sisu ja edasiliikumise tempo täpsustub jooksvalt. | ||
== Praktikumiülesanded == | == Praktikumiülesanded == | ||
Redaktsioon: 12. veebruar 2007, kell 16:58
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 ja veel varasemad leiad siit.
Aeg, koht, tulemus
Semester: kevad
Tulemus: eksam
Punkte: 3.5
Loengud: Igal kolmapäeval kell 10.00-11.30 arvutuskeskuse ruumis IT-140.
Harjutused: igal kolmapäeval paaritutel nädalatel kell 12.00-13.30
Paaritud nädalad algavad: 1 veebruar, 12 veebruar, 26 veebruar jne
Harjutused annavad hinde aluseks olevatest punktidest kumbki 1/3, eksam samuti 1/3.
Kursuse eesmärk ja lühikokkuvõte
Kursuse fookus on loogikareeglitega seostatud andmebaaside ja semantilise webi tehnoloogiatel. Teemad:
- andmebaaside ja loogika seos
- rdf(s), owl jms semantilise veebi keeled, nende seos xml-i ja html-ga
- erinevate mittestandardsete loogikasüsteemide kasutamine
- konkreetsed, praktiliseks kasutuseks mõeldud reeglikeeled ja -mootorid
Kursuses toodavad probleemid, lahendusvariandid, süsteemid jms baseeruvad kahel konkreetsel valdkonnal:
- infovahetus robotiparvedes.
- andmete lugemine, automaatne täiendamine, päringud annoteeritud veebilehtedelt
Loengud
- 1. Loeng. Sissejuhatus ja ülevaade. RDFa ja sissejuhatus esimesse praktikumiülesandesse.
- Aeg: 7. veebruar.
- 2. Loeng. Hariliku relatsioonilise baasi semantika.
- Aeg: 14. veebruar.
- 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.
- 3. Andmete lugemine ja seostamine annoteeritud veebilehtedelt.
- 4. Erinevad 1st järku loogika süntaksid ja täiendused
- KIF, CL, restricted english jms.
- 5. Loeng. RDFS, OWL ja nende teisendus 1st järku loogikasse.
- 6. Mitu loengut
- roboti baasnäide, selle juures vajalikud andmed, reeglid, teisendused, keeled jne.
- 7. Mitu loengut
- reegleid kasutavate ja xml-rdf andmebaaside tehnoloogia küsimused.
Edasiste loengute sisu ja edasiliikumise tempo täpsustub jooksvalt.
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.
Soovitusi:
- Dijkstrasse sisselogimise õpetus (sqlite pole vaja installeerida!) on antud siin
- Elm keele kirjeldus on antud siin.
- C keelest tasutb kasutada " libxml2 teeki.
- Naiteprogramm, mis kasutab xpathi. Proovi näiteks:
./xpath2 'http://www.w3.org/TR/2004/REC-owl-guide-20040210/wine.rdf' '/rdf:RDF' minutekst
NB! RDFS ja XML teisendamine kasutab ainult väga piiratud osa elm keelest.
Teine praktiline töö
Tähtaeg: 10. mai.
Töö sisuks on realiseerida süsteem, mis kasutab esimeses töös realiseeritud komponente ja suudab vastata (sisseloetud fakte ja reegleid kasutades) kasutaja antud päringule.
Sisendiks on (striped) XML, RDF, RDFS ja ELM failid, mis tuleb enne tõestajale andmist teisendada ELM failideks ja siis üheks suureks failiks kokku konkateneerida.
Konkreetsemalt loe Teadmised praktikum 2 lehelt.