A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI (bibtex)

by Mohammad Khodadadi, Renate A. Schmidt and Dmitry Tishkovsky

Reference:

A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI (Mohammad Khodadadi, Renate A. Schmidt and Dmitry Tishkovsky), In Tableaux13, 2013, To appear..

Bibtex Entry:

@INPROCEEDINGS{tableau13,
 author    = {Mohammad Khodadadi and
               Renate A. Schmidt and
               Dmitry Tishkovsky},
title     = {A Refined Tableau Calculus with Controlled Blocking for
               the Description Logic SHOI},
booktitle = {Tableaux13},
year      = {2013},
NOTE={To appear.}
}