TBox Abduction in ALC Using a DL Tableau - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ken Halland, Arina Britz, Szymon Klarman. TBox Abduction in ALC Using a DL Tableau. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Volume 1193 of CEUR Workshop Proceedings, pages 556-566, CEUR-WS.org, 2014. [doi]

This author has not been identified. Look up 'Ken Halland' in GoogleThis author has not been identified. Look up 'Arina Britz' in GoogleThis author has not been identified. Look up 'Szymon Klarman' in Google

runs on WebDSL