Research On Formal Model Of Knowledge Representation Of The National Cultural Resources Based On Temporal Dynamic Description Logic

Description Logics is a language tool of object-centered to represent the knowledge.It continues the important idea of KL-ONE,and is the first order predicate logic which decides subset.In recent years,because its strong ability can express knowledge and complete reasoning mechanism,description logic has been widely used in various fields.Description logic is processing knowledge in static field in the beginning,and can't represent dynamic knowledge,whose application scope is relatively limited but also existing some disadvantages over time and motion description ability.In order to achieve the purpose of the application of dynamic domain knowledge,it usually uses corresponding modal operators to expand its domain.Three aspects including dynamic,timing and ambiguous expansion,based on various extended forms of description logic,have become the hot research on knowledge representation and reasoning.Among the knowledge of national cultural resources,most knowledge are dynamic and time attribute.Through the analysis of the basic description logic,traditional description logic lacks the ability to represent dynamic cultural resources.To solve this problem,this paper is based on the description logic ALC,adds action operator and temporal operator which can be extended in order to describe the ethnic cultural resources with knowledge changes,and puts forward the knowledge representation based on national cultural resources of temporal dynamic description logic CTL-DDLALC In the process of reasoning national cultural resources,knowledge and rules are unified and standard,to ensure the representation and reasoning of knowledge of ethnic cultural resources.This article's main research contents are as follows:(1)The combination of domain knowledge of the national culture resources extends the basic description logic ALC.The system adds eight modal operators,respectively including four action operators:;(the Sequence operator)?u(the Choice operator)?*(the Iteration operator)??(the Test operator)and four temporal operators:?(at the Next moment)??(Sometime in the future)??(Always in the future)?U(Until),and two path quantifiers:A(All the Path)?E(Exist A Path).It puts forward the system of temporal dynamic description logic CTL-DDLALC,defines syntax and semantics of the temporal dynamic description logic CTL-DDLALC,builds the corresponding knowledge base,and makes the knowledge description of national culture resources equip with dynamic and tense.(2)The reasoning problems of temporal dynamic description logic CTL-DDLALC are studied,the corresponding Tableau algorithm rules are constructed,and the correctness of the proposed Tableau algorithm is proved,including termination and satisfaction,in order to realize the knowledge reasoning of national culture resources.(3)The analysis of the domain knowledge of national cultural resources uses the proposed timing dynamic description logic CTL-DDLALC knowledge to describe and reason the national culture resources,including dynamic and temporal validation.