Pellet—The Open Source OWL DL Reasoner.

Pellet FAQ: Multi-Page Version

Alternatively, check out the Pellet FAQ: Single Page Version.

General

  1. Are there any known bugs or issues with Pellet?
  2. I'm new to Pellet. How can I start?
  3. Which version of Java does Pellet require?
  4. Which version of Pellet am I using?
  5. Which version of library X is shipped within Pellet?

Configuration

  1. How can I control logging messages printed by Pellet?
  2. How is Pellet configured?

Reasoning

  1. Does Pellet support the Unique Name Assumption (UNA)?
  2. Does Pellet support closed world reasoning?
  3. Does Pellet support rules?
  4. Does Pellet reason with OWL-Full ontologies?
  5. What is punning? Does Pellet support punning?
  6. What is E-connections? Does Pellet support E-connections?

Query

  1. What is an ABox query?
  2. How can I answer SPARQL queries with Pellet?

Jena Interface

  1. How can I use Pellet with Jena?
  2. Why does Pellet produce different results than the Jena OWL reasoner?
  3. What is the difference between the Pellet and Jena query engines?
  4. How do I use Pellet with Jena concurrently?
  5. Why does Pellet run slowly in TopBraid Composer?

OWL-API Interface

  1. How can I use Pellet with OWL-API?

DIG Interface

  1. How can I use Pellet with Protégé?

KRSS

  1. How can I process KRSS files with Pellet?
  2. What parts of the KRSS syntax do Pellet support?

Tuning Performance

  1. How can I tune Pellet for ontologies with rules?

Features