Difference between revisions of "Vulcan/SystemStatus"

Revision as of 20:22, 15 August 2013

The system consists of offline and online components.

System Architecture: Offline components

Component	Description	I/O	Status
Axioms Extractor		Input: Output:	None.
Rules Generator			Input: Output:	None.

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.

@@ Line 3: / Line 3: @@
 == Offline Components ==
 [[File:Offline-sys-arch.jpg|frame|center|alt=System Architecture|System Architecture: Offline components]]
+{| class="wikitable"
+|-
+! Component !! Description !! I/O !! Status
+|-
+| Axioms Extractor ||  || Input: <br/>Output:|| <b>None</b>.
+|-
+| Rules Generator|| ||  || Input: <br/>Output:|| <b>None</b>.
+|-
+|}
 == Online Components ==