OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data