Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
62. rida: 62. rida:
== Materjalid ==
== Materjalid ==


;1.  Sissejuhatus ja ülevaade. RDFa ja sissejuhatus esimesse praktikumiülesandesse.
=== 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/


;2. Hariliku relatsioonilise baasi semantika.
* [[Media:portaalidekoosvoime.ppt]] või pdf kujul [[Media:portaalidekoosvoime.pdf]]
:* [http://www.w3.org/TR/rdf-primer/ RDF õpik]
* http://www.w3.org/TR/xhtml-rdfa-primer/ või uuem  http://www.w3.org/2006/07/SWD/RDFa/primer/
:* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf ühe rdf tutoriali lisa: tabelid ja loogika]
* http://www.w3.org/2006/07/SWD/RDFa/syntax/
*  http://www.microformats.org


;3.Andmete lugemine ja seostamine annoteeritud veebilehtedelt.
=== Hariliku relatsioonilise baasi semantika ===
:*  http://www.microformats.org


;4. Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus
* [http://www.w3.org/TR/rdf-primer/ RDF õpik]
:* Sissejuhatus: http://www.cs.miami.edu/~geoff/Courses/CS63S-05M/CS63SNotes.pdf
* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf ühe rdf tutoriali lisa: tabelid ja loogika]
:* Alternatiivne sissejuhatus: Simon Coltoni kursuse materjalid http://wwwhomes.doc.ic.ac.uk/~sgc/teaching/v231/


;5. Erinevad 1st järku loogika süntaksid ja täiendused:  KIF, CL, restricted english jms.
===  Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus ===
: [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]


;6. Reeglimootorid, teisendajad, vahetükid andmebaasidele.  
* 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/


;7RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid.
===  Erinevad 1st järku loogika süntaksid ja täiendused: KIF, CL, restricted english jms ===


;8. Materjale täisteksti indeksite kohta
* [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. ===
 
=== RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid. ===
 
===  Materjale täisteksti indeksite kohta ===


* Taust: stringiotsing: Boyer-Moore, vt http://en.wikipedia.org/wiki/Boyer-Moore
* Taust: stringiotsing: Boyer-Moore, vt http://en.wikipedia.org/wiki/Boyer-Moore
95. rida: 97. rida:
* Pikem presentatsioon erienvate indeksimeetodite kohta: http://www.lambda.ee/index.php/Pilt:String_Indexing.ppt
* Pikem presentatsioon erienvate indeksimeetodite kohta: http://www.lambda.ee/index.php/Pilt:String_Indexing.ppt


 
===  Materjale termide indekseerimise kohta ===
;9. Materjale termide indekseerimise kohta:


* Sissejuhatus http://www.lambda.ee/index.php/Pilt:Schulz_indexing_overview.pdf
* Sissejuhatus http://www.lambda.ee/index.php/Pilt:Schulz_indexing_overview.pdf
104. rida: 105. rida:




;10 Materjale teadmiste loogika kohta
===  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]
* [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 (ei ole kohustuslik lugeda):
===  Abimaterjalid disjunktide kujule viimiseks ===


* Hea ülevaade: http://www.cs.miami.edu/~geoff/Papers/Journal/1996_SM96_SACJ.pdf
* Hea ülevaade: http://www.cs.miami.edu/~geoff/Papers/Journal/1996_SM96_SACJ.pdf

Redaktsioon: 30. jaanuar 2008, kell 18:46

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 2007 arhiiv, itv0060 2006 arhiiv, [http:/cs.ttu.ee/kursused/wav4130/ veel varasemad].


Aeg, koht, tulemus

Semester: kevad
Tulemus: eksam
Punkte: 3.5

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 kumbki 1/3, eksam samuti 1/3.

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:


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.

Materjalid

RDFa, andmete lugemine ja seostamine annoteeritud veebilehtedelt

Hariliku relatsioonilise baasi semantika

Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus

Erinevad 1st järku loogika süntaksid ja täiendused: KIF, CL, restricted english jms

Reeglimootorid, teisendajad, vahetükid andmebaasidele.

RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid.

Materjale täisteksti indeksite kohta

Materjale termide indekseerimise kohta


Materjale teadmiste loogika kohta

Abimaterjalid disjunktide kujule viimiseks

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Teadmiste_otsing,_formaliseerimine_ja_hoidmine&oldid=2233"