public class NaiveMlnReasoner extends AbstractMlnReasoner
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
tempDirectory
Directory for temporary files.
|
Constructor and Description |
---|
NaiveMlnReasoner() |
Modifier and Type | Method and Description |
---|---|
private java.io.File |
computeModel(MarkovLogicNetwork mln,
FolSignature signature)
Computes the model of the given MLN.
|
double |
doQuery(MarkovLogicNetwork mln,
FolFormula query,
FolSignature signature)
Performs the actual querying.
|
private HerbrandInterpretation |
parseInterpretation(java.lang.String str,
FolSignature signature)
Constructs a Herbrand interpretation from the given string
|
void |
setTempDirectory(java.lang.String str)
Sets the path of the directory for temporary files.
|
computeWeight, numberOfGroundSatisfactions, query, query
public void setTempDirectory(java.lang.String str)
str
- a file pathprivate java.io.File computeModel(MarkovLogicNetwork mln, FolSignature signature)
public double doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
AbstractMlnReasoner
doQuery
in class AbstractMlnReasoner
mln
- an MLNquery
- a fol formula guaranteed to be ground.private HerbrandInterpretation parseInterpretation(java.lang.String str, FolSignature signature)
str
- a string.