KSL conducts research in the areas of knowledge representation and automated
reasoning in the
Intelligence Laboratory of the Department of Computer Science at
Current work focuses on enabling technology for the Semantic Web, hybrid reasoning, explaining answers from heterogeneous
applications, deductive question-answering, representing and reasoning with multiple contexts, knowledge aggregation,
ontology engineering, and knowledge-based technology for intelligence analysts and other knowledge workers.