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 Description Logics, 2013.

Bibtex Entry:

@INPROCEEDINGS{DL13,
 author    = {Mohammad Khodadadi and
               Renate A. Schmidt and
               Dmitry Tishkovsky},
title     = {A Refined Tableau Calculus with Controlled Blocking for
               the Description Logic SHOI},
booktitle = {Description Logics},
year      = {2013},
pages     = {724-734},
URL        = {http://ceur-ws.org/Vol-1014/paper_28.pdf},
}