CS 6795 Semantic Web Techniques

Lab 3


Protégé: OWL Ontology Development & Reasoning and SWRL Rules


1.      Download Protégé from http://protege.stanford.edu/download/download.html and install/test Protégé on your computer (suggested as of Sep 2011: Protégé 4.1 Release). Proceed as described at http://protegewiki.stanford.edu/wiki/Protege4GettingStarted (except that Protege 4.0 now should be 4.1), and load, navigate, and modify the Pizza ontology.

2.      Perform reasoning as described with the ‘built-in’ reasoner HermiT.

3.      Develop (a version of) one of the ontologies discussed in class or in an assignment, and again perform reasoning.

Alternatively to step 2. you can use the ‘pluginreasoner Pellet as described, or:

2’  Download Pellet from http://clarkparsia.com/pellet/download, and unzip it. (Suggested as of Oct 2009: pellet-1.5.2).

     Perform some reasoning tasks in Pellet. This can be done in the following three ways:

a)        Use the plug-in in Protégé.

b)        Access Pellet’s basic functionality through the command line interface.

Running “java -jar lib/pellet.jar” in the command line, you will get help on all the parameters supported by Pellet.

c)        Use the Pellet reasoner in a Java program through the OWL API. A good place to get familiar with the OWL API is http://owlapi.sourceforge.net/documentation.html. Download and try the examples listed there.



Optionally, try the Semantic Web Rule Language (SWRL) Tab (SWRLTab) if available in your version of Protégé. See link from http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ.



Maintained by Harold Boley