org.semanticweb.HermiT.tableau

Class ExtensionManager

java.lang.Object

org.semanticweb.HermiT.tableau.ExtensionManager

All Implemented Interfaces:

Serializable

public final class ExtensionManager
extends Object
implements Serializable

ExtensionManager.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExtensionManager(Tableau tableau)

Method Summary

Modifier and Type	Method and Description
boolean	addAnnotatedEquality(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2, DependencySet dependencySet)
boolean	addAssertion(DLPredicate dlPredicate, Node node, DependencySet dependencySet, boolean isCore)
boolean	addAssertion(DLPredicate dlPredicate, Node node0, Node node1, DependencySet dependencySet, boolean isCore)
boolean	addAssertion(DLPredicate dlPredicate, Node node0, Node node1, Node node2, DependencySet dependencySet, boolean isCore)
boolean	addConceptAssertion(Concept concept, Node node, DependencySet dependencySet, boolean isCore)
boolean	addDataRangeAssertion(DataRange dataRange, Node node, DependencySet dependencySet, boolean isCore)
boolean	addRoleAssertion(Role role, Node nodeFrom, Node nodeTo, DependencySet dependencySet, boolean isCore)
boolean	addTuple(Object[] tuple, DependencySet dependencySet, boolean isCore)
void	backtrack() Backtrack.
void	branchingPointPushed() Branching point pushed.
void	clear() Clear.
void	clearClash() Clear clash.
static boolean	containsAnnotatedEquality(Node node0, Node node1, Node node2)
boolean	containsAssertion(DLPredicate dlPredicate, Node node)
boolean	containsAssertion(DLPredicate dlPredicate, Node node0, Node node1)
boolean	containsAssertion(DLPredicate dlPredicate, Node node0, Node node1, Node node2)
boolean	containsClash()
boolean	containsConceptAssertion(Concept concept, Node node)
boolean	containsDataRangeAssertion(DataRange range, Node node)
boolean	containsRoleAssertion(Role role, Node nodeFrom, Node nodeTo)
boolean	containsTuple(Object[] tuple)
DependencySet	getAssertionDependencySet(DLPredicate dlPredicate, Node node)
DependencySet	getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1)
DependencySet	getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1, Node node2)
ExtensionTable	getBinaryExtensionTable()
DependencySet	getClashDependencySet()
DependencySet	getConceptAssertionDependencySet(Concept concept, Node node)
DependencySet	getDataRangeAssertionDependencySet(DataRange range, Node node)
ExtensionTable	getExtensionTable(int arity)
Collection<ExtensionTable>	getExtensionTables()
DependencySet	getRoleAssertionDependencySet(Role role, Node nodeFrom, Node nodeTo)
ExtensionTable	getTernaryExtensionTable()
DependencySet	getTupleDependencySet(Object[] tuple)
boolean	isCore(Object[] tuple)
boolean	propagateDeltaNew()
void	setClash(DependencySet clashDependencySet)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtensionManager

public ExtensionManager(Tableau tableau)

Parameters:

tableau - tableau

Method Detail

clear

public void clear()

Clear.

branchingPointPushed

public void branchingPointPushed()

Branching point pushed.

backtrack

public void backtrack()

Backtrack.

getBinaryExtensionTable

public ExtensionTable getBinaryExtensionTable()

Returns:

binary extension table

getTernaryExtensionTable

public ExtensionTable getTernaryExtensionTable()

Returns:

ternary extension table

getExtensionTable

public ExtensionTable getExtensionTable(int arity)

Parameters:

arity - arity

Returns:

extension table

getExtensionTables

public Collection<ExtensionTable> getExtensionTables()

Returns:

extension tables

propagateDeltaNew

public boolean propagateDeltaNew()

Returns:

true if changes are created

clearClash

public void clearClash()

Clear clash.

setClash

public void setClash(DependencySet clashDependencySet)

Parameters:

clashDependencySet - clashDependencySet

getClashDependencySet

public DependencySet getClashDependencySet()

Returns:

clash set

containsClash

public boolean containsClash()

Returns:

true if clash contained

containsConceptAssertion

public boolean containsConceptAssertion(Concept concept,
                                        Node node)

Parameters:

concept - concept

node - node

Returns:

true if assertion contained

containsDataRangeAssertion

public boolean containsDataRangeAssertion(DataRange range,
                                          Node node)

Parameters:

range - range

node - node

Returns:

true if assertion contained

containsRoleAssertion

public boolean containsRoleAssertion(Role role,
                                     Node nodeFrom,
                                     Node nodeTo)

Parameters:

role - role

nodeFrom - nodeFrom

nodeTo - nodeTo

Returns:

true if assertion contained

containsAssertion

public boolean containsAssertion(DLPredicate dlPredicate,
                                 Node node)

