UAF Model Verification Method based on Description Logic

Abstract

The grammatical structure of model based on Unified Architecture Framework (UAF) adopts formal specification, but the lack of formal and accurate description of semantics may result in information inconsistency between different views. In this paper, an UAF model verification method based on Descriptive Logic SHIQ is proposed. The knowledge base of SHIQ is constructed in formal description, with the help of Racerpro reasoning engine based on Tableau algorithm, conflicting or contradictory information in the models is reasoned and judged. The feasibility and convenience of this method are proved by verifying the "Requirement" model of the Major Disaster Relief System.