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