Tammet – 6. veebruar 2009, kell 08:12

2009-02-06T08:12:20Z

Uus lehekülg

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].

== 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:

* [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]

=== 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 ===

* [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]]

Itv0060 2008 arhiiv - Redigeerimiste ajalugu

Tammet – 6. veebruar 2009, kell 08:12