Property Chains used in Necessary Normal Form Calculation

• The Property Chains declared within the OWL Axiom reference set are now used in the NNF calculation. In addition each property with transitive behaviour is converted into a property chain for consistent behaviour.
• Also added ability to run the classification process on the command line using the executable jar.