Class SimpleMlnReasoner

    • Field Detail

      • tempDirectory

        private java.lang.String tempDirectory
        Directory for temporary files.
    • Constructor Detail

      • SimpleMlnReasoner

        public SimpleMlnReasoner()
    • Method Detail

      • setTempDirectory

        public void setTempDirectory​(java.lang.String str)
        Sets the path of the directory for temporary files.
        Parameters:
        str - a file path
      • computeModel

        private java.io.File computeModel​(MarkovLogicNetwork mln,
                                          FolSignature signature)
        Computes the model of the given MLN.
        Parameters:
        mln - The MLN
        signature - the signature
        Returns:
        a file where the model is stored.
      • parseInterpretation

        private HerbrandInterpretation parseInterpretation​(java.lang.String str,
                                                           FolSignature signature)
        Constructs a Herbrand interpretation from the given string
        Parameters:
        str - a string.
        signature - the signature
        Returns:
        a Herbrand interpretation