commercial product focusing on efficient, scalable reasoning
    
    
      spin-off of University of Manchester
    
    
      enterprise-strength software platform that provides business
      logic inferencing and processing capabilities for developing
      dynamic policy-driven applications
    
    
      supports OWL