Vulcan/SystemStatus
From Knowitall
The system consists of offline and online components.
Offline Components
Component | Description | I/O | Status |
---|---|---|---|
Axioms Extractor | Input: Output: |
None. | |
Rules Generator | Input: Output: |
None. |
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. |
End-to-End Driver | Command line application. | Input: Sentence asserting an answer choice. Output:Score |
Stub implemented. |