de.fau.cs.www8.jadeowlcodec
Interface TBoxMerger

All Known Implementing Classes:

TBoxMergerImpl

public interface TBoxMerger

Nested Class Summary

static class

TBoxMerger.MergeException

Method Summary

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

Method Detail

merge

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

try to merge newFragment into intoTBox

Parameters:

incomingTBox - 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.