An application description logic reasoning method for implementing ontology mapping