DBLP:conf/semweb/KalyanpurPHS07

Has publishing details pp. 267-280, 2007

Has title Finding All Justifications of OWL DL Entailments

Has url http://www.informatik.uni-trier.de/~ley/db/conf/semweb/iswc2007.html#KalyanpurPHS07

Has where published ISWC/ASWC

Has year 2007

Has author Aditya Kalyanpur +, Bijan Parsia +, Matthew Horridge +, Evren Sirin +

Has identifier Finding All Justifications of OWL DL Entailments +

redirect page Finding All Justifications of OWL DL Entailments +

Categories Proceeding Paper +