Difference between revisions of "Vulcan/SystemStatus"

From Knowitall
Jump to: navigation, search
(Offline Components)
Line 1: Line 1:
The system consists of  <b>offline</b> and <b>online</b> components.
+
The system consists of  <b>online</b> and <b>offline</b> components.
  
== Offline Components ==
+
== Online Components ==
[[File:Offline-sys-arch.jpg|frame|center|alt=System Architecture|System Architecture: Offline components]]
+
 
 +
[[File:Sys-arch-online.jpg|frame|none|alt=System Architecture|System Architecture: Online components]]
  
 
{| class="wikitable"
 
{| class="wikitable"
Line 8: Line 9:
 
! Component !! Description !! I/O !! Status
 
! Component !! Description !! I/O !! Status
 
|-
 
|-
| Axioms Extractor || || Input: <br/>Output:|| <b>None</b>.
+
| 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. || <b>Stub implemented: </b> 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 || <b>Stub implemented: </b> Uses Jena RDF store and inference to find a derivation, which is parsed to output facts and rules.  
 
|-
 
|-
| Rules Generator|| || Input: <br/>Output:|| <b>None</b>.
+
| MLN Instance Generator || Converts the evidence into MLN input format. || Input: Facts as RDF triples, and rules in N3 notation. || <b>Stub implemented:</b> Does a faithful translation from RDF to MLN format.
 
|-
 
|-
 +
| End-to-End Driver || Command line application. || Input: Sentence asserting an answer choice. <br/>Output:Score || <b>Stub implemented</b>.
 +
 
|}
 
|}
  
== Online Components ==
 
  
[[File:Sys-arch-online.jpg|frame|none|alt=System Architecture|System Architecture: Online components]]
+
== Offline Components ==
 +
[[File:Offline-sys-arch.jpg|frame|center|alt=System Architecture|System Architecture: Offline components]]
  
 
{| class="wikitable"
 
{| class="wikitable"
Line 22: Line 27:
 
! Component !! Description !! I/O !! Status
 
! 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. || <b>Stub implemented: </b> Sentence piped into Open IE 4.0. Output tuples that fit a specified pattern are converted into a proposition.
+
| Axioms Extractor || || Input: <br/>Output:|| <b>None</b>.
 
|-
 
|-
| 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 || <b>Stub implemented: </b> Uses Jena RDF store and inference to find a derivation, which is parsed to output facts and rules.
+
| Rules Generator|| || Input: <br/>Output:|| <b>None</b>.
|-
 
| MLN Instance Generator || Converts the evidence into MLN input format. || Input: Facts as RDF triples, and rules in N3 notation. || <b>Stub implemented:</b> Does a faithful translation from RDF to MLN format.
 
 
|-
 
|-
| End-to-End Driver || Command line application. || Input: Sentence asserting an answer choice. <br/>Output:Score || <b>Stub implemented</b>.
 
 
 
|}
 
|}

Revision as of 20:22, 15 August 2013

The system consists of online and offline components.

Online Components

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


Offline Components

System Architecture
System Architecture: Offline components
Component Description I/O Status
Axioms Extractor Input:
Output:
None.
Rules Generator Input:
Output:
None.