de.fau.cs.www8.jadeowlcodec
Class TBoxMergerImpl

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.TBoxMergerImpl

All Implemented Interfaces:

TBoxMerger

public class TBoxMergerImpl
extends java.lang.Object
implements TBoxMerger

Nested Class Summary

Nested classes/interfaces inherited from interface de.fau.cs.www8.jadeowlcodec.TBoxMerger

TBoxMerger.MergeException

Constructor Summary

TBoxMergerImpl()

Method Summary

void	merge(org.w3c.dom.Document newFragment, org.w3c.dom.Document intoTBox) try to merge newFragment into intoTBox

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TBoxMergerImpl

public TBoxMergerImpl()

Method Detail

merge

public void merge(org.w3c.dom.Document newFragment,
                  org.w3c.dom.Document intoTBox)
           throws TBoxMerger.MergeException

Description copied from interface: TBoxMerger

try to merge newFragment into intoTBox

Specified by:

merge in interface TBoxMerger

Parameters:

newFragment - the new OWL document

intoTBox - the main OWL document to extended, not needed to be valid after a MergeException

Throws:

TBoxMerger.MergeException - if merging failed, in this case incomingTBox and intoTBox are allowed to be broken.