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.

Verifying Reasoner Correctness - A Justication Based Method

Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia. Verifying Reasoner Correctness - A Justication Based Method. In Michel Dumontier, Birte Glimm, Rafael S. Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos B. Stamou, Giorgos Stoilos, editors, Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015. Volume 1387 of CEUR Workshop Proceedings, pages 46-52, CEUR-WS.org, 2015. [doi]

Authors

Michael Lee

This author has not been identified. Look up 'Michael Lee' in Google

Nicolas Matentzoglu

This author has not been identified. Look up 'Nicolas Matentzoglu' in Google

Uli Sattler

This author has not been identified. Look up 'Uli Sattler' in Google

Bijan Parsia

This author has not been identified. Look up 'Bijan Parsia' in Google
runs on