An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting (2012)
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