Vol-845⫷ Vol-846 ⫸Vol-847
urn:nbn:de:0074-846-0

Copyright © 2012 for the individual papers by the papers' authors. Copyright © 2012 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

None⫷None ⫸None

Dmitry Tishkovsky

Mohammad Khodadadi

Renate A. Schmidt

An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting