Description du projet

This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.

Télécharger

Évaluation
Votre évaluation
Votre avis sur ce projet