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. Sissejuhatus ja ülevaade.

• 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. XML

3. RDF

• NB! Loe seda materjali: Ühe rdf tutoriali lisa: tabelid ja loogika