Algebraic Tableau Algorithm for ALCOQ - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jocelyne Faddoul, Volker Haarslev, Ralf MÃ¶ller. Algebraic Tableau Algorithm for ALCOQ. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, editors, Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. Volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]

This author has not been identified. Look up 'Jocelyne Faddoul' in GoogleThis author has not been identified. Look up 'Volker Haarslev' in GoogleThis author has not been identified. Look up 'Ralf MÃ¶ller' in Google

runs on WebDSL