Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Inference Web

Inference Web  Point of Contact:  Dr Deborah L. McGuinness

Mailing address:
AI Center
SRI International
333 Ravenswood Avenue
Menlo Park, CA 94025-3493

Home page at http://www.ksl.stanford.edu/software/iw/

   Software Description

Inference Web (IW) is a framework for explaining Semantic Web reasoning tasks by storing, exchanging, combining, annotating, comparing and rendering proofs and proof fragments provided by reasoners embedded in Semantic Web applications and facilities.

   Developers

Name Title E-mail
Glass, Alyssa Computer Scientist
McGuinness, Deborah L. Assoc. Dir. and Sr. Research Scientist, Stanford

   Associated Projects
SHAKEN

A Knowledge Entry System for Subject Matter Experts
The goal of SHAKEN project is to enable subject matter experts , without any assistance from AI technologists, to assemble the models of processes and mechanisms so that questions about them can be answered by declarative inference and simulation.

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy