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

Lecture notes 2013

 * Notes: [[Media:UNIK4710-L13-v13.pdf]]
 * Video: mms://lux.unik.no/UNIK4710-JN/UNIK-20130412.wmv