Pellets-based reasoning II
From its-wiki.no
Wiki for ITS | ||||||
---|---|---|---|---|---|---|
|
Pellets-based reasoning II
Course | UNIK4710, UNIK9710 |
---|---|
Title | Pellets-based reasoning II |
Lecture date | 2012/04/12 |
presented | by Josef Noll |
Objective | This lecture:
|
Learning outcomes | |
Pensum (read before) | Tasks |
References (further info) | Presentations 2012, Lecture Pellets-based reasoning. |
Keywords | SQWRL, OWL 1, OWL 2 |
this page was created by Special:FormEdit/Lecture, and can be edited by Special:FormEdit/Lecture/Pellets-based reasoning II.
Tasks
see Lecture notes Media:UNIK4710-L11-v13.pdf
We move to Protege 4.2, well knowing that this version has challenges, e.g. SWRL creation, relation of object properties.
Please prepare
- more complex rules using SWRL
- a presentation of your envisaged final application
Through these excercises you will be able to evaluation what can or can't be done in Protege 4.2
Addressed challenges
- time stamp of information
- number (real, double) comparison
- object properties comparison
Lecture notes
Reasoner Comparison (by Josef)
- Comparison of HermiT, Fact++ and Pellets
- internal versus external reasoning