Pellet: A practical OWL-DL reasoner

@article{pellet-websem5,
   apice = {PelletWebsem5},
   author = {Sirin, Evren and Parsia, Bijan and Grau, Bernardo Cuenca and Kalyanpur, Aditya and Katz, Yarden},
   doi = {10.1016/j.websem.2007.03.004},
   issn = {1570-8268},
   journal = {Journal of Web Semantics},
   keywords = {Web Ontology Language; Description logics; Tableau Theorem Proving},
   month = jun,
   number = 2,
   pages = {51--53},
   title = {Pellet: A practical {OWL-DL} reasoner},
   volume = 5,
   year = 2007
}