OWL SAIQL - An OWL DL Query Language for Ontology Extraction
Pellet: An OWL DL Reasoner