Package org.tweetyproject.logics.mln.reasoner

Class AlchemyMlnReasoner

java.lang.Object

org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner

org.tweetyproject.logics.mln.reasoner.AlchemyMlnReasoner

All Implemented Interfaces:

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

public class AlchemyMlnReasoner
extends AbstractMlnReasoner

This class implements a wrapper for Alchemy in order to reason with MLNs. Note: implementation inspired by AlchemyWrapper of KReator (http://kreator-ide.sourceforge.net)

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AlchemyMlnReasoner()	Default

Method Summary

Modifier and Type	Method	Description
double	doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
boolean	isInstalled()
void	setAlchemyInferenceCommand(String inferCmd)	Sets the console command for Alchemy inference (default is 'infer').

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

AlchemyMlnReasoner

public AlchemyMlnReasoner()

Default

Method Details

setAlchemyInferenceCommand

public void setAlchemyInferenceCommand(String inferCmd)

Sets the console command for Alchemy inference (default is 'infer').

Parameters:

inferCmd - the console command for Alchemy inference.

doQuery

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

isInstalled

public boolean isInstalled()

Returns:

if reasoner is installed