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

First Author: Mohammad Khodadadi (Author)
Attributed to:  Automated Prover Generation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ceur-ws.org/Vol-846/paper_39.pdf

Type: Conference/Paper/Proceeding/Abstract

Volume: 846 of CEUR Workshop Proceedings

Parent Publication: Proceedings of the 2012 International Workshop on Description Logics