The Design Of Reasoning System Based On DL And Parallel Algorithm Research Of This System

The development of Semantic Web invites more and more research on the Descriptive Logic which is the logic foundation of the Semantic Web. DL supports the reasoning and the reasoning of DL contains four main elements: Concept Satisfiability, Subsumption, Satisfiabilty, instance Checking; among these four elements the Satisfiabilty is the key point for the DL reasoning. The Tableau algorithm now is playing an important role in the reasoning system research; however, the low efficiency and complexity restrict its application. To fulfill the domestic requirement for the reasoning and realize an archetypal system for further research, this paper focuses on designing a reasoning system based on Tableau algorithm for DL; another task is taking advantage of the Distributed Open System and Parallel Computing Technology to realize a new reasoning system.