Tammet – 30. jaanuar 2011, kell 19:06

2011-01-30T19:06:26Z

←Vanem redaktsioon		Redaktsioon: 30. jaanuar 2011, kell 21:06
5. rida:		5. rida:
	Archives of previous years: [ [[itv0060 2009 arhiiv\|2009]], [[itv0060 2008 arhiiv\|2008]], [[itv0060 2007 arhiiv\|2007]], [[itv0060 2006 arhiiv\|2006]], [http:/cs.ttu.ee/kursused/wav4130/ older].		Archives of previous years: [ [[itv0060 2009 arhiiv\|2009]], [[itv0060 2008 arhiiv\|2008]], [[itv0060 2007 arhiiv\|2007]], [[itv0060 2006 arhiiv\|2006]], [http:/cs.ttu.ee/kursused/wav4130/ older].

	<b><font color="red">NB! Tegu on 2010 aasta ~~arhviiviga~~, mitte kehtivate kursusematerjalidega!</font></b>		<b><font color="red">NB! Tegu on 2010 aasta arhiiviga, mitte kehtivate kursusematerjalidega!</font></b>

Tammet – 30. jaanuar 2011, kell 19:04

2011-01-30T19:04:14Z

←Vanem redaktsioon		Redaktsioon: 30. jaanuar 2011, kell 21:04
3. rida:		3. rida:
	Lecturer: Tanel Tammet<br>		Lecturer: Tanel Tammet<br>
	Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>		Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>
	Archives of previous years: [ [[itv0060 2009 arhiiv\|2009]], [[itv0060 2008 arhiiv\|2008]], [[itv0060 2007 arhiiv\|2007]], [[itv0060 2006 arhiiv\|2006]],		Archives of previous years: [ [[itv0060 2009 arhiiv\|2009]], [[itv0060 2008 arhiiv\|2008]], [[itv0060 2007 arhiiv\|2007]], [[itv0060 2006 arhiiv\|2006]], [http:/cs.ttu.ee/kursused/wav4130/ older].
	[http:/cs.ttu.ee/kursused/wav4130/ older].~~<p>~~
	<b><font color="red">NB! Tegu on 2010 aasta arhviiviga, mitte kehtivate kursusematerjalidega!</font></b>		<b><font color="red">NB! Tegu on 2010 aasta arhviiviga, mitte kehtivate kursusematerjalidega!</font></b>

Tammet – 30. jaanuar 2011, kell 19:03

2011-01-30T19:03:57Z

←Vanem redaktsioon		Redaktsioon: 30. jaanuar 2011, kell 21:03
4. rida:		4. rida:
	Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>		Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>
	Archives of previous years: [ [[itv0060 2009 arhiiv\|2009]], [[itv0060 2008 arhiiv\|2008]], [[itv0060 2007 arhiiv\|2007]], [[itv0060 2006 arhiiv\|2006]],		Archives of previous years: [ [[itv0060 2009 arhiiv\|2009]], [[itv0060 2008 arhiiv\|2008]], [[itv0060 2007 arhiiv\|2007]], [[itv0060 2006 arhiiv\|2006]],
			[http:/cs.ttu.ee/kursused/wav4130/ older].<p>
	<b><font color="red">NB! Tegu on 2010 aasta arhviiviga, mitte kehtivate kursusematerjalidega!</font></b>		<b><font color="red">NB! Tegu on 2010 aasta arhviiviga, mitte kehtivate kursusematerjalidega!</font></b>
	~~[http:/cs.ttu.ee/kursused/wav4130/ older].~~

Tammet – 30. jaanuar 2011, kell 19:03

2011-01-30T19:03:37Z

←Vanem redaktsioon		Redaktsioon: 30. jaanuar 2011, kell 21:03
3. rida:		3. rida:
	Lecturer: Tanel Tammet<br>		Lecturer: Tanel Tammet<br>
	Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>		Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>
	Archives of previous years: [ [[itv0060 2009 arhiiv\|2009]], [[itv0060 2008 arhiiv\|2008]], [[itv0060 2007 arhiiv\|2007]], [[itv0060 2006 arhiiv\|2006]], [http:/cs.ttu.ee/kursused/wav4130/ older].		Archives of previous years: [ [[itv0060 2009 arhiiv\|2009]], [[itv0060 2008 arhiiv\|2008]], [[itv0060 2007 arhiiv\|2007]], [[itv0060 2006 arhiiv\|2006]],
			<b><font color="red">NB! Tegu on 2010 aasta arhviiviga, mitte kehtivate kursusematerjalidega!</font></b>
			[http:/cs.ttu.ee/kursused/wav4130/ older].


	== <font color="red">~~NB! Tegu on 2010 aasta arhviiviga, mitte kehtivate kursusematerjalidega!~~</font> ==		== <font color="red">Järeltööd</font> ==

	Eelnadala jareltood kell 10.00 reedel, 27 augustil ruumis VII-131.		Eelnadala jareltood kell 10.00 reedel, 27 augustil ruumis VII-131.

Tammet – 30. jaanuar 2011, kell 19:02

2011-01-30T19:02:55Z

Uus lehekülg

Code: ITV0060 
Link: http://www.lambda.ee/index.php/Teadmiste_otsing,_formaliseerimine_ja_hoidmine or http://www.lambda.ee/index/itv0060 
Lecturer: Tanel Tammet 
Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223 
Archives of previous years: [ [[itv0060 2009 arhiiv|2009]], [[itv0060 2008 arhiiv|2008]], [[itv0060 2007 arhiiv|2007]], [[itv0060 2006 arhiiv|2006]], [http:/cs.ttu.ee/kursused/wav4130/ older].

== NB! Tegu on 2010 aasta arhviiviga, mitte kehtivate kursusematerjalidega! ==

Eelnadala jareltood kell 10.00 reedel, 27 augustil ruumis VII-131.

== Exam results ==

Nimi Matr Eks punkte kokku punkte Hinne
* MM 41 89 4
* RM 11050 47 96 5
* MS 93047 35 82 4
* MT 93033 30 76 3
* AS 93059 47 96 5
* MH 930646 32 78 3
* BS 93046 28 73 3
* AJ 960650 25 70 3
* KU 93038 47 97 5
* SS 993072 18 61 2
* MS 93050 45 96 5

Two alternative dates:

* 28 May: 12.00-15.00 room VI-201
* 4 June: 12.00-15.00 room VI-229

== Time, place, result ==

Semester: spring 
Grading: exam 
Points: 3.5 

Lectures: every Monday 15.00-16.30, room IT-137a 
Practical work: every Monday after the lecture: 16.45-17.30 

Practical work will give 40% and exam 60% of points underlying the final grade. There will be an optional (hard) third practical work: choosing this will give 60% from labs and 40% from exam.

== Practical work ==

* two labs on the same theme.
* optional third lab

=== First lab ===

Date: 10 March.

Implement a system which can read html annotated according to the RDFa standard.
The data read should be saved and printed in several formats:
* csv
* rdf xml syntax

NB! You may not use a ready-made RDFa parser/converter. Instead, use a html/xml parser and build the RDFa converter on top of that. Using xslt is also an OK option. Programming language and the html/xml parser choice is free.

You will have to find suitable annotated html pages to demonstrate your solution.

Additional reading:

* http://www.w3.org/TR/rdf-primer/ RDF tutorial first parts: background for RDFa
* http://en.wikipedia.org/wiki/RDFa wikipedia article on RDFa
* http://www.w3.org/TR/xhtml-rdfa-primer/ relatively easy-to-read official RDFa primer
* http://www.youtube.com/watch?v=ldl0m-5zLz4 and http://www.youtube.com/watch?v=mxE3FeOyS-E video tutorials of RDFa
* http://www.w3.org/TR/rdfa-syntax official standard
* [[Media:portaalidekoosvoime.ppt]] või pdf kujul [[Media:portaalidekoosvoime.pdf]] (Estonian)

You may also look at some practical non-obligatory programming suggestions in Estonian: [[rdfa esimese praksi soovitusi]].

=== Second lab ===

Using the results of first lab for rule-based derivation of new information.

[[Details of the second lab: rule system]] for tourist suggestions.

=== Third lab ===

Third lab is optional. If you do it, it will give additional 20% of points underlying the final grade. There are two alternative ways to do the third lab: select yourself:

* First alternative: download and use Wordnet to automatically create additional rules used in the second lab. These rules would mostly probably stem from the Wordnet taxonomies. You do not have to create rules for all the wordnet taxonomies: select a sensible subset which would be usable for the second lab.
* Second alternative: use Attempto to create a system such that you can write rules and/or facts and/or queries for the second lab in restricted english. These restricted english sentences have to be automatically converted to the form usable by Otter/Plan9.

== Materials for the exam ==

Use and read the following

=== RDF, RDFS, OWL and conversion to 1st order logic ===

Understand RDF and RDFS:

* [http://en.wikipedia.org/wiki/Resource_Description_Framework RDF wikipedia]
* [http://www.w3.org/TR/rdf-primer/ w3c RDF primer]

Understand basics of owl:

* [http://en.wikipedia.org/wiki/Web_Ontology_Language OWL wikipedia]
* [http://www.w3.org/TR/owl-guide/ w3c OWL guide]

=== RDFa, reading and using RDF data from web pages ===

Understand main parts:

* [http://en.wikipedia.org/wiki/RDFa wiki intro]
* [[Media:portaalidekoosvoime.ppt]] or as pdf [[Media:portaalidekoosvoime.pdf]]
* [http://www.w3.org/2006/07/SWD/RDFa/primer/ w3c rdfa primer]
* [http://www.microformats.org microformats: a similar technology]

=== RDF relation to logic ===

Understand a bit of:

* [http://www.w3.org/TR/2003/NOTE-lbase-20031010/ Hayes & Guha Lbase]

=== Semantics of ordinary relational base ===

* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf rdf tutorial addendum for logic and dbases]

=== First order logic in query engines and planning ===

* [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes: just for background, no questions in exam]]
* [http://www.ee.pdx.edu/~mperkows/May4/005.Ch11-planning.ppt planning and blocks world]
* [[blocks world axiom/query examples from lecture]]

=== Different languages for 1st order logic: KIF, CL, restricted english jms ===

* [http://cl.tamu.edu/ CL main page],
* [http://attempto.ifi.unizh.ch/site/pubs/papers/phd_kaljurand.pdf Attempto restricted english]

=== Uncertain knowledge logic ===

* [http://plato.stanford.edu/entries/logic-nonmonotonic/ nonmonotonic logic]
* [http://en.wikipedia.org/wiki/Default_logic default logic]

=== Traditional database indexes ===

* [http://www.lambda.ee/index.php/Pilt:IndexNotes04.ppt G. Molina lecture 4]
* [http://www.lambda.ee/index.php/Pilt:IndexNotes05.ppt G. Molina lecture 5]

=== Fulltext indexes ===

* [http://www.lambda.ee/index.php/Pilt:Fulltext_indexes.ppt good intro and overview]

=== Term indexes ===

Understand basics of discrimination tree trie-type term indexes and path indexes from

* [http://www.lambda.ee/index.php/Pilt:Mccuneindexing.pdf mccune paper]

== Course structure ==

=== Intro and paradigms of knowledge representation ===

1 lecture.

Overview of knowledge representation: http://en.wikipedia.org/wiki/Knowledge_representation

* Procedural
* Declarative
** logic
** relational, network, object databases
** semantic networks
** frame systems
** property/value pairs
** rule/expert systems
** rdfs and owl

Different property/value pair representations

=== Introduction to RDFa ===

1 lecture

=== Relational databases, logic and RDF ===

1 lecture

=== Logic ===

* propositional, first order, higher order
* semantics/models
* proofs and deriving new information
* automated reasoning

=== Planning ===

With logic and reasoning-based methods.

=== Specific versions of 1st order logic and rule systems ===

* KIF
* CL
* ontologies
* wordnet
* cyc
* restricted english systems

=== RDFS and OWL ===

=== Probabilistic and default reasoning ===

=== Practical reasoning with procedural attachments: robot example ===

=== Representing time, epistemics, context ===

=== Personalized suggestions with probabilistic rules ===

=== Search and indexing ===

=== Learning ===



[[Category:Kursus]]

Itv0060 20010 arhiiv - Redigeerimiste ajalugu

Tammet – 30. jaanuar 2011, kell 19:06

Tammet – 30. jaanuar 2011, kell 19:04

Tammet – 30. jaanuar 2011, kell 19:03

Tammet – 30. jaanuar 2011, kell 19:03

Tammet – 30. jaanuar 2011, kell 19:02