Package com.semedy.reasoner.app

Class QueryRunner

java.lang.Object

com.semedy.reasoner.api.core.DeductiveDatabase

com.semedy.reasoner.app.QueryRunner

public class QueryRunner
extends DeductiveDatabase

runner for dsl ide for a query

Author:

juergen

Constructor Summary

Constructors

Constructor	Description
QueryRunner(Core core)

Method Summary

Modifier and Type	Method	Description
ResultEnumerator	eval(InterruptFlag interruptflag, String flogic, String query, ReasoningMonitor monitor)
String	loadFactsAndRules(List<String> paths)
static void	main(String[] args)
static void	query(InterruptFlag interrupt, String querypath, PrintStream out)

Methods inherited from class com.semedy.reasoner.api.core.DeductiveDatabase

addFact, addFacts, addRule, addRule, addRules, addRulesAndFacts, applyChangeSet, backup, export, exportNQuads, exportNQuads, exportOOLogic, exportOOLogic, exportOOLogic, exportOOLogic, exportRules, exportRules, getCore, getRuleById, getRules, getSnapshotEDB, getSymbolTable, load, load, loadByStream, loadPredicates, longTransactionBegin, longTransactionCommit, longTransactionRollback, materializeQueries, materializeQueries, materializeQueries, materializeQueries, query, query, query, query, query, query, query, query, query, removeFact, removeFactEncoded, removeFacts, removeFactsEncoded, removeRuleById, removeRules, removeRulesAndFacts, transactionBegin, transactionCommit, transactionRollback

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

QueryRunner

public QueryRunner(Core core)
            throws IOException,
SemReasonerException

Throws:

IOException

SemReasonerException

Method Details

eval

public ResultEnumerator eval(InterruptFlag interruptflag,
 String flogic,
 String query,
 ReasoningMonitor monitor)
                      throws InterruptedException,
ReasoningException,
IDBException,
IOException,
SemReasonerException

Throws:

InterruptedException

ReasoningException

IDBException

IOException

SemReasonerException

loadFactsAndRules

public String loadFactsAndRules(List<String> paths)
                         throws IOException

Throws:

IOException

query

public static void query(InterruptFlag interrupt,
 String querypath,
 PrintStream out)
                  throws IOException,
InterruptedException,
ReasoningException,
IOException,
ReasoningException,
ReasoningException,
SemReasonerException

Throws:

IOException

InterruptedException

ReasoningException

IOException

ReasoningException

ReasoningException

SemReasonerException

main

public static void main(String[] args)
                 throws IOException,
InterruptedException,
ReasoningException,
IOException,
ReasoningException,
ReasoningException,
SemReasonerException

Throws:

IOException

InterruptedException

ReasoningException

IOException

ReasoningException

ReasoningException

SemReasonerException