A Multi-reasoner, Justification-Based Approach to Reasoner Correctness

Michael Lee; Nicolas Matentzoglu; Bijan Parsia; Uli Sattler

doi:10.1007/978-3-319-25010-6_26

A Multi-reasoner, Justification-Based Approach to Reasoner Correctness

Michael Lee, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler

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

Original language	English
Title of host publication	The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II
Pages	393-408
Number of pages	16
Volume	9367
DOIs	https://doi.org/10.1007/978-3-319-25010-6_26
Publication status	Published - 2015
Event	ISWC 2015: The 14th International Semantic Web Conference - Bethlehem, Pennsylvania Duration: 11 Oct 2015 → 15 Oct 2015

Conference

Conference	ISWC 2015: The 14th International Semantic Web Conference
City	Bethlehem, Pennsylvania
Period	11/10/15 → 15/10/15

Keywords

OWL
reasoning
debugging
justifications

Access to Document

10.1007/978-3-319-25010-6_26

Cite this

@inproceedings{e90588bff6a948928c68bdeb96fd11e0,

title = "A Multi-reasoner, Justification-Based Approach to Reasoner Correctness",

keywords = "OWL, reasoning, debugging, justifications",

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

year = "2015",

doi = "10.1007/978-3-319-25010-6\_26",

language = "English",

isbn = "978-3-319-25009-0",

volume = "9367",

pages = "393--408",

booktitle = "The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II",

note = "ISWC 2015: The 14th International Semantic Web Conference ; Conference date: 11-10-2015 Through 15-10-2015",

}

Lee, M, Matentzoglu, N, Parsia, B & Sattler, U 2015, A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. in The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II. vol. 9367, pp. 393-408, ISWC 2015: The 14th International Semantic Web Conference, Bethlehem, Pennsylvania, 11/10/15. https://doi.org/10.1007/978-3-319-25010-6_26

A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. / Lee, Michael; Matentzoglu, Nicolas; Parsia, Bijan et al.
The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II. Vol. 9367 2015. p. 393-408.

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

TY - GEN

T1 - A Multi-reasoner, Justification-Based Approach to Reasoner Correctness

AU - Lee, Michael

AU - Matentzoglu, Nicolas

AU - Parsia, Bijan

AU - Sattler, Uli

PY - 2015

Y1 - 2015

KW - OWL

KW - reasoning

KW - debugging

KW - justifications

UR - https://www.scopus.com/pages/publications/84952667610

U2 - 10.1007/978-3-319-25010-6_26

DO - 10.1007/978-3-319-25010-6_26

M3 - Conference contribution

SN - 978-3-319-25009-0

VL - 9367

SP - 393

EP - 408

BT - The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II

T2 - ISWC 2015: The 14th International Semantic Web Conference

Y2 - 11 October 2015 through 15 October 2015

ER -

A Multi-reasoner, Justification-Based Approach to Reasoner Correctness

Conference

Keywords

Access to Document

Other files and links

Cite this