Pellet: An OWL DL Reasoner
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/dlog/SirinP04,
author = {Evren Sirin and
Bijan Parsia},
title = {Pellet: An OWL DL Reasoner},
booktitle = {Description Logics},
year = {2004},
ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/30Sirin-Parsia.pdf},
crossref = {DBLP:conf/dlog/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
