Vulcan
This page has pointers to documents, resources, and demos.
Contents
Project Log
1. Meeting Notes
2. System development status
3. Experiments
Documents
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.
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
OpenRuleBench: An Analysis of the Performance of Rule Engines
Demos
1. Verifying Propositions -- This interface takes a natural language sentence as input and finds support for the tuples extracted from the sentence. e.g., Antibiotics kill bacteria.
Literature
Quantification
Aurelie Herbelot, Thesis.
BLP and MLNs
- Learning to “Read Between the Lines” using Bayesian Logic Programs Raghavan and Mooney, ACL 2012.
- [http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb11.pdf Tuffy\: Scaling up Statistical Inference in
Markov Logic Networks using an RDBMS] VLDB, 2011