Tableau Algorithm of Modular Ontology and Its Performance Optimization
Xu Yong · Jisuanji gongcheng · 2012
The existing reasoning methods of modular ontology are restricted and difficult to manipulate.Aiming at this problem,a distributed service-based Tableau algorithm is presented.During the consistency reasoning,a module can call the services of others to reason asserts about foreign concepts.Every contradiction of a reasoning process is captured in the module defining the related concept.Optimization methods are used to improve the time-efficiency of the algorithm.Experimental results show that by adopting the proposed algorithm,a module can use foreign concepts flexibly to represent knowledge,and some complex reasoning tasks can be fulfilled.The algorithm has good scalability.