DL Reasoner vs. First-Order Prover - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dmitry Tsarkov, Ian Horrocks. DL Reasoner vs. First-Order Prover. In Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi, editors, Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. Volume 81 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]

This author has not been identified. Look up 'Dmitry Tsarkov' in GoogleThis author has not been identified. Look up 'Ian Horrocks' in Google

runs on WebDSL