Human Reasoning And Description Logics: Applying Psychological Theory to Understand And Improve The Usability of Description Logics