Optimizing TBox and ABox Reasoning with Pseudo Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Volker Haarslev, Ralf Möller. Optimizing TBox and ABox Reasoning with Pseudo Models. In Franz Baader, Ulrike Sattler, editors, Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. Volume 33 of CEUR Workshop Proceedings, pages 153-162, CEUR-WS.org, 2000. [doi]

This 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