Towards Implementing Finite Model Reasoning in Description Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo. Towards Implementing Finite Model Reasoning in Description Logics. In Volker Haarslev, Ralf Möller, editors, Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]

This author has not been identified. Look up 'Marco Cadoli' in GoogleThis author has not been identified. Look up 'Diego Calvanese' in GoogleThis author has not been identified. Look up 'Giuseppe De Giacomo' in Google

runs on WebDSL