com.clarkparsia.pellet
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 Summary
 boolean addDeletedEdge(Edge e)
          Record that a new edge has been deleted from the ABox
 boolean addDeletedType(Node n, aterm.ATermAppl type)
          Record that a type was deleted from an individual
 boolean addNewEdge(Edge e)
          Record that a new edge has been added to the ABox
 boolean addNewIndividual(Individual i)
          Record that a new individual has been added to the ABox
 boolean addUnprunedNode(Node n)
          Record that a node has been "unpruned" because a merge was reverted during restore
 boolean addUpdatedIndividual(Individual i)
          Record that an individual has been updated
 void clear()
          Clear all recorded changes
 IncrementalChangeTracker copy(ABox target)
          Copy change tracker for use with a new ABox (presumably as part of ABox.copy())
 java.util.Iterator<Edge> deletedEdges()
          Iterate over all edges deleted (see addDeletedEdge(Edge)) since the previous clear()
 java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<aterm.ATermAppl>>> deletedTypes()
          Iterate over all nodes with deleted types (and those types) (see addDeletedType(Node, ATermAppl)) since the previous clear()
 java.util.Iterator<Edge> newEdges()
          Iterate over all edges added (see addNewEdge(Edge)) since the previous clear()
 java.util.Iterator<Individual> newIndividuals()
          Iterate over all individuals added (see addNewIndividual(Individual)) since the previous clear()
 java.util.Iterator<Node> unprunedNodes()
          Iterate over all nodes unpruned (see #addUnprunedIndividual(Individual)) since the previous clear()
 java.util.Iterator<Individual> updatedIndividuals()
          Iterate over all individuals updated (see addUpdatedIndividual(Individual)) since the previous clear()
 

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,
                       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(ABox 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<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

newIndividuals

java.util.Iterator<Individual> newIndividuals()
Iterate over all individuals added (see addNewIndividual(Individual)) since the previous clear()

Returns:
Iterator

unprunedNodes

java.util.Iterator<Node> unprunedNodes()
Iterate over all nodes unpruned (see #addUnprunedIndividual(Individual)) since the previous clear()

Returns:
Iterator

updatedIndividuals

java.util.Iterator<Individual> updatedIndividuals()
Iterate over all individuals updated (see addUpdatedIndividual(Individual)) since the previous clear()

Returns:
Iterator


Copyright © 2004 Evren Sirin. All Rights Reserved.