gitlab.inria.fr / DLreasoners 1 Dépôt
DLreasoners/stare
The project aims to develop a reasoner which is based on a new optimization technique, called compressed-tableau. This reasoner allows to reason on ontologies expressed in Description Logics (e.g. OWL ontologies).
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0