Class AlchemyMlnReasoner
- java.lang.Object
-
- net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
-
- net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner
-
- All Implemented Interfaces:
QuantitativeReasoner<MarkovLogicNetwork,FolFormula>
,Reasoner<java.lang.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()
-
Method Summary
Modifier and Type Method Description double
doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
void
setAlchemyInferenceCommand(java.lang.String inferCmd)
Sets the console command for Alchemy inference (default is 'infer').-
Methods inherited from class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
query, query
-
-
-
-
Method Detail
-
setAlchemyInferenceCommand
public void setAlchemyInferenceCommand(java.lang.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)
-
-