Pellet—The Open Source OWL DL Reasoner.

Pellint

Pellint is an open source lint tool for Pellet which flags and (optionally) repairs modeling constructs that are known to cause performance problems. Pellint recognizes several patterns at both the axiom and ontology level.

Installation & Usage

Pellint is now included in Pellet 2.0—the command pellet help lint will display the help screen for usage details.

Features

  1. Axiom and ontology-level detection of reasoning performance problems
  2. Optional repair
  3. Easily extensible to new patterns