Improved UCL syntax interfacing with OWLKB