KSL conducts research in the areas of knowledge representation and automated reasoning in the Artificial Intelligence Laboratory of the Department of Computer Science at Stanford University. 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.