S-match: an algorithm and an implementation of semantic matching
Contextual Reasoning