Ce projet est un reasoner Description Logic (DL) qui remplace la sémantique basée sur l'appartenance à un ensemble par une sémantique basée sur des objets et des FLÈCHES. Il permet la compilation de l'ontologie COWL et offre des fonctionnalités d'analyse, de classification et d'inférence de relations entre objets.