Module org.apache.jena.core
Package org.apache.jena.reasoner.transitiveReasoner

Class TransitiveGraphCache

java.lang.Object
org.apache.jena.reasoner.transitiveReasoner.TransitiveGraphCache
All Implemented Interfaces:
Finder
public class TransitiveGraphCache extends Object implements Finder
Datastructure used to represent a closed transitive reflexive relation. It (mostly) incrementally maintains a transitive reduction and transitive closure of the relationship and so queries should be faster than dynamically computing the closed or reduced relations.

The implementation stores the reduced and closed relations as real graph (objects linked together by pointers). For each graph node we store its direct predecessors and successors and its closed successors. A cost penalty is the storage turnover involved in turning the graph representation back into triples to answer queries. We could avoid this by optionally also storing the manifested triples for the links.

Cycles are currently handled by collapsing strongly connected components. Incremental deletes would be possible but at the price of substanially more storage and code complexity. We compromise by doing the easy cases incrementally but some deletes (those that break strongly connected components) will trigger a fresh rebuild.

TODO Combine this with interval indexes (Agrawal, Borigda and Jagadish 1989) for storing the closure of the predecessor relationship. Typical graphs will be nearly tree shaped so the successor closure is modest (L^2 where L is the depth of the tree branch) but the predecessor closure would be expensive. The interval index would handle predecessor closure nicely.

  • Constructor Details

    • TransitiveGraphCache

      public TransitiveGraphCache(Node directPredicate, Node closedPredicate)
      Constructor - create a new cache to hold the given relation information.
      Parameters:
      directPredicate - The RDF predicate representing the direct relation
      closedPredicate - The RDF predicate representing the closed relation

  • Method Details

    • getClosedPredicate

      public Node getClosedPredicate()
      Returns the closedPredicate.
      Returns:
      Node

    • getDirectPredicate

      public Node getDirectPredicate()
      Returns the directPredicate.
      Returns:
      Node

    • addRelation

      public void addRelation(Triple t)
      Register a new relation instance in the cache

    • removeRelation

      public void removeRelation(Triple t)
      Remove an instance of a relation from the cache.

    • findWithContinuation

      public ExtendedIterator<Triple> findWithContinuation(TriplePattern pattern, Finder continuation)
      Extended find interface used in situations where the implementator may or may not be able to answer the complete query.

      In this case any query on the direct or closed predicates will be assumed complete, any other query will pass on to the continuation.

      Specified by:
      findWithContinuation in interface Finder
      Parameters:
      pattern - a TriplePattern to be matched against the data
      continuation - either a Finder or a normal Graph which will be asked for additional match results if the implementor may not have completely satisfied the query.

    • contains

      public boolean contains(TriplePattern pattern)
      Return true if the given pattern occurs somewhere in the find sequence.
      Specified by:
      contains in interface Finder

    • listAllSubjects

      public ExtendedIterator<Node> listAllSubjects()
      Return an iterator over all registered subject nodes

    • isSubject

      public boolean isSubject(Node node)
      Return true if the given Node is registered as a subject node

    • cacheAll

      public boolean cacheAll(Finder graph, Node predicate)
      Cache all instances of the given predicate which are present in the given Graph.
      Parameters:
      graph - the searchable set of triples to cache
      predicate - the predicate to cache, need not be the registered predicate due to subProperty declarations
      Returns:
      returns true if new information has been cached

    • find

      public ExtendedIterator<Triple> find(TriplePattern pattern)
      Basic pattern lookup interface.
      Specified by:
      find in interface Finder
      Parameters:
      pattern - a TriplePattern to be matched against the data
      Returns:
      a ExtendedIterator over all Triples in the data set that match the pattern

    • deepCopy

      public TransitiveGraphCache deepCopy()
      Create a deep copy of the cache contents. Works by creating a completely new cache and just adding in the direct links.

    • clear

      public void clear()
      Clear the entire cache contents.

    • setCaching

      public void setCaching(boolean enable)
      Enable/disabling caching of the Triples representing the relationships. If this is enabled then a number of triples quadratic in the graph depth will be stored. If it is disabled then all queries will turn over storage dynamically creating the result triples.

    • dump

      public String dump()
      Dump a description of the cache to a string for debug.