Vulcan/SystemStatus
From Knowitall
The system consists of offline and online components.
Offline Components
- Axioms extractor -- To generate KB facts from existing knowledge sources.
- Rules generator -- To generate inference rules from existing sources.
Online Components
| Component | Description | I/O | Status |
|---|---|---|---|
| Proposition Extractor | Extracts propositions to be verified by the system | Input: Sentence asserting the answer choice. Output: A proposition represented as a open IE tuple. | Stub implemented: Sentence piped into Open IE 4.0. Output tuples that fit a specified pattern are converted into a proposition. |
| Evidence Finder | Searches for facts and rules that can prove the input proposition. | Input: Proposition Output: Facts represented as RDF triples and rules represented in RDF N3 notation | Stub implemented: Uses Jena RDF store and inference to find a derivation, which is parsed to output facts and rules. |
| MLN Instance Generator | Converts the evidence into MLN input format. | Input: Facts as RDF triples, and rules in N3 notation. | Stub implemented: Does a faithful translation from RDF to MLN format. |
