MLNConverter.java

Go to the documentation of this file.

/*
 * Created on Nov 9, 2009
 *
 * TODO To change the template for this generated file go to
 * Window - Preferences - Java - Code Style - Code Templates
 */
package edu.tum.cs.srl.bayesnets;

import edu.tum.cs.logic.Formula;
import edu.tum.cs.srl.Signature;
import edu.tum.cs.srl.mln.MarkovLogicNetwork;

public abstract class MLNConverter {
        public abstract void addGuaranteedDomainElements(String domain, String[] elements);
        public abstract void addSignature(Signature sig);
        public abstract void beginCPT(RelationalNode node);
        public abstract void addFormula(edu.tum.cs.logic.Formula f, double weight);
        public abstract void addHardFormula(Formula f);
        public abstract void endCPT();
        public abstract void addFunctionalDependency(String predicate, Integer functionallyDeterminedArg);
        
        public static class MLNObjectWriter extends MLNConverter {
                public MarkovLogicNetwork mln;
                
                public MLNObjectWriter() {
                        mln = new MarkovLogicNetwork();
                }

                @Override
                public void addFormula(Formula f, double weight) {
                        mln.addFormula(f, weight);
                }

                @Override
                public void addFunctionalDependency(String predicate, Integer functionallyDeterminedArg) {
                        mln.addFunctionalDependency(predicate, functionallyDeterminedArg);
                }

                @Override
                public void addSignature(Signature sig) {
                        mln.addSignature(sig);
                }

                @Override
                public void beginCPT(RelationalNode node) {
                }

                @Override
                public void endCPT() {
                }               
                
                public MarkovLogicNetwork getMLN() {
                        return mln;
                }

                @Override
                public void addGuaranteedDomainElements(String domain, String[] elements) {
                        mln.addGuaranteedDomainElements(domain, elements);      
                }

                @Override
                public void addHardFormula(Formula f) {
                        mln.addHardFormula(f);                  
                }
        }
}
 

---

srldb
Author(s): Dominik Jain, Stefan Waldherr, Moritz Tenorth
autogenerated on Fri Jan 11 09:58:29 2013