Abstract: The formal modeling method for UAVs（unmanned air vehicles） interoperability based on domain ontology semantic model was introduced. Semantic description model for multiUAVs interaction description and the semantic enhanced method for interactive configuration were proposed. UAV ontology and UAV interaction description ontology were designed. Based on the OWLS (ontology Web language for services), dynamic properties description of multiUAVs was extended, which can provide semantic description for service quality, service status and service relationships, etc. In order to achieve multiUAVs’ automatic and dynamic configuration, semantic method based on domain ontology was used to configuration management. Highlevel semantic matching was introduced in multiUAVs configuration, which can increase multiUAVs’ interaction configuration with semantic processing. The simulation and experimental result shows that the proposed method of semantic interoperability based on ontology can support multiUAVs effectively in future.