Added OWL individual resolution for OWLAPI reasoner implementation