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
