gitlab.inria.fr / DLreasoners 1 Repository
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).
Last synced at: 8 months ago - Stars: 0 - Forks: 0