org.semanticweb.HermiT.datalog

Class DatalogEngine

java.lang.Object

org.semanticweb.HermiT.datalog.DatalogEngine

public final class DatalogEngine
extends Object

Datalog engine.

Constructor Summary

Constructors

Constructor and Description
DatalogEngine(DLOntology dlOntology)

Method Summary

Modifier and Type	Method and Description
DLOntology	getDLOntology()
Set<Term>	getEquivalenceClass(Term term)
Term	getRepresentative(Term term)
void	interrupt()
boolean	materialize()

Methods inherited from class java.lang.Object

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

Constructor Detail

DatalogEngine

public DatalogEngine(DLOntology dlOntology)

Parameters:

dlOntology - dlOntology

Method Detail

interrupt

public void interrupt()

materialize

public boolean materialize()

Returns:

true if no clashes

getDLOntology

public DLOntology getDLOntology()

Returns:

ontology

getEquivalenceClass

public Set<Term> getEquivalenceClass(Term term)

Parameters:

term - term

Returns:

equivalence classes

getRepresentative

public Term getRepresentative(Term term)

Parameters:

term - term

Returns:

representative