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
-
- NB! Loe seda materjali: Ühe rdf tutoriali lisa: tabelid ja loogika
- Praktikum