Mentions légales du service

Skip to content
S

Stare

Project ID: 12375

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).