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: about 1 year ago - Stars: 0 - Forks: 0