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.

Finite Model Reasoning in Horn-SHIQ

Yazmin Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider 0002. Finite Model Reasoning in Horn-SHIQ. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 234-245, CEUR-WS.org, 2013. [doi]

Authors

Yazmin Angélica Ibáñez-García

This author has not been identified. Look up 'Yazmin Angélica Ibáñez-García' in Google

Carsten Lutz

This author has not been identified. Look up 'Carsten Lutz' in Google

Thomas Schneider 0002

This author has not been identified. Look up 'Thomas Schneider 0002' in Google
runs on