Package openllet.core.tracker

Interface IncrementalChangeTracker

  • All Known Implementing Classes:
    SimpleIncrementalChangeTracker
    public interface IncrementalChangeTracker

    Title: Incremental change tracker

    Description: Tracks the changes for incremental ABox reasoning services

    Copyright: Copyright (c) 2008

    Company: Clark & Parsia, LLC.

    Author:
    Mike Smith

    • Method Detail

      • addDeletedEdge

        boolean addDeletedEdge​(Edge e)
        Record that a new edge has been deleted from the ABox
        Parameters:
        e - the Edge
        Returns:
        boolean true if delete is not already noted for edge, false else

      • addDeletedType

        boolean addDeletedType​(Node n,
                       openllet.aterm.ATermAppl type)
        Record that a type was deleted from an _individual
        Parameters:
        n - the Node
        type - the type
        Returns:
        boolean true if delete is not already noted for _node, type pair false else

      • addNewEdge

        boolean addNewEdge​(Edge e)
        Record that a new edge has been added to the ABox
        Parameters:
        e - the Edge
        Returns:
        boolean true if addition is not already noted for edge, false else

      • addNewIndividual

        boolean addNewIndividual​(Individual i)
        Record that a new _individual has been added to the ABox
        Parameters:
        i - the Individual
        Returns:
        boolean true if addition is not already noted for _individual, false else

      • addUnprunedNode

        boolean addUnprunedNode​(Node n)
        Record that a _node has been "unpruned" because a merge was reverted during restore
        Parameters:
        n - the Node
        Returns:
        boolean true if unpruning is not already noted for _node, false else

      • addUpdatedIndividual

        boolean addUpdatedIndividual​(Individual i)
        Record that an _individual has been updated
        Parameters:
        i - the Individual
        Returns:
        boolean true if addition is not already noted for _individual, false else

      • clear

        void clear()
        Clear all recorded changes

      • copy

        IncrementalChangeTracker copy​(ABoxImpl target)
        Copy change tracker for use with a new ABox (presumably as part of ABox.copy())
        Parameters:
        target - The ABox for the copy
        Returns:
        a copy, with individuals in the target ABox

      • deletedEdges

        java.util.Iterator<Edge> deletedEdges()
        Iterate over all edges deleted (see addDeletedEdge(Edge)) since the previous clear()
        Returns:
        Iterator

      • deletedTypes

        java.util.Iterator<java.util.Map.Entry<Node,​java.util.Set<openllet.aterm.ATermAppl>>> deletedTypes()
        Iterate over all _nodes with deleted types (and those types) (see addDeletedType(Node, ATermAppl)) since the previous clear()
        Returns:
        Iterator

      • newEdges

        java.util.Iterator<Edge> newEdges()
        Iterate over all edges added (see addNewEdge(Edge)) since the previous clear()
        Returns:
        Iterator

      • unprunedNodes

        java.util.Iterator<Node> unprunedNodes()
        Iterate over all _nodes unpruned (see addUnprunedIndividual) since the previous clear()
        Returns:
        Iterator