de.fau.cs.www8.jadeowlcodec
Class QuickTellResult

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.AbstractReasonerResult
      de.fau.cs.www8.jadeowlcodec.QuickTellResult

public class QuickTellResult
extends AbstractReasonerResult

parses the resulting DOM from a tell to give easy access to result state, warnings and errors this is no complete consistency check, use CompleteCheckResult to get a full check after this gives ok

Author:

Ulf Schreiber

Field Summary

Fields inherited from class de.fau.cs.www8.jadeowlcodec.AbstractReasonerResult

errors, result, warnings

Method Summary

static AbstractReasonerResult	createTellResult(ReasonerKBHandle kb, AbsTripleStore ts)
static AbstractReasonerResult	createTellResult(ReasonerKBHandle kb, RDFOWLDocument owlDoc)
static AbstractReasonerResult	createTellResult(ReasonerKBHandle kb, RDFOWLDocument owlDoc, boolean wasConsistent)
static AbstractReasonerResult	createTellResult(ReasonerKBHandle kb, java.lang.String tellsBody)
static AbstractReasonerResult	createTellResult(ReasonerKBHandle kb, java.lang.String tellsBody, boolean wasConsistent)
boolean	wasKbConsistentBefore()

Methods inherited from class de.fau.cs.www8.jadeowlcodec.AbstractReasonerResult

getErrors, getWarnings, isOk, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

createTellResult

public static AbstractReasonerResult createTellResult(ReasonerKBHandle kb,
                                                      AbsTripleStore ts)

createTellResult

public static AbstractReasonerResult createTellResult(ReasonerKBHandle kb,
                                                      RDFOWLDocument owlDoc)

createTellResult

public static AbstractReasonerResult createTellResult(ReasonerKBHandle kb,
                                                      RDFOWLDocument owlDoc,
                                                      boolean wasConsistent)

createTellResult

public static AbstractReasonerResult createTellResult(ReasonerKBHandle kb,
                                                      java.lang.String tellsBody,
                                                      boolean wasConsistent)

createTellResult

public static AbstractReasonerResult createTellResult(ReasonerKBHandle kb,
                                                      java.lang.String tellsBody)

wasKbConsistentBefore

public boolean wasKbConsistentBefore()