A Study On Semantic Description And Knowledge Reasoning Of Educational Emergencies Based On Descriptive Logic

In recent years, various types of unexpected events occurred frequently in our country, especially in the education system, such as public health events, campus violence, accidental injuries of teachers and students, traffic accidents and other campus events in school. This kind of education emergencies are paid high attention in the social,once such an event occurs, it will affects not only the normal order of teaching and research, but also more likely to produce a series of negative chain reaction.At present, the research of formal description and knowledge representation in the education emergencies has not formed a strict and standardized system. The present study,put forward the mode of formal description and knowledge representation in the education emergencies which based on Description Logic,and unified and standardized the representation of knowledge, rules and facts what are need for the process of reasoning research in education emergency,to ensure the reasoning research of education emergency knowledge.Traditional DL lacks expressive power in imprecision knowledge which is changing by time.In order to solve this problem,the paper proposes a logic of DL,it add tense operator,and use Allen to represent the temporal interval relationship which is based on SHIQ. In addition to having the role of SHIQ in the strong expression ability, more able to describe the relationship between education of unexpected events in emporal interval.The main work of this paper:(1)Combine the knowledge Education Emergencies field with SHIQ Description language and temporal interval Allen, it put forward a extended SHIQ-Tallen taht based on temporal interval Description Logic,and then provide the corresponding syntax, semantic and knowledge base,makes the description for knowledge Education Emergencies be tenses.(2)Provide the Tableau reasoning algorithm for SHIQ-Tallen, which include the main work of resoning and the satisfiability algorithm for the concept of SHIQ-Tallen, then provide the proof of algorithm’s correctness directly.(3)Provide the corresponding knowledge base and the detecting in cases by get in tonch with knowledge in Education Emergencies.Do the reasoning test for the concept satisfiability test, the inclusion relation consistency test and the cases inclusion relation consistency test cases.