Ontology matching use case demonstrates how a transformation can make one ontology easier matcheable to another one, see in [5].
Consider we want to match the cmt ontology, http://nb.vse.cz/~svabo/oaei2009/data/cmt.owl to the ekaw ontology, http://nb.vse.cz/~svabo/oaei2009/data/ekaw.owl both belonging to the OntoFarm collection.
The cmt ontology will be transformed using the transformation pattern tp_hasSome2, which is based on the matching/detection pattern from [2], see Figure 4.
This pattern captures the situation when some concept from is not explicit in and should be expressed as restriction. The pattern, containing the NDP and NTP from Section 6, is serialized in XML, see at: http://nb.vse.cz/~svabo/patomat/tp/new/tp_hasSome2.xml.