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>
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
-
Method Summary
Modifier and TypeMethodDescriptiondouble
doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
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
-
Constructor Details
-
AlchemyMlnReasoner
public AlchemyMlnReasoner()
-
-
Method Details
-
setAlchemyInferenceCommand
Sets the console command for Alchemy inference (default is 'infer').- Parameters:
inferCmd
- the console command for Alchemy inference.
-
doQuery
-