Difference between revisions of "Vulcan/SystemStatus"

Revision as of 20:23, 15 August 2013

The system consists of online and offline components.

System Architecture: 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.

System Architecture: Offline components

Component	Description	I/O	Status
Axioms Extractor	Generates axioms from multiple knowledge sources.	Input: Output:	None.
Rules Generator	Uses second order rule templates to generate first-order inference rules.	Input: Output:	None.

@@ Line 27: / Line 27: @@
 ! Component !! Description !! I/O !! Status
 |-
-| Axioms Extractor ||  || Input: <br/>Output:|| <b>None</b>.
+| Axioms Extractor || Generates axioms from multiple knowledge sources. || Input: <br/>Output:|| <b>None</b>.
 |-
-| Rules Generator|| || Input: <br/>Output:|| <b>None</b>.
+| Rules Generator|| Uses second order rule templates to generate first-order inference rules.|| Input: <br/>Output:|| <b>None</b>.
 |-
 |}