Pellint - A Performance Lint Tool for Pellet

Predicting the performance of a tableau reasoner for an OWL ontology is generally hard. It is even harder for users who are not familiar with the details of tableau algorithms. In this paper we present Pellint, a lint tool that reports and potentially repairs modeling constructs that are known to have bad performance characteristics for Pellet. We describe the collection of modeling constructs that are currently detected by Pellint and explain why these patterns typically cause performance problems. Finally we note that our implementation allows easy extension of patterns to be detected, and we encourage feedback and contribution of more problematic modeling constructs from the community.

• Type: Conference
• Year: 2008
• Where: OWLED
• Authors: Harris Lin, Evren Sirin
• Keywords: Modeling Constructs, Natural Language Processing, OWLED 2008, Tableau Algorithms, Tableau Reasoner