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

Name
Last commit
Last update
lib Loading commit data...
onto Loading commit data...
public Loading commit data...
src Loading commit data...
.gitlab-ci.yml Loading commit data...
README.md Loading commit data...
_config.yml Loading commit data...