Parameters:

dlPredicate - dlPredicate

node - node

Returns:

true if assertion contained

containsAssertion

public boolean containsAssertion(DLPredicate dlPredicate,
                                 Node node0,
                                 Node node1)

Parameters:

dlPredicate - dlPredicate

node0 - node0

node1 - node1

Returns:

true if assertion contained

containsAssertion

public boolean containsAssertion(DLPredicate dlPredicate,
                                 Node node0,
                                 Node node1,
                                 Node node2)

containsAnnotatedEquality

public static boolean containsAnnotatedEquality(Node node0,
                                                Node node1,
                                                Node node2)

Parameters:

node0 - node0

node1 - node1

node2 - node2

Returns:

true if equality included

containsTuple

public boolean containsTuple(Object[] tuple)

Parameters:

tuple - tuple

Returns:

true if tuple contained

getConceptAssertionDependencySet

public DependencySet getConceptAssertionDependencySet(Concept concept,
                                                      Node node)

Parameters:

concept - concept

node - node

Returns:

dependency set

getDataRangeAssertionDependencySet

public DependencySet getDataRangeAssertionDependencySet(DataRange range,
                                                        Node node)

getRoleAssertionDependencySet

public DependencySet getRoleAssertionDependencySet(Role role,
                                                   Node nodeFrom,
                                                   Node nodeTo)

getAssertionDependencySet

public DependencySet getAssertionDependencySet(DLPredicate dlPredicate,
                                               Node node)

Parameters:

dlPredicate - dlPredicate

node - node

Returns:

dependency set

getAssertionDependencySet

public DependencySet getAssertionDependencySet(DLPredicate dlPredicate,
                                               Node node0,
                                               Node node1)

Parameters:

dlPredicate - dlPredicate

node0 - node0

node1 - node1

Returns:

dependency set

getAssertionDependencySet

public DependencySet getAssertionDependencySet(DLPredicate dlPredicate,
                                               Node node0,
                                               Node node1,
                                               Node node2)

getTupleDependencySet

public DependencySet getTupleDependencySet(Object[] tuple)

isCore

public boolean isCore(Object[] tuple)

addConceptAssertion

public boolean addConceptAssertion(Concept concept,
                                   Node node,
                                   DependencySet dependencySet,
                                   boolean isCore)

Parameters:

concept - concept

node - node

dependencySet - dependencySet

isCore - isCore

Returns:

true if assertion added

addDataRangeAssertion

public boolean addDataRangeAssertion(DataRange dataRange,
                                     Node node,
                                     DependencySet dependencySet,
                                     boolean isCore)

Parameters:

dataRange - dataRange

node - node

dependencySet - dependencySet

isCore - isCore

Returns:

true if assertion added

addRoleAssertion

public boolean addRoleAssertion(Role role,
                                Node nodeFrom,
                                Node nodeTo,
                                DependencySet dependencySet,
                                boolean isCore)

Parameters:

role - role

nodeFrom - nodeFrom

nodeTo - nodeTo

dependencySet - dependencySet

isCore - isCore

Returns:

true if role assertion added

addAssertion

public boolean addAssertion(DLPredicate dlPredicate,
                            Node node,
                            DependencySet dependencySet,
                            boolean isCore)

Parameters:

dlPredicate - dlPredicate

node - node

dependencySet - dependencySet

isCore - isCore

Returns:

true if assertion added

addAssertion

public boolean addAssertion(DLPredicate dlPredicate,
                            Node node0,
                            Node node1,
                            DependencySet dependencySet,
                            boolean isCore)

Parameters:

dlPredicate - dlPredicate

node0 - node0

node1 - node1

dependencySet - dependencySet

isCore - isCore

Returns:

true if assertion added

addAssertion

public boolean addAssertion(DLPredicate dlPredicate,
                            Node node0,
                            Node node1,
                            Node node2,
                            DependencySet dependencySet,
                            boolean isCore)

Parameters:

dlPredicate - dlPredicate

node0 - node0

node1 - node1

node2 - node2

dependencySet - dependencySet

isCore - isCore

Returns:

true if assertion added

addAnnotatedEquality

public boolean addAnnotatedEquality(AnnotatedEquality annotatedEquality,
                                    Node node0,
                                    Node node1,
                                    Node node2,
                                    DependencySet dependencySet)

Parameters:

annotatedEquality - annotatedEquality

node0 - node0

node1 - node1

node2 - node2

dependencySet - dependencySet

Returns:

true if annotation added

addTuple

public boolean addTuple(Object[] tuple,
                        DependencySet dependencySet,
                        boolean isCore)

Parameters:

tuple - tuple

dependencySet - dependencySet

isCore - isCore

Returns:

true if tuple added