Pellet is an open source, OWL DL reasoner in Java, originally developed at the University of Maryland’s Mindswap Lab. Pellet is now commercially supported by Clark & Parsia LLC. The installation instruction shows as follows:
- Go to the Download section on the Pellet Web site.
- Download and unzip the Pellet ZIP file to a location of your choice. To follow is a screenshot of what the Pellet installation should look like on a Windows system after unzipping the file:
-
- Copy the folder Pellet-1.x (e.g. Pellet-1.5.0) to the working directory (e.g. /MyApp/)
- Create a desktop shortcut icon for pellet-dig.bat.
- click the Pellet-DIG.bat Desktop icon, to launch Pellet’s DIG server. (Run the pellet-dig.bat batch file on Windows systems or the pellet-dig.sh file on Unix-like systems). To follow is a screenshot of the DIG server running on a Windows system:.
- Open the OWL Preferences dialog by choosing OWL -> Preferences… from the menu bar.
- In the Reasoning section of the General tab, enter
http://localhost:8081as the Reasoner URL. To follow is a screenshot of the OWL Preferences dialog with the proper value entered into the Reasoner URL text area: 
- Click Close to dismiss the OWL Preferences dialog.
- Choose OWL -> Check consistency… from the menu bar.
- If Pellet has been properly installed and the Protégé-OWL editor properly configured, you will see a dialog with a title that includes the text “Connected to Pellet…”, and Protégé-OWL will have performed a consistency check of the pizza ontology:
Launch Protégé and open the “pizza.owl.pprj” file located in /examples/pizza/.
