00001 package edu.tum.cs.srl;
00002
00003 import java.util.Collection;
00004 import java.util.HashMap;
00005
00006 import edu.tum.cs.srl.taxonomy.Taxonomy;
00007
00008
00009 public interface RelationalModel {
00010 public void replaceType(String oldType, String newType);
00011 public HashMap<String, String[]> getGuaranteedDomainElements();
00012 public Signature getSignature(String functionName);
00013 public Collection<Signature> getSignatures();
00014 public Collection<RelationKey> getRelationKeys(String relation);
00015 public Taxonomy getTaxonomy();
00016 public Collection<String> getPrologRules();
00017 }