Package com.bigdata.rdf.inf

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.

See: Description

Interface Summary

Interface	Description
IJustificationIterator	Interface for chunked Justification iterators.

Class Summary

Class	Description
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<E extends ISPO>	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.

Package com.bigdata.rdf.inf Description

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.

• rdf2
• rdfs1
• rdfs4a
• rdfs4b