org.semanticweb.HermiT.datalog
Class DatalogEngine

java.lang.Object
  extended by org.semanticweb.HermiT.datalog.DatalogEngine

public final class DatalogEngine
extends java.lang.Object


Nested Class Summary
protected static class DatalogEngine.NullExistentialExpansionStrategy
           
 
Field Summary
protected  DLOntology m_dlOntology
           
protected  ExtensionManager m_extensionManager
           
protected  InterruptFlag m_interruptFlag
           
protected  java.util.Map<Node,Term> m_nodesToTerms
           
protected  java.util.Map<Term,java.util.Set<Term>> m_termsToEquivalenceClasses
           
protected  java.util.Map<Term,Node> m_termsToNodes
           
protected  java.util.Map<Term,Term> m_termsToRepresentatives
           
 
Constructor Summary
DatalogEngine(DLOntology dlOntology)
           
 
Method Summary
 DLOntology getDLOntology()
           
 java.util.Set<Term> getEquivalenceClass(Term term)
           
 Term getRepresentative(Term term)
           
 void interrupt()
           
 boolean materialize()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_interruptFlag

protected final InterruptFlag m_interruptFlag

m_dlOntology

protected final DLOntology m_dlOntology

m_termsToNodes

protected final java.util.Map<Term,Node> m_termsToNodes

m_nodesToTerms

protected final java.util.Map<Node,Term> m_nodesToTerms

m_termsToEquivalenceClasses

protected final java.util.Map<Term,java.util.Set<Term>> m_termsToEquivalenceClasses

m_termsToRepresentatives

protected final java.util.Map<Term,Term> m_termsToRepresentatives

m_extensionManager

protected ExtensionManager m_extensionManager
Constructor Detail

DatalogEngine

public DatalogEngine(DLOntology dlOntology)
Method Detail

interrupt

public void interrupt()

materialize

public boolean materialize()

getDLOntology

public DLOntology getDLOntology()

getEquivalenceClass

public java.util.Set<Term> getEquivalenceClass(Term term)

getRepresentative

public Term getRepresentative(Term term)