Optimizing TBox and ABox Reasoning with Pseudo Models.

Volker Haarslev, Ralf Möller

Original languageEnglish
Title of host publicationDescription Logics
Number of pages10
Publication date2000
Pages153-162
Publication statusPublished - 2000

Cite this