Difference between revisions of "Vulcan"

Revision as of 18:14, 15 August 2013

This page has pointers to documents, resources, and demos.

Project Log

1. Meeting Notes
2. System development status
3. Experiments

Documents

1.Inference Example

2.System Design [Added a system architecture figure.]

3.Stephen's examples for quantification inference, and rule templates

Resources

Questions

NY Regents Sample of 4th-12th grade questions.

Current Training Set.

Definitions

Concept and Definitions extracted from 4th grade specific resources by Harcourt and McMillan.

A subset of definitions covering 4th grade science syllabus. The definitions are extracted from about seven different dictionaries.

Wikipedia sentences covering the target concepts.

Study Guide materials

Barrons Grade 4 Science Topics

Barrons Grade 4 Science Sentences

Software

Triplestores and Graph Inference Systems

A comparison of semantic reasoners

A comparison of Triplestores

OpenRuleBench: An Analysis of the Performance of Rule Engines

Demos and Services

UW

Proposition Verifier -- This interface will take in a natural language sentence as input, convert it into a proposition, and find evidence for it using UW's inference system.

Vulcan

Vulcan Evaluation Server -- Select the **SECOND** entry (Direct Question-Answering (XML returned)) and type in a question. If the UW question-answerer can return answers in the same structure, then the tester can interface with it and run the exams through.

Literature

Quantification

Underspecified Quantification

Aurelie Herbelot, Thesis.

BLP and MLNs

1. Learning to Read Between the Lines using Bayesian Logic Programs Raghavan and Mooney, ACL 2012.

2. Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS VLDB 2011. Slides