Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
Resümee puudub
57. rida: 57. rida:
reeegli- ja päringusüsteemi ehitamine.  
reeegli- ja päringusüsteemi ehitamine.  


== Loengud ==
== Materjalid ==


;1. Loeng. Sissejuhatus ja ülevaade. RDFa ja sissejuhatus esimesse praktikumiülesandesse.
;1. Sissejuhatus ja ülevaade. RDFa ja sissejuhatus esimesse praktikumiülesandesse.
: Aeg: 7. veebruar.
:Loe
:* [[Media:portaalidekoosvoime.ppt]] või pdf kujul [[Media:portaalidekoosvoime.pdf]]  
:* [[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/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.w3.org/2006/07/SWD/RDFa/syntax/


;2. Loeng.  Hariliku relatsioonilise baasi semantika.
;2. Hariliku relatsioonilise baasi semantika.
: Aeg: 14. veebruar.
:* [http://www.w3.org/TR/rdf-primer/ RDF õpik]  
:* [http://www.w3.org/TR/rdf-primer/ RDF õpik]  
;:* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf ühe rdf tutoriali lisa: tabelid ja loogika]
;:* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf ühe rdf tutoriali lisa: tabelid ja loogika]
74. rida: 71. rida:
:* Keerukama info (disjunktsioonid, eitus, valemid) hoidmise viise relatsioonilises andmebaasis.
:* Keerukama info (disjunktsioonid, eitus, valemid) hoidmise viise relatsioonilises andmebaasis.


;3. Loeng.  Andmete lugemine ja seostamine annoteeritud veebilehtedelt.
;3.Andmete lugemine ja seostamine annoteeritud veebilehtedelt.
: Aeg: 22. veebruar.
: microformats ja nende sarnasused/erisused rdfa-ga
: loe: http://www.microformats.org
: loe: http://www.microformats.org


;4. Loeng. Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus
;4. Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus
: Aeg: 29. veebruar.
:* Sissejuhatus: http://www.cs.miami.edu/~geoff/Courses/CS63S-05M/CS63SNotes.pdf
:* 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/
:* Alternatiivne sissejuhatus: Simon Coltoni kursuse materjalid http://wwwhomes.doc.ic.ac.uk/~sgc/teaching/v231/


;5. Loeng. Erinevad 1st järku loogika süntaksid ja täiendused:  KIF, CL, restricted english jms.  
;5. Erinevad 1st järku loogika süntaksid ja täiendused:  KIF, CL, restricted english jms.  
: [http://logic.stanford.edu/kif/dpans.html KIF]
: [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://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]
90. rida: 84. rida:
: Draftid: [http://deepthought.ttu.ee/it/xstone/manuals/ecl.html ECL] ja [http://deepthought.ttu.ee/it/xstone/manuals/elm.html ELM]
: Draftid: [http://deepthought.ttu.ee/it/xstone/manuals/ecl.html ECL] ja [http://deepthought.ttu.ee/it/xstone/manuals/elm.html ELM]


;6.  Loeng. Reeglimootorid, teisendajad, vahetükid andmebaasidele.  
;6.  Reeglimootorid, teisendajad, vahetükid andmebaasidele.  
: Alustame teise praktikumiülesandega.
: Alustame teise praktikumiülesandega.
: Jätkame teise praktikumiülesandega.
: Jätkame teise praktikumiülesandega.




;RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid.
;7RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid.
 
X. Mitu loengut: roboti baasnäide, selle juures vajalikud andmed, reeglid, teisendused, keeled jne.
X. Mitu loengut: reegleid kasutavate ja xml-rdf andmebaaside tehnoloogia küsimused.
 


;8. Materjale täisteksti indeksite kohta
;8. Materjale täisteksti indeksite kohta
127. rida: 117. rida:




<!--
== Olulised materjalid lugemiseks ==
* [http://www.w3.org/TR/rdf-primer/ RDF õpik]
* [http://www.w3.org/2001/10/stripes/ nn. 'striped' XML]
* [http://www.mulberrytech.com/Extreme/Proceedings/html/2004/Sperberg-McQueen01/EML2004Sperberg-McQueen01.html On mapping from colloquial XML to RDF using XSLT]
* [http://www.xml.com/pub/a/2004/09/01/tr.html XML to RDF]
-->




[[Category:Kursus]]
[[Category:Kursus]]

Redaktsioon: 30. jaanuar 2008, kell 18:30

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 10.00-11.30 arvutuskeskuse ruumis IT-140.
Harjutused: igal kolmapäeval paaritutel nädalatel kell 12.00-13.30 Paaritud nädalad algavad: 1 veebruar, 12 veebruar, 26 veebruar jne

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 kaks. Eksamile lubatakse ainult neid tudengeid, kes on mõlemad 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.

Materjalid

1. Sissejuhatus ja ülevaade. RDFa ja sissejuhatus esimesse praktikumiülesandesse.
2. Hariliku relatsioonilise baasi semantika.
  • 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.
3.Andmete lugemine ja seostamine annoteeritud veebilehtedelt.
loe: http://www.microformats.org
4. Esimest järku loogika kasutamine päringumootorites
resolutsioonimeetod kui põhialus
5. 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
6. Reeglimootorid, teisendajad, vahetükid andmebaasidele.
Alustame teise praktikumiülesandega.
Jätkame teise praktikumiülesandega.


7RDFS, OWL ja nende teisendus 1st järku loogikasse
keerukamad detailid.
8. Materjale täisteksti indeksite kohta


9. Materjale termide indekseerimise kohta


10 Materjale teadmiste loogika kohta

Abimaterjalid disjunktide kujule viimiseks (ei ole kohustuslik lugeda):

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