Pellet: A practical OWL-DL reasoner
@article{pellet-websem5,
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 = {Web Semantics: Science, Services and Agents on the World Wide Web},
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}
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 = {Web Semantics: Science, Services and Agents on the World Wide Web},
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}