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()

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()
  
  Returns:
  
  if reasoner is installed