utilities of description logics by java