Pellint is an ontology lint tool that is primarily designed to detect modeling patterns that will slow down reasoning performance. In this release we extend the built-in patterns to recognize some more cases regarding General Concept Inclusion (GCI) axioms, e.g. subClassOf axioms with a complex class on the left hand side.
The other new feature in this release is lint capabilities at the RDF level to report untyped and multiple typed resources. In OWL-DL, it is not allowed to use a URI in an axiom without a rdf:type triple indicating if the URI is a class, an object property, a datatype property or an individual. It is also not allowed to use the same URI with multiple types in one of these categories.
Untyped and multiple typed URIs are automatically detected and ‘patched’ by Pellet. However, these kinds of issues might indicate an error in the ontology, e.g. the most common case is a spelling error in the URIs. For this reason, we included the type checking feature into this version of Pellint along with the capability to serialize the missing type declarations merged with the original ontology. Pellint extends the syntax checking capabilities of Pellet by handling the new OWL2 vocabulary and the SWRL constructs.
In the future versions of Pellint we expect to adjust the RDF syntax checking feature with respect to the changes to OWL2 made by the OWL working group. We also expect to include information about OWL2 profiles since it is directly related to the reasoning performance.
Note: Pellint is now available as part of Pellet's command-line utilities.