CS 6795 Semantic Web Techniques

Lab 3


OWL Ontology Development in Protégé and Ontology Reasoning in Pellet


1.      Download Protégé from http://protege.stanford.edu/download/download.html, and install Protégé on your computer. (Suggested as of Oct 2009: Protégé 3.4.1 Release)

2.      Create an OWL ontology in Protégé.

a)        Download the Protégé OWL tutorial from http://owl.cs.manchester.ac.uk/tutorials/protegeowltutorial/, follow the instructions, and create the Pizza ontology.

b)        The pizza ontology in OWL can also be downloaded from http://www.co-ode.org/ontologies/pizza/pizza.owl.

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

4.      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.



Maintained by Harold Boley