org.activemath.content.mediator.rewriter
Class OIOMapping

java.lang.Object
  extended by org.activemath.content.mediator.rewriter.OIOMapping

public class OIOMapping
extends Object

An OIOMapping is the mapping btw. oio and a target ontology. It consists of a set of MappingPatterns. Each KBCaller has its own OIOMapping which helps to rewrite the queries for this KBCaller.


Field Summary
protected static boolean DEBUG
           
 
Constructor Summary
OIOMapping(org.jdom.Document doc)
          Creates an OIOMapping out of an XML-JDOM-Document.
 
Method Summary
 void addMappingPattern(MappingPattern mappingPattern)
           
 Set getMappingPatterns()
           
 Set getMatchingPatterns(KBQuery kbQuery)
          This method returns the most special patterns - which are the only ones which should be applied to the query. e.g.: "rewrite class Introduction with bla" is less special than "rewrite class Introduction class Interactivity with blub".
 void printLatexOutput()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

DEBUG

protected static final boolean DEBUG
Constructor Detail

OIOMapping

public OIOMapping(org.jdom.Document doc)
Creates an OIOMapping out of an XML-JDOM-Document.

Parameters:
doc -
Method Detail

addMappingPattern

public void addMappingPattern(MappingPattern mappingPattern)

getMatchingPatterns

public Set getMatchingPatterns(KBQuery kbQuery)
This method returns the most special patterns - which are the only ones which should be applied to the query. e.g.: "rewrite class Introduction with bla" is less special than "rewrite class Introduction class Interactivity with blub". If both mappings match, the second one is chosen.

Parameters:
kbQuery -
Returns:
the matching patterns

printLatexOutput

public void printLatexOutput()

getMappingPatterns

public Set getMappingPatterns()