If you want to perform inference, you need to use something capable of performing reasoning. You can use a dedicated reasoner, such as Pellet, Hermit, or Fact++, or an rdf database which supports reasoning such as Stardog or OWLIM.
You might also want to checkout the current version of OWL as the document you are referencing is quite old.