Class SimpleMlnReasoner

java.lang.Object

org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner

org.tweetyproject.logics.mln.reasoner.SimpleMlnReasoner

All Implemented Interfaces:

QuantitativeReasoner<MarkovLogicNetwork, FolFormula>, Reasoner<Double, MarkovLogicNetwork, FolFormula>

public class SimpleMlnReasoner
extends AbstractMlnReasoner

This class implements a simple reasoner for MLNs.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
SimpleMlnReasoner()	Default

Method Summary

Modifier and Type	Method	Description
double	doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
boolean	isInstalled()	Checks if the reasoner is installed.
void	setTempDirectory(String str)	Sets the path of the directory for temporary files.

Methods inherited from class org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner

query, query

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleMlnReasoner

public SimpleMlnReasoner()

Default

Method Details

setTempDirectory

public void setTempDirectory(String str)

Sets the path of the directory for temporary files.

Parameters:

str - a file path

doQuery

public double doQuery(MarkovLogicNetwork mln,
 FolFormula query,
 FolSignature signature)

isInstalled

public boolean isInstalled()

Description copied from interface: QuantitativeReasoner

Checks if the reasoner is installed.

Returns:

if reasoner is installed