| Package | Description |
|---|---|
| edu.cornell.mannlib.vitro.webapp.tboxreasoner | |
| edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl.jfact |
| Modifier and Type | Field and Description |
|---|---|
static ReasonerStatementPattern |
ReasonerStatementPattern.ANY_OBJECT_PROPERTY |
| Modifier and Type | Field and Description |
|---|---|
Set<ReasonerStatementPattern> |
ReasonerConfiguration.inferenceDrivingPatternAllowSet |
Set<ReasonerStatementPattern> |
ReasonerConfiguration.inferenceDrivingPatternDenySet |
Set<ReasonerStatementPattern> |
ReasonerConfiguration.inferenceReceivingPatternAllowSet |
| Modifier and Type | Method and Description |
|---|---|
static ReasonerStatementPattern |
ReasonerStatementPattern.objectPattern(com.hp.hpl.jena.rdf.model.Property predicate) |
static ReasonerStatementPattern |
ReasonerStatementPattern.objectPattern(com.hp.hpl.jena.rdf.model.Statement stmt) |
| Modifier and Type | Method and Description |
|---|---|
LinkedList<ReasonerStatementPattern> |
PatternListBuilder.build() |
Set<ReasonerStatementPattern> |
ReasonerConfiguration.getInferenceDrivingPatternAllowSet() |
Set<ReasonerStatementPattern> |
ReasonerConfiguration.getInferenceDrivingPatternDenySet() |
Set<ReasonerStatementPattern> |
ReasonerConfiguration.getInferenceReceivingPatternAllowSet() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ReasonerStatementPattern.matches(ReasonerStatementPattern that)
All fields must match, either by being equal, or by being a wild card.
|
| Modifier and Type | Method and Description |
|---|---|
List<com.hp.hpl.jena.rdf.model.Statement> |
TBoxReasoner.filterResults(List<ReasonerStatementPattern> patternList)
List all of the statements that satisfy any of these patterns, after
updating and reasoning.
|
void |
ReasonerConfiguration.setInferenceDrivingPatternAllowSet(Set<ReasonerStatementPattern> patternSet) |
void |
ReasonerConfiguration.setInferenceDrivingPatternDenySet(Set<ReasonerStatementPattern> patternSet) |
void |
ReasonerConfiguration.setInferenceReceivingPatternAllowSet(Set<ReasonerStatementPattern> patternSet) |
void |
InferenceModelUpdater.update(List<ReasonerStatementPattern> patternList)
Synchronize the inferences model with the reasoner model, with this
proviso:
If a statement exists anywhere in the full TBox, don't bother adding it
to the inferences model.
|
| Constructor and Description |
|---|
DrivingPatternMap(Set<ReasonerStatementPattern> patternSet) |
| Modifier and Type | Method and Description |
|---|---|
List<com.hp.hpl.jena.rdf.model.Statement> |
JFactTBoxReasoner.filterResults(List<ReasonerStatementPattern> patternList) |
Copyright © 2016. All rights reserved.