Welcome

This is the documentation home page for the University of Manchester framework to detect Lint in OWL ontologies and for the related plugi-in built for Protégé

Lint in software is often referred to a program able to spot suspicious code that very often leads to unexpected behaviour or bugs.

The framework described here is a tentative porting of the concept of Lint to Ontology Engineering. therefore its main aim is to provide facilities to highlight pitfalls or anti-patterns in one's ontologies. Such framework has been built on the Manchester OWL API. On top of it a plug-in for Protégé Editor and Knowledge Acquisition System (version 4.1) has been implemented.