External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Hypertableau Calculus for SHIQ

Boris Motik, Rob Shearer, Ian Horrocks. A Hypertableau Calculus for SHIQ. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, editors, Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]

Authors

Boris Motik

This author has not been identified. Look up 'Boris Motik' in Google

Rob Shearer

This author has not been identified. Look up 'Rob Shearer' in Google

Ian Horrocks

This author has not been identified. Look up 'Ian Horrocks' in Google
runs on