Itv0060 20010 arhiiv
Link: http://www.lambda.ee/index.php/Teadmiste_otsing,_formaliseerimine_ja_hoidmine or http://www.lambda.ee/index/itv0060
Lecturer: Tanel Tammet
Contact: firstname.lastname@example.org, 6203457, TTÜ AK223
Archives of previous years: [ 2009, 2008, 2007, 2006, [http:/cs.ttu.ee/kursused/wav4130/ older].
NB! Tegu on 2010 aasta arhiiviga, mitte kehtivate kursusematerjalidega!
- 1 Järeltööd
- 2 Exam results
- 3 Time, place, result
- 4 Practical work
- 5 Materials for the exam
- 5.1 RDF, RDFS, OWL and conversion to 1st order logic
- 5.2 RDFa, reading and using RDF data from web pages
- 5.3 RDF relation to logic
- 5.4 Semantics of ordinary relational base
- 5.5 First order logic in query engines and planning
- 5.6 Different languages for 1st order logic: KIF, CL, restricted english jms
- 5.7 Uncertain knowledge logic
- 5.8 Traditional database indexes
- 5.9 Fulltext indexes
- 5.10 Term indexes
- 6 Course structure
- 6.1 Intro and paradigms of knowledge representation
- 6.2 Introduction to RDFa
- 6.3 Relational databases, logic and RDF
- 6.4 Logic
- 6.5 Planning
- 6.6 Specific versions of 1st order logic and rule systems
- 6.7 RDFS and OWL
- 6.8 Probabilistic and default reasoning
- 6.9 Practical reasoning with procedural attachments: robot example
- 6.10 Representing time, epistemics, context
- 6.11 Personalized suggestions with probabilistic rules
- 6.12 Search and indexing
- 6.13 Learning
Eelnadala jareltood kell 10.00 reedel, 27 augustil ruumis VII-131.
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
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.
- two labs on the same theme.
- optional third 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:
- 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.
- 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.
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 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:
Understand basics of owl:
RDFa, reading and using RDF data from web pages
Understand main parts:
- wiki intro
- Media:portaalidekoosvoime.ppt or as pdf Media:portaalidekoosvoime.pdf
- w3c rdfa primer
- microformats: a similar technology
RDF relation to logic
Understand a bit of:
Semantics of ordinary relational base
First order logic in query engines and planning
- Geoff reasoning course notes: just for background, no questions in exam
- planning and blocks world
- blocks world axiom/query examples from lecture
Different languages for 1st order logic: KIF, CL, restricted english jms
Uncertain knowledge logic
Traditional database indexes
Understand basics of discrimination tree trie-type term indexes and path indexes from
Intro and paradigms of knowledge representation
Overview of knowledge representation: http://en.wikipedia.org/wiki/Knowledge_representation
- 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
Relational databases, logic and RDF
- propositional, first order, higher order
- proofs and deriving new information
- automated reasoning
With logic and reasoning-based methods.
Specific versions of 1st order logic and rule systems
- restricted english systems