Ontology development environment for Common Logic (CL)