package org.semanticweb.drew.el.reasoner;


import java.util.ArrayList;
import java.util.List;

import org.semanticweb.drew.dlprogram.model.CacheManager;
import org.semanticweb.drew.dlprogram.model.NormalPredicate;
import org.semanticweb.drew.dlprogram.model.Predicate;
import org.semanticweb.drew.dlprogram.model.PredicateType;

public class RewritingVocabulary {
	
	public final static NormalPredicate NOM = CacheManager.getInstance().getPredicate("nom", 1);
	public final static NormalPredicate CLASS = CacheManager.getInstance().getPredicate("cls", 1);
	public final static NormalPredicate ROLE = CacheManager.getInstance().getPredicate("rol", 1);
	
	public final static NormalPredicate ISA = CacheManager.getInstance().getPredicate("isa", 2);

	public final static NormalPredicate TRIPLE = CacheManager.getInstance().getPredicate("triple", 3);

	public final static NormalPredicate SUB_CLASS = CacheManager.getInstance().getPredicate("subClass", 2);
	public final static NormalPredicate TOP = CacheManager.getInstance().getPredicate("top", 1);
	public final static NormalPredicate BOT = CacheManager.getInstance().getPredicate("bot", 1);
	public final static NormalPredicate SUB_CONJ = CacheManager.getInstance().getPredicate("subConj", 3);

	public final static NormalPredicate SUB_SELF = CacheManager.getInstance().getPredicate("subSelf", 2);
	public final static NormalPredicate SUP_SELF = CacheManager.getInstance().getPredicate("supSelf", 3);

	public final static NormalPredicate SUB_EX = CacheManager.getInstance().getPredicate("subEx", 3);
	public final static NormalPredicate SUP_EX = CacheManager.getInstance().getPredicate("supEx", 4);

	public final static NormalPredicate SUB_ROLE = CacheManager.getInstance().getPredicate("subRole", 4);
	public final static NormalPredicate SUB_R_CHAIN = CacheManager.getInstance().getPredicate("subRChain", 3);

	public final static NormalPredicate SUB_R_CONJ = CacheManager.getInstance().getPredicate("subRConj", 3);
	
	public final static NormalPredicate DOMAIN = CacheManager.getInstance().getPredicate("domain", 2);
	
	public final static NormalPredicate DOMAIN_D = CacheManager.getInstance().getPredicate("domain_d", 2);

	
	public final static NormalPredicate RANGE = CacheManager.getInstance().getPredicate("range", 2);
	
	public final static NormalPredicate SUBSET = CacheManager.getInstance().getPredicate("subset", 2);
	
	public final static NormalPredicate ISA_P = CacheManager.getInstance().getPredicate("isa_p", 3);

	public final static NormalPredicate TRIPLE_P = CacheManager.getInstance().getPredicate("triple_p", 4);

	public static final NormalPredicate INPUT = CacheManager.getInstance().getPredicate("input", 1);
	//public final static List<NormalPredicate> elRewritingPredicates = new ArrayList<NormalPredicate>();
	
	public final static String DL_ATOM = "dl_ATOM";
	
}

@@ -1745,17 +1745,17 @@
 bRole%22, 
-4
+2
 );%0A%09publ

the arity of subRole is 2