The Revival of Structural Subsumption in Tableau-based Reasoners

Ralf Möller, Volker Haarslev, Sebastian Wandelt. The Revival of Structural Subsumption in Tableau-based Reasoners. In Franz Baader, Carsten Lutz, Boris Motik, editors, Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. Volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.