release-0.95

• proof support via Isabelle2009-1
• more OWL prover support (Fact++)
• connection to the prover E-KRHyper
• XML output and new OMDoc in- and output
• new consistency checker GUI
• logic Reduce to connect to the computer algebra system
• dummy logic DMU (for Catia output)
• logic Maude
• logic LF