Minerva: a scalable OWL ontology storage and inference system
Pellet: An OWL DL Reasoner