src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

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

public class ExistentialProgram extends UpperProgram {

//	@Override
//	public String getDirectory() {
//		File dir = new File(ontologyDirectory + Utility.FILE_SEPARATOR + "existential");
//		if (!dir.exists())
//			dir.mkdirs();
//		return dir.getPath(); 
//	}

	@Override
	protected void initApproximator() {
		m_approx = new OverApproxDisj(); 		
	}

}