SRI's Artificial Intelligence Center 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. Search  |  Contact  |  SRI Home
Space 1x1
 AIC Home   >   Software   >   Inference Web
Space 1x1

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.
 

Spacer 1x1
Spacer 1x1
 
SRI International

©2008 SRI International, 333 RavenswoodAvenue, Menlo Park, CA 94025-3493
SRI International is a nonprofit corporation. Privacy policy