A Java library for ISO Common Logic ontologies.