ontology mediation , merging and aligning jos .
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme