org.semanticweb.HermiT.datalog
Class DatalogEngine
java.lang.Object
org.semanticweb.HermiT.datalog.DatalogEngine
public final class DatalogEngine
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
DatalogEngine
public DatalogEngine(DLOntology dlOntology)
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)