use similar methods that are used in the Verified OWL client
Merge pull request #1 from credibility/owl-client

use similar methods that are used in the Verified OWL client