Le projet stare vise à développer un reasoner pour les ontologies exprimées en Description Logics, prenant en charge les link keys. La technique de compressed-tableau est utilisée pour optimiser le raisonnement.