Pellet

• Reasoner Tableau

Features

• Pellet can "accept all the definitions for the URI but treat them differently for query answer-ing. For example, if the same URI is defined both as a class and as a property, Pellet will create both a class and a property and associate the axioms with the corresponding definition. Depending on the queries, asking subclasses vs. asking sub properties, the appropriate definition will be used.

• From Using Owlincludes

  Go to text →

  • Pellet gives me a report on the non-DL aspects of my ontology and what I can add to make it more DL compliant

References

• https://stackoverflow.com/questions/17357836/using-swrl-with-jena-and-pellet
• Pellet an Owl Reasoner

---

Backlinks

• Owl Profiles Rule Based Reasoning and Handling Reasoning with the Jena API
• Pellet an Owl Reasoner
• Swrl
• Using Owlincludes