Itv0060 2008 arhiiv
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 eelmistest aastatest: itv0060 2008 arhiiv, itv0060 2007 arhiiv, itv0060 2006 arhiiv, [http:/cs.ttu.ee/kursused/wav4130/ veel varasemad].
Sisukord
- 1 Aeg, koht, tulemus
- 2 Eksam
- 2.1 RDF, RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid.
- 2.2 RDFa, andmete lugemine ja seostamine annoteeritud veebilehtedelt
- 2.3 Hariliku relatsioonilise baasi semantika
- 2.4 Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus
- 2.5 Erinevad 1st järku loogika süntaksid ja täiendused: KIF, CL, restricted english jms
- 2.6 Materjale täisteksti indeksite kohta
- 2.7 Materjale andmebaasides kasutatavate indeksite kohta
- 2.8 Materjale termide indekseerimise kohta
- 3 Kursuse eesmärk ja lühikokkuvõte
- 4 Praktikumiülesanded
- 5 Loengud ja harjutustunnid
- 6 Materjalid
- 6.1 RDFa, andmete lugemine ja seostamine annoteeritud veebilehtedelt
- 6.2 Hariliku relatsioonilise baasi semantika
- 6.3 Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus
- 6.4 Erinevad 1st järku loogika süntaksid ja täiendused: KIF, CL, restricted english jms
- 6.5 Reeglimootorid, teisendajad, vahetükid andmebaasidele.
- 6.6 RDF, RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid.
- 6.7 Materjale täisteksti indeksite kohta
- 6.8 Materjale termide indekseerimise kohta
- 6.9 Materjale teadmiste loogika kohta
- 6.10 Abimaterjalid disjunktide kujule viimiseks
Aeg, koht, tulemus
Semester: kevad
Tulemus: eksam
Punkte: 3.5
NB! kuuenda veebruari loeng/praktikum lükkub edasi: lektor on prantsusmaal.
Loengud: Igal kolmapäeval kell 16.00 arvutuskeskuse ruumis IT-137a.
Harjutused: igal kolmapäeval paaritutel nädalatel kell 17.45 arvutiklassis IT 213h
Praktikumid: igal kolmapäeval paarisnädalatel kell 17.45 arvutiklassis IT 213h
Praktikumid annavad hinde aluseks olevatest punktidest kokku 2/3, eksam samuti 1/3.
Eksam
Eksamiajad (kaks varianti, teine ei ole järeleksam):
- 27 mai kell 9-12 ruumis I-202 (aula taga)
- 3 juuni kell 9-12 ruumis I-202 (aula taga)
Praktikumid annavad hinde aluseks olevatest punktidest kumbki 1/2, eksam samuti 1/2.
Siin nüüd ITV0060 eksamitulemused 2008 kevad.
Eksami jaoks vajalikud materjalid:
RDF, RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid.
Vaja on teada olulisemaid osi:
RDFa, andmete lugemine ja seostamine annoteeritud veebilehtedelt
Vaja on teada olulisemaid osi:
- Media:portaalidekoosvoime.ppt või pdf kujul Media:portaalidekoosvoime.pdf
- http://www.w3.org/TR/xhtml-rdfa-primer/ või uuem http://www.w3.org/2006/07/SWD/RDFa/primer/
- http://www.w3.org/2006/07/SWD/RDFa/syntax/
- http://www.microformats.org
Hariliku relatsioonilise baasi semantika
Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus
- Sissejuhatus: http://www.cs.miami.edu/~geoff/Courses/CS63S-05M/CS63SNotes.pdf
- Alternatiivne sissejuhatus: Simon Coltoni kursuse materjalid http://wwwhomes.doc.ic.ac.uk/~sgc/teaching/v231/
Erinevad 1st järku loogika süntaksid ja täiendused: KIF, CL, restricted english jms
Materjale täisteksti indeksite kohta
- Taust: stringiotsing: Boyer-Moore, vt http://en.wikipedia.org/wiki/Boyer-Moore
Materjale andmebaasides kasutatavate indeksite kohta
- http://infolab.stanford.edu/~hector/cs245/Notes04.ppt
- http://infolab.stanford.edu/~hector/cs245/Notes05.ppt
Materjale termide indekseerimise kohta
- McCune artikkel
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
Praktikumiülesanded
Praktilisi töid on kolm. Eksamile lubatakse ainult neid tudengeid, kes on kõik 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: 14 märts. Soovitav teha varem.
Töö sisuks on realiseerida süsteem, mis suudab lugeda sisse RDFa standardi põhiosade järgi annoteeritud html-i ja teisendada seda rdf kolmikuteks. Näitelehtede tegemine on ülesande üks osa: selleks tuleb valida vähemalt kolm erinevat reaalset veebilehte ja need (vähemalt osaliselt) ära annoteerida. Rdf kolmikute süntaks on csv.
Loe:
- Media:portaalidekoosvoime.ppt või pdf kujul Media:portaalidekoosvoime.pdf
- http://www.w3.org/TR/xhtml-rdfa-primer/ või uuem http://www.w3.org/2006/07/SWD/RDFa/primer/
- http://www.w3.org/2006/07/SWD/RDFa/syntax/
Vaata ka rdfa esimese praksi soovitusi.
Teine praktiline töö
Teise praktilise töö sisuks on esimesele praktilisele tööle täiendavalt reeegli- ja päringusüsteemi ehitamine.
Kolmas praktiline töö
Töö sisu täpsustatakse märtsis.
Loengud ja harjutustunnid
30 jaanuar: sissejuhatus kursusesse, esimene praktiline töö
13 veebruar: kompleksteadmised andmebaasides, seos reeglite ja loogikaga
Materjalid
RDFa, andmete lugemine ja seostamine annoteeritud veebilehtedelt
- Media:portaalidekoosvoime.ppt või pdf kujul Media:portaalidekoosvoime.pdf
- http://www.w3.org/TR/xhtml-rdfa-primer/ või uuem http://www.w3.org/2006/07/SWD/RDFa/primer/
- http://www.w3.org/2006/07/SWD/RDFa/syntax/
- http://www.microformats.org
Hariliku relatsioonilise baasi semantika
Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus
- Sissejuhatus: http://www.cs.miami.edu/~geoff/Courses/CS63S-05M/CS63SNotes.pdf
- Alternatiivne sissejuhatus: Simon Coltoni kursuse materjalid http://wwwhomes.doc.ic.ac.uk/~sgc/teaching/v231/
Erinevad 1st järku loogika süntaksid ja täiendused: KIF, CL, restricted english jms
- KIF
- CL üldlehekülg, SCL vana presekas, kontekst ja ajalooline taust
- CG
- Draftid: ECL ja ELM
Reeglimootorid, teisendajad, vahetükid andmebaasidele.
RDF, RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid.
- eraldi rdf tutorial
- eraldi rdfs tutorial
- eraldi owl tutorial
- eraldi rdfs tekst
- Lbase: üks RDF(S) teisendusviis loogikasse
Materjale täisteksti indeksite kohta
- Taust: stringiotsing: Boyer-Moore, vt http://en.wikipedia.org/wiki/Boyer-Moore
- Täistektsi otsingumeetodid pikemalt: http://www.lambda.ee/index.php/Pilt:Stringsearch2.ppt
- Täisteksti-indeksid: http://www.lambda.ee/index.php/Pilt:Fulltext_indexes.ppt
- Pikem presentatsioon erienvate indeksimeetodite kohta: http://www.lambda.ee/index.php/Pilt:String_Indexing.ppt
Materjale termide indekseerimise kohta
- Sissejuhatus http://www.lambda.ee/index.php/Pilt:Schulz_indexing_overview.pdf
- Path indexing http://www.lambda.ee/index.php/Pilt:Pathindexingcspp20.pdf
- Subsumption and context trees http://www.lambda.ee/index.php/Pilt:FastindexingctreesJAR.pdf
- Skip lists http://www.lambda.ee/index.php/Pilt:Skipliststpugh90skip.pdf
Materjale teadmiste loogika kohta
- pikk versioon ja lühem versioon, vaata ka ghostscripti saiti .ps jaoks
Abimaterjalid disjunktide kujule viimiseks
- Hea ülevaade: http://www.cs.miami.edu/~geoff/Papers/Journal/1996_SM96_SACJ.pdf
- FLOTTERi kohta master thesis http://www.dfki.de/vse/papers/rock95.ps.gz
- FLOTTERi kohta artikkel: http://www.dfki.de/vse/papers/nrw98.ps.gz