Course
|
UNIK4710 +
, UNIK9710 +
|
Keywords
|
Reasoning +
, FaCT +
, Pellets +
, HermiT +
|
Learning outcomes
|
Having joined this lecture, you will
* un … Having joined this lecture, you will
* understand the goals of applying ''reasoning''
* provide answers on why they are that many reasoners
* list the Protege 4.2 reasoners
* explain key aspects of reasoning
* Reasoner Comparison: HermiT, Fact++ and Pellets; internal versus external reasoningellets; internal versus external reasoning +
|
Lecturer
|
Josef Noll +
|
Objective
|
This lecture provides an introductory to the comparison of selected reasoners +
|
References
|
* http://answers.semanticweb.com/questions … * http://answers.semanticweb.com/questions/12112/what-are-the-differences-among-pellet-hermit-and-fact
* http://answers.semanticweb.com/questions/1595/what-are-the-advantages-of-one-reasoner-over-the-other
* http://en.wikipedia.org/wiki/Semantic_reasoner
* http://www.w3.org/2007/OWL/wiki/Implementations//www.w3.org/2007/OWL/wiki/Implementations +
|
Title
|
Comparison of Pellets, FaCT and HermiT +
|
Creation dateThis property is a special property in this wiki.
|
26 April 2013 10:22:23 +
|
Categories |
UNIK4710 +
, UNIK9710 +
, Lecture +
, Pages with broken file links +
|
Modification dateThis property is a special property in this wiki.
|
26 April 2013 10:22:23 +
|
DateThis property is a special property in this wiki.
|
12 April 2013 +
|