Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. Kaminski, M. & Smolka, G. In Grau, B. C., Horrocks, I., Motik, B., & Sattler, U., editors, Description Logics, volume 477, of CEUR Workshop Proceedings, 2009. CEUR-WS.org.
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. [pdf]Link  Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. [link]Paper  bibtex   

Downloads: 0