Lemmas for Justifications in OWL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthew Horridge, Bijan Parsia, Ulrike Sattler. Lemmas for Justifications in OWL. 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 'Matthew Horridge' in GoogleThis author has not been identified. Look up 'Bijan Parsia' in GoogleThis author has not been identified. Look up 'Ulrike Sattler' in Google

runs on WebDSL