Skip to : [Content] [Navigation]
 

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 reason with OWL-Full ontologies?
  2. Does Pellet support closed world reasoning?
  3. Does Pellet support the Unique Name Assumption (UNA)?
  4. Does Pellet support rules?
  5. What is punning? Does Pellet support punning?

Query

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

Jena Interface

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

OWL-API Interface

  1. How can I use Pellet with OWL-API?
  2. How can the reasoner be updated after a loaded ontology is modified?

Protégé

  1. How can I use Pellet with Protégé 4?
  2. What version of Pellet is included in the Pellet Reasoner Plug-in for Protégé 4?

DIG Interface

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

KRSS

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

Tuning Performance

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