Modifier and Type | Method and Description |
---|---|
protected Set<Justification> |
ReasoningEngine.getBaseJustifications(KiWiReasoningConnection connection,
Set<Justification> justifications)
For all justifications contained in the set passed as argument, create corresponding base justifications,
i.e.
|
protected Collection<Justification> |
ReasoningEngine.getJustifications(KiWiReasoningConnection connection,
KiWiTriple t,
Set<Justification> transactionJustifications)
Return the justifications for the triple passed as argument.
|
Modifier and Type | Method and Description |
---|---|
protected Set<Justification> |
ReasoningEngine.getBaseJustifications(KiWiReasoningConnection connection,
Set<Justification> justifications)
For all justifications contained in the set passed as argument, create corresponding base justifications,
i.e.
|
protected Collection<Justification> |
ReasoningEngine.getJustifications(KiWiReasoningConnection connection,
KiWiTriple t,
Set<Justification> transactionJustifications)
Return the justifications for the triple passed as argument.
|
Modifier and Type | Method and Description |
---|---|
protected Justification |
KiWiReasoningConnection.constructJustificationFromDatabase(ResultSet row) |
Modifier and Type | Method and Description |
---|---|
info.aduna.iteration.CloseableIteration<Justification,SQLException> |
KiWiReasoningConnection.listJustificationsBySupporting(KiWiTriple triple)
List all justifications supported by the given triple.
|
info.aduna.iteration.CloseableIteration<Justification,SQLException> |
KiWiReasoningConnection.listJustificationsBySupporting(Rule rule)
List all justifications supported by the given rule.
|
info.aduna.iteration.CloseableIteration<Justification,SQLException> |
KiWiReasoningConnection.listJustificationsForTriple(KiWiTriple triple)
List all justifications supporting the given triple.
|
info.aduna.iteration.CloseableIteration<Justification,SQLException> |
KiWiReasoningConnection.listJustificationsForTriple(long tripleId)
List all justifications supporting the given triple.
|
Modifier and Type | Method and Description |
---|---|
void |
KiWiReasoningConnection.deleteJustifications(Iterable<Justification> justifications)
Delete the justifications given as argument (batch operation).
|
void |
KiWiReasoningConnection.deleteJustifications(info.aduna.iteration.Iteration<Justification,SQLException> justifications)
Delete the justifications given as argument (batch operation).
|
void |
KiWiReasoningConnection.storeJustifications(Iterable<Justification> justifications)
Store a collection of new justification in the database.
|
Modifier and Type | Method and Description |
---|---|
info.aduna.iteration.CloseableIteration<Justification,org.openrdf.sail.SailException> |
KiWiReasoningSail.justify(long tripleId)
List the justifications for the triple with the id given as argument.
|
Modifier and Type | Method and Description |
---|---|
info.aduna.iteration.CloseableIteration<Justification,org.openrdf.sail.SailException> |
ReasoningSailProvider.justify(long tripleId)
List the justifications for the triple with the id given as argument.
|
Copyright © 2012–2018 The Apache Software Foundation. All rights reserved.