UpperProgram.java « rules « pagoda « cs « ox « ac « uk « src - ACQuA - OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.

about summary refs log tree commit diff

path: root/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java

blob: 46f22e3314268138781180a4121a6ff8c660a4f4 (plain) (blame)

package uk.ac.ox.cs.pagoda.rules;

public abstract class UpperProgram extends ApproxProgram {

	@Override
	public String getOutputPath() {
		return getDirectory() + "upper.dlog";
	}

}