Deborah McGuinness is a leading expert in knowledge representation and reasoning languages and systems and has worked in ontology creation and evolution environments for over 20 years. Most recently, McGuinness is best known for her leadership role in semantic web research, and for her work on explanation, trust, and applications of semantic web technology, particularly for scientific applications.

    Her main research thrusts are in languages, tools, and environments for the semantic web. Deborah leads the Stanford Inference Web (IW) effort. Inference Web provides a framework for increasing trust in answers from heterogeneous systems by explaining how the answers were derived and what they depended on. Inference Web supports this goal by providing infrastructure and an implemented web-based environment for storing, exchanging, combining, annotating, comparing, search for, validating, and rendering proofs and proof fragments provided by reasoners and query answering systems.