Specification of Ontologies in CASL