|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| IJustificationIterator | Interface for chunked Justification iterators. |
| Class Summary | |
|---|---|
| AbstractSPOBuffer | Deprecated. by AbstractArrayBuffer, but this class is more tightly
coupled to the AbstractTripleStore. |
| BackchainOwlSameAsIterator | |
| BackchainOwlSameAsPropertiesIterator | Provides backward chaining for property collection and reverse property collection on owl:sameAs for all access paths. |
| BackchainOwlSameAsPropertiesPIterator | Provides backward chaining for property collection and reverse property collection on owl:sameAs for the ?P? and ??? access paths. |
| BackchainOwlSameAsPropertiesPOIterator | Provides backward chaining for reverse property collection on owl:sameAs for the ?PO and ??O access paths. |
| BackchainOwlSameAsPropertiesSPIterator | Provides backward chaining for property collection on owl:sameAs for the SP? and S?? access paths. |
| BackchainOwlSameAsPropertiesSPOIterator | Provides backward chaining for property collection and reverse property collection on owl:sameAs for the SPO and S?O access paths. |
| BackchainTypeResourceIterator | Provides backward chaining for (x rdf:type rdfs:Resource). |
| BackchainTypeResourceIterator.PushbackFilter<E> | Filterator style construct that allows push back of a single visited element. |
| BackchainTypeResourceIterator.PushbackIterator<E> | Implementation class for BackchainTypeResourceIterator.PushbackFilter. |
| ClosureStats | Statistics collected when performing inference. |
| FullyBufferedJustificationIterator | Fully buffers and then visits all Justifications for a given
statement. |
| Justification |
A justification for a StatementEnum.Inferred statement. |
| Justification.VisitedSPOSet | A collection of SPO objects (either fully bound or query
patterns) that have already been visited. |
| JustificationIterator | Deprecated. replace with appropriate access path reading on the justifications index for SPORelation (or treat as a secondary relation). |
| OwlSameAsPropertiesExpandingIterator | |
| RdfTypeRdfsResourceFilter | Filter matches (x rdf:type rdfs:Resource). |
| SPOAssertionBuffer | Deprecated. by AbstractElementBuffer.InsertBuffer and AbstractSolutionBuffer.InsertSolutionBuffer and the
changes to how truth maintenance is handled (by rule rewrites). |
| SPORetractionBuffer | Deprecated. by AbstractElementBuffer.DeleteBuffer and AbstractSolutionBuffer.DeleteSolutionBuffer and the
changes to how truth maintenance is handled (rule rewrites). |
| TruthMaintenance | The TruthMaintenance class facilitates maintaining the RDF(S)+
closure on a database as SPOs are asserted or retracted. |
| VarOrId | A class that models either a constant identifier for an RDF Value or
an unbound variable. |
This package provides an eager closure inference engine for most of the RDF and RDFS entailments and can be used to realize entailments for owl:sameAs, owl:equivilentClass, and owl:equivilentProperty.
The following entailment rules are NOT implemented. In general, these tends to conclude relatively useless information and lead to a large expansion of the KB.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||