Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin. Finding All Justifications of OWL DL Entailments. In Karl Aberer, Key-Sun Choi, Natasha Fridman Noy, Dean Allemang, Kyung-Il Lee, Lyndon J. B. Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, Philippe Cudré-Mauroux, editors, The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Volume 4825 of Lecture Notes in Computer Science, pages 267-280, Springer, 2007. [doi]
@inproceedings{KalyanpurPHS07,
title = {Finding All Justifications of OWL DL Entailments},
author = {Aditya Kalyanpur and Bijan Parsia and Matthew Horridge and Evren Sirin},
year = {2007},
doi = {10.1007/978-3-540-76298-0_20},
url = {http://dx.doi.org/10.1007/978-3-540-76298-0_20},
tags = {OWL},
researchr = {https://researchr.org/publication/KalyanpurPHS07},
cites = {0},
citedby = {0},
pages = {267-280},
booktitle = {The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007},
editor = {Karl Aberer and Key-Sun Choi and Natasha Fridman Noy and Dean Allemang and Kyung-Il Lee and Lyndon J. B. Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux},
volume = {4825},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-76297-3},
}