add OWL reasoning