Verifying Reasoner Correctness - A Justication Based Method

Michael Lee; Nicolas Matentzoglu; Uli Sattler; Bijan Parsia

Verifying Reasoner Correctness - A Justication Based Method

Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	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.
Pages	46-52
Number of pages	7
Publication status	Published - 2015

Access to Document

Cite this

Lee, M., Matentzoglu, N., Sattler, U., & Parsia, B. (2015). Verifying Reasoner Correctness - A Justication Based Method. In 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. (pp. 46-52) http://ceur-ws.org/Vol-1387/paper_3.pdf

@inproceedings{02b124f5beef485b9046cce03447da27,

title = "Verifying Reasoner Correctness - A Justication Based Method",

author = "Michael Lee and Nicolas Matentzoglu and Uli Sattler and Bijan Parsia",

year = "2015",

language = "English",

pages = "46--52",

booktitle = "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.",

}

Lee, M, Matentzoglu, N, Sattler, U & Parsia, B 2015, Verifying Reasoner Correctness - A Justication Based Method. in 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.. pp. 46-52. <http://ceur-ws.org/Vol-1387/paper_3.pdf>

Verifying Reasoner Correctness - A Justication Based Method. / Lee, Michael; Matentzoglu, Nicolas; Sattler, Uli et al.
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.. 2015. p. 46-52.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Verifying Reasoner Correctness - A Justication Based Method

AU - Lee, Michael

AU - Matentzoglu, Nicolas

AU - Sattler, Uli

AU - Parsia, Bijan

PY - 2015

Y1 - 2015

M3 - Conference contribution

SP - 46

EP - 52

BT - 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.

ER -