|
|
| 11. rida: |
11. rida: |
|
| |
|
| Semester: spring<br> | | Semester: spring<br> |
| Final test: exam<br>
| | Grading: exam<br> |
| Points: 3.5<br> | | Points: 3.5<br> |
|
| |
|
| Lectures: Every friday 8.00, room IT-140<br> | | Lectures: Every friday 8.00, room IT-140<br> |
| Practical work: every second (even weeks) Friday 10.00 room IT-213D<br> | | Practical work: every second (even weeks) Friday 10.00 room IT-213D<br> |
| igal kolmapäeval paaritutel nädalatel kell 17.45 arvutiklassis IT 213h<br>
| |
| Praktikumid: igal kolmapäeval paarisnädalatel kell 17.45 arvutiklassis IT 213h<br>
| |
|
| |
|
| Praktikumid annavad hinde aluseks olevatest punktidest kokku 2/3, eksam samuti 1/3.
| | Practical work will give %40% and exam 60% of points underlying the final grade. |
|
| |
|
| == <font color="red">Eksam</font> == | | == Practical work == |
|
| |
|
| Eksamiajad (kaks varianti, teine ei ole järeleksam):
| | Two labs. Tasks/materials given at the second lecture. |
|
| |
|
| * 27 mai kell 9-12 ruumis I-202 (aula taga)
| | == Course structure === |
| * 3 juuni kell 9-12 ruumis I-202 (aula taga)
| |
|
| |
|
|
| |
|
| Praktikumid annavad hinde aluseks olevatest punktidest kumbki 1/2, eksam samuti 1/2.
| | === Paradigms of knowledge representation === |
|
| |
|
| Siin nüüd [[ITV0060 eksamitulemused 2008 kevad]].
| | * Procedural |
| | * Declarative |
| | ** logic |
| | ** relational, network, object databases |
| | ** frame systems |
| | ** property/value pairs |
| | ** rule/expert systems |
| | ** rdfs and owl |
|
| |
|
| Eksami jaoks vajalikud materjalid:
| | === Recall 1st order logic === |
|
| |
|
| | * semantics/models |
| | * proofs and deriving new information |
| | * automated reasoning |
| | * relational data and rdf in first order logic |
|
| |
|
| === RDF, RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid. === | | === Different property/value pair representations and their relations === |
| | * association lists |
| | * RDF |
| | ** XML |
|
| |
|
| Vaja on teada olulisemaid osi:
| | === Details of RDF, RDFS, RDFa === |
|
| |
|
| * [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip eraldi rdf tutorial]
| | === Specific versions of 1st order logic == |
| * [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip eraldi rdfs tutorial]
| |
| * [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip eraldi owl tutorial]
| |
| * [http://www.w3.org/TR/rdf-schema/ eraldi rdfs tekst]
| |
|
| |
|
| === RDFa, andmete lugemine ja seostamine annoteeritud veebilehtedelt ===
| | * KIF |
| | * CL |
| | * restricted english systems |
|
| |
|
| Vaja on teada olulisemaid osi:
| | === OWL === |
|
| |
|
| * [[Media:portaalidekoosvoime.ppt]] või pdf kujul [[Media:portaalidekoosvoime.pdf]]
| | == Representing time, probability, epistemics === |
| * 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 === | | === Indexing === |
| | |
| * [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf ühe rdf tutoriali lisa: tabelid ja loogika]
| |
| | |
| === 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 ===
| |
| | |
| * [http://cl.tamu.edu/ CL üldlehekülg],
| |
| * http://attempto.ifi.unizh.ch/site/pubs/papers/phd_kaljurand.pdf
| |
| | |
| === 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 ===
| |
| | |
| * [http://www.w3.org/TR/rdf-primer/ RDF õpik]
| |
| * [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf ühe rdf tutoriali lisa: tabelid ja loogika]
| |
| | |
| === 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 ===
| |
| | |
| * [http://logic.stanford.edu/kif/dpans.html KIF]
| |
| * [http://cl.tamu.edu/ CL üldlehekülg], [http://www.ihmc.us/users/phayes/SCL_for_Harry.ppt SCL vana presekas], [http://www.jfsowa.com/talks/clprop.htm kontekst] ja [http://xml.coverpages.org/ni2002-04-08-a.html ajalooline taust]
| |
| * [http://www.jfsowa.com/cg/index.htm CG]
| |
| * Draftid: [http://deepthought.ttu.ee/it/xstone/manuals/ecl.html ECL] ja [http://deepthought.ttu.ee/it/xstone/manuals/elm.html ELM]
| |
| | |
| === Reeglimootorid, teisendajad, vahetükid andmebaasidele. ===
| |
| | |
| === RDF, RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid. ===
| |
| | |
| * [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip eraldi rdf tutorial]
| |
| * [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip eraldi rdfs tutorial]
| |
| * [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip eraldi owl tutorial]
| |
| * [http://www.w3.org/TR/rdf-schema/ eraldi rdfs tekst]
| |
| * [http://www.w3.org/TR/2003/NOTE-lbase-20031010/ 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 ===
| |
| | |
| * [http://sise.ttu.ee/it/vorgutarkvara/wav4130/ijcai93.ps pikk versioon] ja [http://sise.ttu.ee/it/vorgutarkvara/wav4130/ijcaitxt.ps lühem versioon], vaata ka [http://www.cs.wisc.edu/~ghost/ 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
| |
|
| |
|
| [[Category:Kursus]] | | [[Category:Kursus]] |