Open AccessAn ExpSpace Tableau-based Algorithm for SHOIQ
Author(s) -
Chan Le Duc,
Myriam Lamolle,
Olivier Curé
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , fragment (logic) , algorithm , consistency (knowledge bases) , base (topology) , temporal logic , description logic , theoretical computer science , mathematics , artificial intelligence , mathematical analysis